Jørgen Fischer Nilsson

Learn More
This paper presents a formalism supporting the analysis and specification of domain ontologies. The method is founded theoretically on conventional context-free grammars. The use of production rules admits recursive formation of compound categories from given categories subjected to combinability constraints. The proposed domain specification methodology is(More)
This paper describes a method and a system for content-based querying of texts based on the availability of an ontology for the concepts in the text domain. A key principle in the system is the extraction of conceptual content of noun phrases into descriptors forming an integral part of the ontology. The retrieval of text passages rests on matching(More)
Since the early days of programming and automated reasoning, researchers have developed methods for systematically constructing programs from their speci cations. Especially the last decade has seen a urry of activities including the advent of specialized conferences, such as LOPSTR, covering the synthesis of programs in computational logic. In this paper(More)
In a previous paper we introduced a system of recursion operators for formulating pure logic programs, dispensing with explicit recursions. The recursion operators, some of which are similar to higher-order functions known from functional programming, take the form of quasi-higher order predicates. In this paper we identify a comprehensive class of logic(More)
The scientific aim of the project presented in this paper is to provide an approach to representing, organizing, and accessing conceptual content of biomedical texts using a formal ontology. The ontology is based on UMLS resources supplemented with domain ontologies developed in the project. The approach introduces the notion of ‘‘generative ontologies’’,(More)
This paper describes a method and a system for content-based querying of texts based on the availability of an ontology for the concepts in the text domain. A key principle in the system is the extraction of conceptual content of noun phrases into descriptors forming an integral part of the ontology. The retrieval of text passages rests on matching(More)