Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs

We investigate cases where an ontology expressed in a seemingly hard DL can be polynomially reduced to one in a simpler logic, while preserving reasoning outcomes for classification and fact entailment. Our transformations target the elimination of inverse roles, universal and existential restrictions, and in the best case allow us to rewrite the given ontology into one of the OWL 2 profiles. Even if an ontology cannot be fully rewritten into a profile, in many cases our transformations allow us to exploit further optimisation techniques. Moreover, the elimination of some out-of-profile axioms can improve the performance of modular reasoners, such as MORe. We have tested our techniques on both classification and data reasoning tasks with encouraging results.

[1]  Volker Haarslev,et al.  A New Mapping from ALCI to ALC , 2007, Description Logics.

[2]  Markus Krötzsch,et al.  Concurrent Classification of EL Ontologies , 2011, International Semantic Web Conference.

[3]  Ian Horrocks,et al.  EL-ifying Ontologies , 2014, IJCAR.

[4]  Ian Horrocks,et al.  Making the most of your triple store: query answering in OWL 2 using an RL reasoner , 2013, WWW.

[5]  Ian Horrocks,et al.  MORe: Modular Combination of OWL Reasoners for Ontology Classification , 2012, SEMWEB.

[6]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

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

[8]  Bijan Parsia,et al.  The Empirical Robustness of Description Logic Classification , 2013, Description Logics.

[9]  Carsten Lutz,et al.  The Combined Approach to Ontology-Based Data Access , 2011, IJCAI.

[10]  Robert Piro,et al.  Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability , 2011, IJCAI.

[11]  Yu Ding,et al.  Tableau-based reasoning for description logics with inverse roles and number restrictions , 2008 .

[12]  Volker Haarslev,et al.  The RacerPro knowledge representation and reasoning system , 2012, Semantic Web.

[13]  I. Horrocks,et al.  A Tableau Decision Procedure for $\mathcal{SHOIQ}$ , 2007, Journal of Automated Reasoning.

[14]  Barry Bishop,et al.  OWLIM: A family of scalable semantic repositories , 2011, Semantic Web.

[15]  Yavor Nenov,et al.  Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems , 2014, AAAI.

[16]  Boris Motik,et al.  Individual Reuse in Description Logic Reasoning , 2008, IJCAR.

[17]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[18]  Weichang Du,et al.  A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner , 2013, ORE.

[19]  Boris Motik,et al.  Introducing Nominals to the Combined Query Answering Approaches for EL , 2013, Description Logics.

[20]  Diego Calvanese,et al.  A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases , 1998, Description Logics.

[21]  Jeff Z. Pan,et al.  Soundness Preserving Approximation for TBox Reasoning , 2010, AAAI.

[22]  Boris Motik,et al.  Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..

[23]  Zhe Wu,et al.  Implementing an Inference Engine for RDFS/OWL Constructs and User-Defined Rules in Oracle , 2008, 2008 IEEE 24th International Conference on Data Engineering.

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

[25]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.