Minimising Acyclic EL Ontologies

Computing equivalent EL-ontologies of minimal size is useful for various reasoning tasks such as uniform interpolation, ontology learning, rewriting ontologies into simpler DLs, abduction and knowledge revision. The corresponding tool support for minimising concepts and ontologies can also provide great help to ontology developers and end-users. We present a method for computing equivalent acyclic ELontologies of minimal size, where size is measured by number of occurrences of predicates. We applied our minimisation method to both known and generated ontologies with promising results.

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

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

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

[4]  Samantha Bail,et al.  A Corpus of OWL DL Ontologies , 2013, Description Logics.

[5]  Boris Konev,et al.  Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference , 2014, KR.

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

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

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

[9]  Natalya F. Noy,et al.  BioPortal: Ontologies and Integrated Data Resources at the Click of a Mouse , 2009 .

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

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

[12]  Patrick Koopmann,et al.  Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes , 2014, AAAI.

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

[14]  Patrick Koopmann,et al.  LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks , 2015, ORE.

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

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

[17]  Pavel Klinov,et al.  Incremental Reasoning in OWL EL without Bookkeeping , 2013, International Semantic Web Conference.

[18]  Schubert Foo,et al.  Ontology research and development. Part 1 - a review of ontology generation , 2002, J. Inf. Sci..

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

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

[21]  Michael Schroeder,et al.  Semi-automated ontology generation within OBO-Edit , 2010, Bioinform..

[22]  Nicolette de Keizer,et al.  Forty years of SNOMED: a literature review , 2008, BMC Medical Informatics Decis. Mak..

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

[24]  Boris Konev,et al.  Exact Learning of Lightweight Description Logic Ontologies , 2014, KR.

[25]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

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