Information retrieval by means of a semantic unification guided by resources of terminological logic
P.M. da Silva, Antônio Pereira, M.L. de Andrade Netto · 2002
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.>