Reconciling OWL and Rules

We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, known as nominal schemas, which realizes a seamless integration of Datalog rules into the description logic SROIQ which underlies OWL 2 DL. We present extensions of the standardized OWL syntaxes to incorporate nominal schemas, reasoning algorithms, and a first naive implementation. And we argue why this approach goes a long way towards overcoming the present paradigm split.

[1]  Carsten Lutz,et al.  The Complexity of Circumscription in DLs , 2009, J. Artif. Intell. Res..

[2]  Markus Krötzsch,et al.  Description Logic Rules , 2010, ECAI.

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

[4]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[5]  Pascal Hitzler,et al.  Semantic Matchmaking of Web Resources with Local Closed-World Reasoning , 2007, Int. J. Electron. Commer..

[6]  Pascal Hitzler,et al.  OWL and Rules , 2011, Reasoning Web.

[7]  Vladimir Lifschitz,et al.  Twelve Definitions of a Stable Model , 2008, ICLP.

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

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

[10]  Pascal Hitzler,et al.  Mathematical Aspects of Logic Programming Semantics , 2010, Chapman and Hall / CRC studies in informatics series.

[11]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

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

[13]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[14]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[15]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[16]  Pascal Hitzler,et al.  Local Closed World Semantics: Grounded Circumscription for OWL , 2011, SEMWEB.

[17]  Pascal Hitzler,et al.  Local Closed World Semantics: Keep it simple, stupid! , 2011, Description Logics.

[18]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[19]  Vladimir Lifschitz,et al.  Answer Set Programming , 2019 .

[20]  Sean Bechhofer,et al.  The OWL API: A Java API for OWL ontologies , 2011, Semantic Web.

[21]  Joohyung Lee,et al.  Stable models and circumscription , 2011, Artif. Intell..

[22]  Michael Kifer,et al.  RIF Framework for Logic Dialects , 2009 .

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

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

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

[26]  Camilo Rueda,et al.  Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming , 2008, ICLP.

[27]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language , 2009 .