Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies

The description logic ƐL+ has recently proved practically useful in the life science domain with presence of several large-scale biomedical ontologies such as SNOMED CT. To deal with ontologies of this scale, standard reasoning of classification is essential but not sufficient. The ability to extract relevant fragments from a large ontology and to incrementally classify it has become more crucial to support ontology design, maintenance and re-use. In this paper, we propose a pragmatic approach to module extraction and incremental classification for ƐL+ ontologies and report on empirical evaluations of our algorithms which have been implemented as an extension of the CEL reasoner.

[1]  B. Parsia,et al.  Towards Incremental Reasoning Through Updates in OWL-DL , 2006 .

[2]  Volker Haarslev,et al.  Incremental Query Answering for Implementing Document Retrieval Services , 2003, Description Logics.

[3]  Frank Pfenning,et al.  Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings , 2007, CADE.

[4]  Ian Horrocks,et al.  Just the right amount: extracting modules from ontologies , 2007, WWW '07.

[5]  Alan L. Rector,et al.  Web ontology segmentation: analysis, classification and use , 2006, WWW '06.

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

[7]  Jean H. Gallier,et al.  Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[8]  Bernardo Cuenca Grau,et al.  History Matters: Incremental Ontology Reasoning Using Modules , 2007, ISWC/ASWC.

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

[10]  Mark A. Musen,et al.  The PROMPT suite: interactive tools for ontology merging and mapping , 2003, Int. J. Hum. Comput. Stud..

[11]  Franz Baader,et al.  Efficient Reasoning in EL+ , 2006, Description Logics.

[12]  Boontawee Suntisrivaraporn Ltcs.  Chair for Automata Theory LTCS – Report Module Extraction and Incremental Classification : A Pragmatic Approach for EL + Ontologies , 2022 .

[13]  Carsten Lutz,et al.  Conservative Extensions in the Lightweight Description Logic EL , 2007, CADE.