BibSonomyburst/user/eswc2008/extractionBibSonomy RSS feed for /user/eswc2008/extraction2012-02-16T19:11:59+01:00http://www.bibsonomy.org/bibtex/23171f537650171bf487c8afdc4b90320/eswc2008eswc20082008-05-28T14:49:51+02:00ontology logic description extraction classification module incremental formal-languages-1 <span class="authorEditorList"><a href="/author/Suntisrivaraporn">Boontawee Suntisrivaraporn</a> </span><em>Proceedings of the 5th European Semantic Web Conference, </em><em>Berlin, Heidelberg, </em><em>Springer Verlag, </em>(<em>June 2008</em>)Wed May 28 14:49:51 CEST 2008Berlin, HeidelbergProceedings of the 5th European Semantic Web ConferenceJuneLNCSModule Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies2008ontology logic description extraction classification module incremental formal-languages-1 The description logic EL+ 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 EL+ ontologies and report on empirical evaluations of our algorithms which have been implemented as an extension of the CEL reasoner.