Epistemic and Statistical Probabilistic Ontologies

We present DISPONTE, a semantics for probabilistic ontologies that is based on the distribution semantics for probabilistic logic programs. In DISPONTE the axioms of a probabilistic ontology can be annotated with an epistemic or a statistical probability. The epistemic probability represents a degree of confidence in the axiom, while the statistical probability considers the populations to which the axiom is applied.

[1]  Thomas Lukasiewicz,et al.  Probabilistic Default Reasoning with Conditional Constraints , 2000, Annals of Mathematics and Artificial Intelligence.

[2]  Bijan Parsia,et al.  Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.

[3]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[4]  David Poole,et al.  Abducing through negation as failure: stable models within the independent choice logic , 2000, J. Log. Program..

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

[6]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

[7]  David Poole,et al.  Probabilistic Horn Abduction and Bayesian Networks , 1993, Artif. Intell..

[8]  Heiner Stuckenschmidt,et al.  Probabilistic Extensions of Semantic Web Languages - A Survey , 2008 .

[9]  Marietjie Schutte.  The Semantic Web for Knowledge and Data Management: Technologies and Practices , 2009 .

[10]  Paulo Cesar G. da Costa,et al.  PR-OWL 2.0 - Bridging the gap to OWL semantics , 2010, URSW.

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

[12]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[13]  Thomas Lukasiewicz,et al.  Expressive probabilistic description logics , 2008, Artif. Intell..

[14]  Sofia Cassel,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 2012 .

[15]  Jochen Heinsohn,et al.  Probabilistic Description Logics , 1994, UAI.

[16]  Kathryn B. Laskey,et al.  Uncertainty Reasoning for the World Wide Web: Report on the URW3-XG Incubator Group , 2008, URSW.

[17]  Paulo Cesar G. da Costa,et al.  PR-OWL: A Bayesian Ontology Language for the Semantic Web , 2005, ISWC-URSW.

[18]  Evelina Lamma,et al.  A Distribution Semantics for Probabilistic Ontologies , 2011, URSW.

[19]  Leo Obrst,et al.  Evolving Use of Distributed Semantics to Achieve Net-centricity , 2007, AAAI Fall Symposium: Regarding the Intelligence in Distributed Intelligent Systems.

[20]  Taisuke Sato,et al.  A Statistical Learning Method for Logic Programs with Distribution Semantics , 1995, ICLP.

[21]  Ian Horrocks,et al.  Description Logics , 2008, Handbook of Knowledge Representation.

[22]  Pavel Klinov.  Pronto: A Non-monotonic Probabilistic Description Logic Reasoner , 2008, ESWC.

[23]  Evelina Lamma,et al.  Semantics and Inference for Probabilistic Ontologies , 2012, PAI.

[24]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[25]  Yun Peng,et al.  A probabilistic extension to ontology language OWL , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

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

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

[28]  Ehud Shapiro,et al.  Third International Conference on Logic Programming , 1986 .

[29]  Paulo Cesar G. da Costa,et al.  Of Starships and Klingons: Bayesian Logic for the 23rd Century , 2005, UAI.

[30]  Fabrizio Riguzzi,et al.  Extended semantics and inference for the Independent Choice Logic , 2009, Log. J. IGPL.

[31]  Luc De Raedt,et al.  On the implementation of the probabilistic logic programming language ProbLog , 2010, Theory and Practice of Logic Programming.

[32]  Diego Calvanese,et al.  Relationships with other Formalisms , 2003, Description Logic Handbook.

[33]  Bijan Parsia,et al.  Tableaux Tracing in SHOIN , 2005 .

[34]  Thomas Lukasiewicz,et al.  Tractable Reasoning with Bayesian Description Logics , 2008, SUM.

[35]  Georg Gottlob,et al.  Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies , 2011, RR.

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