Small Is Beautiful: Computing Minimal Equivalent EL Concepts

In this paper, we present an algorithm and a tool for computing minimal, equivalent EL concepts wrt. a given ontology. Our tool can provide valuable support in manual development of ontologies and improve the quality of ontologies automatically generated by processes such as uniform interpolation, ontology learning, rewriting ontologies into simpler DLs, abduction and knowledge revision. Deciding whether there exist equivalent EL concepts of size less than k is known to be an NP-complete problem. We propose a minimisation algorithm that achieves reasonable computational performance also for larger ontologies and complex concepts. We evaluate our tool on several bio-medical ontologies with promising results.

[1]  Matthias Samwald.  Genomic CDS: an Example of a Complex Ontology for Pharmacogenetics and Clinical Decision Support , 2013, ORE.

[2]  Carsten Lutz,et al.  An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL , 2012, KR.

[3]  Jürg Bähler,et al.  FYPO: the fission yeast phenotype ontology , 2013, Bioinform..

[4]  Markus Krötzsch,et al.  The Incredible ELK , 2013, Journal of Automated Reasoning.

[5]  Stefan Schlobach,et al.  ABox Abduction in the Description Logic ALC , 2011, J. Autom. Reason..

[6]  Guilin Qi,et al.  Knowledge Base Revision in Description Logics , 2006, JELIA.

[7]  Kent A. Spackman,et al.  SNOMED clinical terms: overview of the development process and project status , 2001, AMIA.

[8]  Evgeny Kharlamov,et al.  How to Contract Ontologies , 2012, OWLED.

[9]  Sebastian Rudolph,et al.  (Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL , 2014, Artif. Intell..

[10]  Hubert Comon,et al.  Tree automata techniques and applications , 1997 .

[11]  Franz Baader,et al.  Extending Unification in EL Towards General TBoxes , 2012, KR.

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

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

[14]  Sven Schewe,et al.  Simplifying Description Logic Ontologies , 2013, International Semantic Web Conference.

[15]  Sven Schewe,et al.  More is Sometimes Less: Succinctness in EL , 2013, Description Logics.

[16]  Ralf Küsters,et al.  Rewriting Concepts Using Terminologies , 2000, KR.

[17]  Boris Konev,et al.  A Model for Learning Description Logic Ontologies Based on Exact Learning , 2016, AAAI.

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

[19]  Sebastian Rudolph,et al.  ExpExpExplosion: Uniform Interpolation in General EL Terminologies , 2012, ECAI.

[20]  Jianfeng Du,et al.  Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies , 2015, AAAI.

[21]  Jens Lehmann,et al.  Concept learning in description logics using refinement operators , 2009, Machine Learning.

[22]  Anni-Yasmin Turhan,et al.  Computing the lcs w.r.t. General EL+-TBoxes , 2013, Description Logics.

[23]  Sherri de Coronado,et al.  NCI Thesaurus: A semantic model integrating cancer-related clinical and molecular information , 2007, J. Biomed. Informatics.

[24]  Aldo Gangemi,et al.  The GALEN CORE Model Schemata for Anatomy: Towards a Re-usable Application-Independent Model of Medical Concepts , 2008 .

[25]  Jens Wissmann,et al.  Elimination of Redundancy in Ontologies , 2011, ESWC.