onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming

We present onto2problog , a tool that supports ontology-mediated querying of probabilistic data via probabilistic logic programming engines. Our tool supports conjunctive queries on probabilistic data under ontologies encoded in the description logic $$\mathcal{ELH}^{dr}$$ ELH dr , thus capturing a large part of the OWL 2 EL profile.

[1]  Evelina Lamma,et al.  Semantics and Inference for Probabilistic Description Logics , 2013, URSW.

[2]  Thomas Lukasiewicz,et al.  Ontology-Mediated Queries for Probabilistic Databases , 2017, AAAI.

[3]  Angelika Kimmig,et al.  Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report) , 2019, AAAI.

[4]  Carsten Lutz,et al.  Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries , 2017, Description Logics.

[5]  D. Nardi,et al.  An Introduction to Description Logic , 2017 .

[6]  Ian Horrocks,et al.  An Introduction to Description Logic , 2017 .

[7]  Luc De Raedt,et al.  Compiling probabilistic logic programs into sentential decision diagrams , 2014 .

[8]  Jeff Heflin,et al.  LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..

[9]  Jean Christoph Jung,et al.  Ontology-Based Access to Probabilistic Data with OWL QL , 2012, SEMWEB.

[10]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[11]  Luc De Raedt,et al.  Inference and learning in probabilistic logic programs using weighted Boolean formulas , 2013, Theory and Practice of Logic Programming.

[12]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[13]  Carsten Lutz,et al.  Conjunctive Query Answering in the Description Logic EL Using a Relational Database System , 2009, IJCAI.

[14]  Prasoon Goyal,et al.  Probabilistic Databases , 2009, Encyclopedia of Database Systems.

[15]  Jean Christoph Jung,et al.  Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming , 2019, CIKM.

[16]  Heiner Stuckenschmidt,et al.  Towards Large-Scale Probabilistic OBDA , 2015, SUM.

[17]  Luc De Raedt,et al.  TP-Compilation for inference in probabilistic logic programs , 2016, Int. J. Approx. Reason..

[18]  Torsten Schaub,et al.  Grounding and Solving in Answer Set Programming , 2016, AI Mag..

[19]  Carsten Lutz,et al.  Probabilistic Description Logics for Subjective Uncertainty , 2010, KR.

[20]  Xinlei Chen,et al.  Never-Ending Learning , 2012, ECAI.

[21]  Pierre Marquis,et al.  A Knowledge Compilation Map , 2002, J. Artif. Intell. Res..

[22]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[23]  Franz Baader,et al.  How Pervasive Is the Myerson-Satterthwaite Impossibility? , 2009, IJCAI.