@inproceedings{suntisrivaraporn2008module,
  abstract = {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.},
  added-at = {2008-05-28T14:49:51.000+0200},
  address = {Berlin, Heidelberg},
  author = {Suntisrivaraporn, Boontawee},
  biburl = {http://www.bibsonomy.org/bibtex/23171f537650171bf487c8afdc4b90320/eswc2008},
  booktitle = {Proceedings of the 5th European Semantic Web Conference},
  editor = {Hauswirth, Manfred and Koubarakis, Manolis and Bechhofer, Sean},
  interhash = {e1f2379bcbf256f19e2269367bef5877},
  intrahash = {3171f537650171bf487c8afdc4b90320},
  keywords = {ontology logic description extraction classification module incremental formal-languages-1},
  month = {June},
  publisher = {Springer Verlag},
  series = {LNCS},
  timestamp = {2008-05-28T14:49:51.000+0200},
  title = {Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies},
  url = {http://data.semanticweb.org/conference/eswc/2008/papers/14},
  year = 2008
}