Probabilistic Extensions of Semantic Web Languages - A Survey

Recently, there has been an increasing interest in formalisms for representing uncertain information on the Semantic Web. This interest is triggered by the observation that knowledge on the web is not always crisp and we have to be able to deal with incomplete, inconsistent and vague information. The treatment of this kind of information requires new approaches for knowledge representation and reasoning on the web as existing Semantic Web languages are based on classical logic which is known to be inadequate for representing uncertainty in many cases. While different general approaches for extending Semantic Web languages with the ability to represent uncertainty are explored, we focus our attention on probabilistic approaches. We survey existing proposals for extending semantic web languages or formalisms underlying Semantic Web languages in terms of their expressive power, reasoning capabilities as well as their suitability for supporting typical tasks associated with the Semantic Web.

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

[2]  Eero Hyvönen,et al.  Modeling Uncertainty in Semantic Web Taxonomies , 2006 .

[3]  Enrique F. Castillo,et al.  Expert Systems and Probabilistic Network Models , 1996, Monographs in Computer Science.

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

[5]  Thomas Lukasiewicz,et al.  Stratified Probabilistic Description Logic Programs , 2005, ISWC-URSW.

[6]  Gabriella Kazai,et al.  The HySpirit retrieval platform , 2001, SIGIR '01.

[7]  M. Levin,et al.  MATHEMATICAL LOGIC FOR COMPUTER SCIENTISTS , 1974 .

[8]  Luc De Raedt,et al.  ProbLog: A Probabilistic Prolog and its Application in Link Discovery , 2007, IJCAI.

[9]  Luc De Raedt,et al.  Bayesian Logic Programs , 2001, ILP Work-in-progress reports.

[10]  Ian Horrocks.  OWL Rules, OK? , 2005, Rule Languages for Interoperability.

[11]  Serge Abiteboul,et al.  Foundations of Databases: The Logical Level , 1995 .

[12]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[13]  Finn V. Jensen,et al.  Bayesian Networks and Decision Graphs , 2001, Statistics for Engineering and Information Science.

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

[15]  David J. Spiegelhalter,et al.  Probabilistic Networks and Expert Systems , 1999, Information Science and Statistics.

[16]  Richard Statman,et al.  Logic for computer scientists , 1989 .

[17]  Jörg Flum,et al.  Mathematical logic , 1985, Undergraduate texts in mathematics.

[18]  Yun Peng,et al.  BayesOWL: Uncertainty Modeling in Semantic Web Ontologies , 2006 .

[19]  Norbert Fuhr,et al.  Adding Probabilities and Rules to Owl Lite Subsets Based on Probabilistic Datalog , 2006, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[20]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[21]  Kristian Kersting,et al.  Balios - The Engine for Bayesian Logic Programs , 2004, PKDD.

[22]  Yun Peng,et al.  A Bayesian Network Approach to Ontology Mapping , 2005, SEMWEB.

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

[24]  Jochen Heinsohn,et al.  A Hybrid Approach for Modeling Uncertainty in Terminological Logics , 1991, ECSQARU.

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

[26]  Diego Calvanese,et al.  DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.

[27]  Pedro M. Domingos,et al.  Ontology Matching: A Machine Learning Approach , 2004, Handbook on Ontologies.

[28]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

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

[30]  Ian Horrocks,et al.  The Semantic Web: The Roles of XML and RDF , 2000, IEEE Internet Comput..

[31]  Paulo Cesar G. da Costa,et al.  PR-OWL: A Framework for Probabilistic Ontologies , 2006, FOIS.

[32]  Yoshio Fukushige.  Representing Probabilistic Relations in RDF , 2005, ISWC-URSW.

[33]  Boris Motik,et al.  Data Complexity of Reasoning in Very Expressive Description Logics , 2005, IJCAI.

[34]  Norbert Fuhr.  Probabilistic Datalog: implementing logical information retrieval for advanced applications , 2000 .

[35]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[36]  Jos de Bruijn,et al.  Logical Foundations of (e)RDF(S): Complexity and Reasoning , 2007, ISWC/ASWC.

[37]  Jacques Calmet,et al.  OntoBayes: An Ontology-Driven Uncertainty Model , 2005 .

[38]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[39]  Christos Faloutsos,et al.  Advanced Database Systems , 1997, Lecture Notes in Computer Science.

[40]  Thomas Lukasiewicz.  A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web , 2007, ESWC.

[41]  Kathryn B. Laskey.  MEBN: A Logic for Open-World Probabilistic Reasoning , 2006 .

[42]  Fabrizio Sebastiani,et al.  Machine learning in automated text categorization , 2001, CSUR.

[43]  Philipp M. Yelland.  An Alternative Combination of Bayesian Networks and Description Logics , 2000, KR.

[44]  Manfred Jaeger,et al.  Probabilistic Reasoning in Terminological Logics , 1994, KR.

[45]  Nigel Shadbolt,et al.  Resource Description Framework (RDF) , 2009 .

[46]  Thomas Lukasiewicz,et al.  P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web , 2002, JELIA.

[47]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[48]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[49]  Ronald Fagin,et al.  Combining Fuzzy Information from Multiple Systems , 1999, J. Comput. Syst. Sci..

[50]  Zoran Majkic,et al.  Probabilistic RDF , 2006, 2006 IEEE International Conference on Information Reuse & Integration.

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

[52]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

[53]  Ben Taskar,et al.  Introduction to statistical relational learning , 2007 .

[54]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[55]  Alon Y. Halevy,et al.  P-CLASSIC: A Tractable Probablistic Description Logic , 1997, AAAI/IAAI.

[56]  Livia Predoiu,et al.  Information Integration with Bayesian Description Logic Programs , 2006 .

[57]  S. Ross.  A First Course in Probability , 1977 .

[58]  Kristian Kersting,et al.  An inductive logic programming approach to statistical relational learning , 2006, AI Commun..