PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Meghini C., Straccia U. Information Retrieval: Foundations of a Description Logic Based Approach. Technical report, 1996.
 
 
Abstract
(English)
A Description Logic is presented as an information retrieval model, with three basic features. First, the logic includes the linguistic primitives for modelling documents, queries and domain knowledge in terms of concepts, roles, and assertions on individuals. Second, the logic is given 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. Third, the logic permits the expression of meta-knowledge enforcing a closed-world reading of the knowledge concerning specified individuals and primitive concepts. A modular, rule-based, sound and complete calculus for reasoning in the logic is given, thus establishing the basis for an information retrieval engine.
Subject Logic Based Approach
F.4.1 Mathematical Logic
H.3.3 Information Search and Retrieval
I.2.3 Deduction and Theorem Proving
I.2.4 Knowledge Representation Formalisms and Methods


Icona documento 1) Download Document PS


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