PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Meghini C., Straccia U. A relevance terminological logic for information retrieval. In: SIGIR - 19th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (Zurich, ). Proceedings, pp. 197 - 205. H.P. Frei, et al. (eds.). ACM, 1996.
 
 
Abstract
(English)
A Terminological Logic is presented as an information retrieval model, with a four-valued semantics that gives to its inference relation the avour 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.
DOI: 10.1145/243199.243267
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional