Model of information retrieval based on a terminological logic

Carlo Meghini, Fabrizio Sebastiani, Umberto Straccia, Costantino Thanos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

63 Citations (Scopus)

Abstract

According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a query q, make the formula d - q valid, where d and q are formulae of the chosen logic and '-' denotes the brand of logical implication formalized by the logic in question. In this paper, although essentially subscribing to this view, we propose that the logic to be chosen for this endeavour be a Terminological Logic (TL): accordingly, the IR task becomes that of singling out those documents d such that d ≤ q, where d and q are terms of the chosen TL and '≤' denotes subsumption between terms. We call this the terminological model of IR. TLs are particularly suitable for modelling IR; in fact, they can be employed: 1) in representing documents under a variety of aspects (e.g. structural, layout, semantic content); 2) in representing queries; 3) in representing lexical, 'thesaural' knowledge. The fact that a single logical language can be used for all these representational endeavours ensures that all these sources of knowledge will participate in the retrieval process in a uniform and principled way. In this paper we introduce MIRTL, a TL for modelling IR according to the above guidelines; its syntax, formal semantics and inferential algorithm are described.

Original languageEnglish
Title of host publicationProceedings of the Annual International ACM SIGIR Conference on Research and Development in Infofmation Retrieval
Place of PublicationNew York, NY, United States
PublisherPubl by ACM
Pages298-307
Number of pages10
ISBN (Print)0897916050
Publication statusPublished - 1993
Externally publishedYes
EventProceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval - Pittsburgh, PA, USA
Duration: 27 Jun 19931 Jul 1993

Other

OtherProceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
CityPittsburgh, PA, USA
Period27/6/931/7/93

Fingerprint

Information retrieval
Semantics

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Meghini, C., Sebastiani, F., Straccia, U., & Thanos, C. (1993). Model of information retrieval based on a terminological logic. In Proceedings of the Annual International ACM SIGIR Conference on Research and Development in Infofmation Retrieval (pp. 298-307). New York, NY, United States: Publ by ACM.

Model of information retrieval based on a terminological logic. / Meghini, Carlo; Sebastiani, Fabrizio; Straccia, Umberto; Thanos, Costantino.

Proceedings of the Annual International ACM SIGIR Conference on Research and Development in Infofmation Retrieval. New York, NY, United States : Publ by ACM, 1993. p. 298-307.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Meghini, C, Sebastiani, F, Straccia, U & Thanos, C 1993, Model of information retrieval based on a terminological logic. in Proceedings of the Annual International ACM SIGIR Conference on Research and Development in Infofmation Retrieval. Publ by ACM, New York, NY, United States, pp. 298-307, Proceedings of the 16th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Pittsburgh, PA, USA, 27/6/93.
Meghini C, Sebastiani F, Straccia U, Thanos C. Model of information retrieval based on a terminological logic. In Proceedings of the Annual International ACM SIGIR Conference on Research and Development in Infofmation Retrieval. New York, NY, United States: Publ by ACM. 1993. p. 298-307
Meghini, Carlo ; Sebastiani, Fabrizio ; Straccia, Umberto ; Thanos, Costantino. / Model of information retrieval based on a terminological logic. Proceedings of the Annual International ACM SIGIR Conference on Research and Development in Infofmation Retrieval. New York, NY, United States : Publ by ACM, 1993. pp. 298-307
@inproceedings{75135c79ed97436c924ee64fb14e6a1a,
title = "Model of information retrieval based on a terminological logic",
abstract = "According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a query q, make the formula d - q valid, where d and q are formulae of the chosen logic and '-' denotes the brand of logical implication formalized by the logic in question. In this paper, although essentially subscribing to this view, we propose that the logic to be chosen for this endeavour be a Terminological Logic (TL): accordingly, the IR task becomes that of singling out those documents d such that d ≤ q, where d and q are terms of the chosen TL and '≤' denotes subsumption between terms. We call this the terminological model of IR. TLs are particularly suitable for modelling IR; in fact, they can be employed: 1) in representing documents under a variety of aspects (e.g. structural, layout, semantic content); 2) in representing queries; 3) in representing lexical, 'thesaural' knowledge. The fact that a single logical language can be used for all these representational endeavours ensures that all these sources of knowledge will participate in the retrieval process in a uniform and principled way. In this paper we introduce MIRTL, a TL for modelling IR according to the above guidelines; its syntax, formal semantics and inferential algorithm are described.",
author = "Carlo Meghini and Fabrizio Sebastiani and Umberto Straccia and Costantino Thanos",
year = "1993",
language = "English",
isbn = "0897916050",
pages = "298--307",
booktitle = "Proceedings of the Annual International ACM SIGIR Conference on Research and Development in Infofmation Retrieval",
publisher = "Publ by ACM",

}

TY - GEN

T1 - Model of information retrieval based on a terminological logic

AU - Meghini, Carlo

AU - Sebastiani, Fabrizio

AU - Straccia, Umberto

AU - Thanos, Costantino

PY - 1993

Y1 - 1993

N2 - According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a query q, make the formula d - q valid, where d and q are formulae of the chosen logic and '-' denotes the brand of logical implication formalized by the logic in question. In this paper, although essentially subscribing to this view, we propose that the logic to be chosen for this endeavour be a Terminological Logic (TL): accordingly, the IR task becomes that of singling out those documents d such that d ≤ q, where d and q are terms of the chosen TL and '≤' denotes subsumption between terms. We call this the terminological model of IR. TLs are particularly suitable for modelling IR; in fact, they can be employed: 1) in representing documents under a variety of aspects (e.g. structural, layout, semantic content); 2) in representing queries; 3) in representing lexical, 'thesaural' knowledge. The fact that a single logical language can be used for all these representational endeavours ensures that all these sources of knowledge will participate in the retrieval process in a uniform and principled way. In this paper we introduce MIRTL, a TL for modelling IR according to the above guidelines; its syntax, formal semantics and inferential algorithm are described.

AB - According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a query q, make the formula d - q valid, where d and q are formulae of the chosen logic and '-' denotes the brand of logical implication formalized by the logic in question. In this paper, although essentially subscribing to this view, we propose that the logic to be chosen for this endeavour be a Terminological Logic (TL): accordingly, the IR task becomes that of singling out those documents d such that d ≤ q, where d and q are terms of the chosen TL and '≤' denotes subsumption between terms. We call this the terminological model of IR. TLs are particularly suitable for modelling IR; in fact, they can be employed: 1) in representing documents under a variety of aspects (e.g. structural, layout, semantic content); 2) in representing queries; 3) in representing lexical, 'thesaural' knowledge. The fact that a single logical language can be used for all these representational endeavours ensures that all these sources of knowledge will participate in the retrieval process in a uniform and principled way. In this paper we introduce MIRTL, a TL for modelling IR according to the above guidelines; its syntax, formal semantics and inferential algorithm are described.

UR - http://www.scopus.com/inward/record.url?scp=0027747709&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027747709&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0027747709

SN - 0897916050

SP - 298

EP - 307

BT - Proceedings of the Annual International ACM SIGIR Conference on Research and Development in Infofmation Retrieval

PB - Publ by ACM

CY - New York, NY, United States

ER -