Orel: Database-Driven Reasoning for OWL 2 Profiles

We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standar dised web on- tology language OWL 2. Orel performs consequence-driven reasoning on the database level which is always sound. It is guaranteed to be complete if the ontol- ogy is contained in one of the two profiles. We present the unde rlying calculus, the core algorithm, and initial evaluation results.

[1]  Andreas Harth,et al.  SAOR: Authoritative Reasoning for the Web , 2008, ASWC.

[2]  Li Ma,et al.  Minerva: A Scalable OWL Ontology Storage and Inference System , 2006, ASWC.

[3]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[4]  Yevgeny Kazakov,et al.  Classifying ELH Ontologies In SQL Databases , 2009, OWLED.

[5]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

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

[7]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

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

[9]  Yevgeny Kazakov,et al.  Consequence-Driven Reasoning for Horn SHIQ Ontologies , 2009, IJCAI.

[10]  Ashish Gupta,et al.  Materialized views: techniques, implementations, and applications , 1999 .

[11]  Andreas Harth,et al.  Scalable Authoritative OWL Reasoning for the Web , 2009, Int. J. Semantic Web Inf. Syst..

[12]  Jeff Heflin,et al.  DLDB2: A Scalable Multi-perspective Semantic Web Repository , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

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

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

[15]  Sean Bechhofer,et al.  Igniting the OWL 1.1 Touch Paper: The OWL API , 2007, OWLED.

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

[17]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

[18]  Carsten Lutz,et al.  Combined FO Rewritability for Conjunctive Query Answering in DL-Lite , 2009, Description Logics.

[19]  Raghu Ramakrishnan,et al.  Efficient Transitive Closure Algorithms , 1988, VLDB.

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

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

[22]  Atanas Kiryakov,et al.  OWLIM - A Pragmatic Semantic Repository for OWL , 2005, WISE Workshops.

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