Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming

We study ontology-mediated querying over probabilistic data for the case when the ontology is formulated in EL(hdr), an expressive member of the EL family of description logics. We leverage techniques that have been developed (i) for classical ontology-mediated querying and (ii) for probabilistic logic programming and provide an implementation based on our findings. We include both theoretical considerations and an experimental evaluation of our approach.

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

[2]  Fabrizio Riguzzi,et al.  cplint on SWISH: Probabilistic Logical Inference with a Web Browser , 2017, Intelligenza Artificiale.

[3]  Carsten Lutz,et al.  First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics , 2016, Description Logics.

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

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

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

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

[8]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

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

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

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

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

[13]  Luc De Raedt,et al.  Probabilistic (logic) programming concepts , 2015, Machine Learning.

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

[15]  Adnan Darwiche,et al.  On probabilistic inference by weighted model counting , 2008, Artif. Intell..

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