DocumentCode
292048
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
Volume
2
fYear
1994
fDate
2-5 Oct 1994
Firstpage
1651
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSMC.1994.400084
Filename
400084
Link To Document