Title :
Information retrieval by means of a semantic unification guided by resources of terminological logic
Author :
Silva, Rita D Maria ; Pereira, Antonio Costa ; Netto, Marcio A Luiz
Author_Institution :
IRIT, Univ. Paul Sabatier, Toulouse, France
Abstract :
This paper describes a system of information retrieval that answers questions by means of a partial evaluation theorem prover of predicate calculus that utilizes the semantics of terminological logic to guide its inference engine
Keywords :
computational linguistics; formal logic; inference mechanisms; information retrieval; online front-ends; theorem proving; inference engine; information retrieval; partial evaluation theorem prover; predicate calculus; semantic unification; terminological logic; Bridges; Calculus; Engines; Hilbert space; Information representation; Information retrieval; Logic; Natural languages; Systems engineering and theory; US Department of Transportation;
Conference_Titel :
Systems, Man, and Cybernetics, 1994. Humans, Information and Technology., 1994 IEEE International Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-2129-4
DOI :
10.1109/ICSMC.1994.400084
