Abstract

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.

Highlights

  • Terminological Logics (TLs, for short), called Description Logics or Concept Logics, have widely gained popularity because of the vastity of their possible applications

  • In the context of TL-based approach to Information Retrieval (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 [1], and in particular by first-order tautological entailment, can be chosen as a promising source of inspiration to the end of incorporating a logic-based form of relevance in the inference mechanism of TLs

Read more

Summary

Introduction

Terminological Logics (TLs, for short), called Description Logics or Concept Logics, have widely gained popularity because of the vastity of their possible applications. These logics allow both the representation of concepts / terms / classes and their structuring according to a partial order, and to state that individuals are instances of concepts. Given the individuals Umberto and doc211, and the complex concept above, the assertion ( uu Document u (9 ) : dealswith InformationRetrieval (9 ) : dealswith TerminologicalLogics (8 ))( ) : author Italian doc211

Objectives
Discussion
Conclusion
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.