A four-valued semantics for terminological logics
Artificial Intelligence
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The CLASSIC knowledge representation system: guiding principles and implementation rationale
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
A model of information retrieval based on a terminological logic
SIGIR '93 Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval
A probabilistic terminological logic for modelling information retrieval
SIGIR '94 Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval
A Hybrid System with Datalog and Concept Languages
AI*IA Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence on Trends in Artificial Intelligence
Relevance terminological logics Towards logic-based information retrieval
Relevance terminological logics Towards logic-based information retrieval
Default inheritance reasoning in hybrid KL-ONE-style logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Generalizing term subsumption languages to fuzzy logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
Information Retrieval (IR) is presented as the task of retrieving the documents that are relevant to a given query. In the context of a Terminological Logic (TL) based approach to IR, this amounts to embodying a notion of relevance in the logical implication relation of the chosen TL. Among the many possible readings of the term "relevance", the one captured by relevance logic, and in particular by first-order tautological entailment, can be viewed as a promising source of inspiration, to the end of incorporating a logic-based form of relevance in the inference mechanismof TLs. The aim of this paper is to present a Relevant Terminological Logic, while maintaining the desired "relevance" flavour of relevance logics, which could be considered as a base towards a suitable document description logic for IR purposes.