Nominal Schemas for Integrating Rules and Ontologies

We propose a description-logic style extension of OWL DL, which includes DL-safe variable SWRL and seamlessly integrates datalog rules. Our language also sports a tractable fragment, which we call ELP 2, covering OWL EL, OWL RL, most of OWL QL, and variable restricted datalog.

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

[2]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[3]  John W. Lloyd,et al.  Foundations of Logic Programming, 1st Edition , 1984 .

[4]  Sebastian Rudolph,et al.  ELP: Tractable Rules for OWL 2 , 2008, SEMWEB.

[5]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Mapping to RDF Graphs , 2009 .

[6]  Pascal Hitzler,et al.  Ontologies and Rules , 2009, Handbook on Ontologies.

[7]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[8]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

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

[10]  Pascal Hitzler,et al.  A better uncle for OWL: nominal schemas for integrating rules and ontologies , 2011, WWW.

[11]  Sebastian Rudolph,et al.  Description Logic Rules , 2010, ECAI.

[12]  Andrea Calì,et al.  Query Answering under Non-guarded Rules in Datalog+/- , 2010, RR.

[13]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[14]  Boris Motik,et al.  Reconciling description logics and rules , 2010, JACM.

[15]  Markus Krötzsch.  Efficient Inferencing for OWL EL , 2010, JELIA.

[16]  Sebastian Rudolph,et al.  Cheap Boolean Role Constructors for Description Logics , 2008, JELIA.

[17]  Sebastian Rudolph,et al.  Foundations of Semantic Web Technologies , 2009 .

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

[19]  RIF RDF and OWL Compatibility W3C 3 , 2022 .

[20]  José Júlio Alferes,et al.  Local closed world reasoning with description logics under the well-founded semantics , 2011, Artif. Intell..

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

[22]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .