Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

This paper is directed towards an infrastructure for handling both uncertainty and vagueness in the Rules, Logic, and Proof layers of the Semantic Web.More concretely, we present probabilistic fuzzy description logic programs, which combine fuzzy description logics, fuzzy logic programs (with stratified nonmonotonic negation), and probabilistic uncertainty in a uniform framework for the Semantic Web. We define important concepts dealing with both probabilistic uncertainty and fuzzy vagueness, such as the expected truth value of a crisp sentence and the probability of a vague sentence. Furthermore, we describe a shopping agent example, which gives evidence of the usefulness of probabilistic fuzzy description logic programs in realistic web applications. In the extended report, we also provide algorithms for query processing in probabilistic fuzzy description logic programs, and we delineate a special case where query processing can be done in polynomial time in the data complexity.

[1]  Umberto Straccia,et al.  Uncertainty and Vagueness in Description Logic Programs for the Semantic Web Uncertainty and Vagueness in Description Logic Programs for the Semantic Web , 2007 .

[2]  Andrea Calì,et al.  Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings , 2008, FoIKS.

[3]  Thomas Lukasiewicz.  Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[4]  David Poole,et al.  The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..

[5]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[6]  Thomas Lukasiewicz,et al.  Tractable Probabilistic Description Logic Programs , 2007, SUM.

[7]  Vincenzo Loia,et al.  A hybrid approach to semantic web services matchmaking , 2008, Int. J. Approx. Reason..

[8]  Norbert Fuhr,et al.  A decision-theoretic approach to database selection in networked IR , 1999, TOIS.

[9]  Andrea Calì,et al.  Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web , 2007, ICLP.

[10]  Umberto Straccia,et al.  Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web , 2007, SUM.

[11]  Jamie Callan,et al.  DISTRIBUTED INFORMATION RETRIEVAL , 2002 .

[12]  Umberto Straccia.  Answering Vague Queries in Fuzzy DL-Lite , 2006 .

[13]  Umberto Straccia,et al.  Managing uncertainty and vagueness in description logics for the Semantic Web , 2008, J. Web Semant..

[14]  Heiner Stuckenschmidt,et al.  A Probabilistic Framework for Information Integration and Retrieval on the Semantic Web , 2007 .

[15]  Umberto Straccia,et al.  Fuzzy Description Logic Programs , 2007 .

[16]  Umberto Straccia,et al.  Web metasearch: rank vs. score based rank aggregation methods , 2003, SAC '03.

[17]  Umberto Straccia,et al.  Information retrieval and machine learning for probabilistic schema matching , 2005, CIKM '05.

[18]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[19]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[20]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[21]  Gobinda G. Chowdhury,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2004 .

[22]  Umberto Straccia,et al.  oMAP: Combining Classifiers for Aligning Automatically OWL Ontologies , 2005, WISE.

[23]  Umberto Straccia,et al.  A fuzzy description logic for the semantic web , 2006, Fuzzy Logic and the Semantic Web.

[24]  Thomas Lukasiewicz,et al.  Probabilistic description logic programs , 2005, Int. J. Approx. Reason..

[25]  James P. Callan,et al.  Query-based sampling of text databases , 2001, TOIS.

[26]  Umberto Straccia,et al.  Towards Distributed Information Retrieval in the Semantic Web: Query Reformulation Using the oMAP Framework , 2006, ESWC.

[27]  Lluis Godo,et al.  A logic for reasoning about the probability of fuzzy events , 2007, Fuzzy Sets Syst..

[28]  Thomas Lukasiewicz,et al.  Probabilistic description logic programs under inheritance with overriding for the Semantic Web , 2008, Int. J. Approx. Reason..

[29]  Umberto Straccia,et al.  Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs , 2008, Reasoning Web.