PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Uncertainty and Description Logic Programs: A Proposal for Expressing Rules and Uncertainty on Top of Ontologies. The document will be submitted to Conference: Int. semantic Web Conference 2004, Technical report, 2004.
 
 
Abstract
(English)
Rule-based and object-oriented techniques are rapidly making their way into the infrastructure for representing and reasoning about the Semantic Web and combining these two paradigms emerges as an important objective. We present a new family of representation languages, which extents existing language families for the Semantic Web: namely emph{Description Logic Programs} (DLPs) and DLPs with emph{uncertainty} ($mu$DLPs). The former combine the expressive power of description logics (which capture the meaning of the most popular features of structured representation of knowledge) and disjunctive logic programs (powerful rule-based representation languages). The latter are DLPs in which the management of uncertainty is considered as well. We show that $mu$DLPs may be applied in the context of distributed information search in the Semantic Web, where the representation of the inherent uncertainty of the relationships among resource ontologies, to which an automated agent has access to, is required.
Subject Description Logics, Logic programs, uncertainty, Semantic Web
F.4.1: Mathematical Logic and Formal Languages: Mathematical Logic: Logicand constraint programming
I.2.3: Artificial Intelligence: Deduction and Theorem Proving: Logicprogramming


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