A Relevance Terminological Logic for Information Retrieval.

In Proceedings of SIGIR-96, 19th International Conference on Research and Development in Information Retrieval, pages 197--205, Zurich, Switzerland, 1996.

Abstract:
A Terminological Logic is presented as an information retrieval model, with a four-valued semantics that gives to its inference relation the flavour of relevance, that is a strict connection in meaning between the premises and the conclusion of the arguments licensed by the logic. The logic also permits the expression of meta-knowledge enforcing a closed-world reading of the knowledge concerning specified individuals and primitive concepts. A Gentzen-style, sound and complete calculus for reasoning in the logic is given, thus establishing the basis for an information retrieval engine.