Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies

Boontawee SuntisrivarapornBoontawee Suntisrivaraporn
Boontawee Suntisrivaraporn
Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-07-03, 2007. LTCS-Report
  • KurzfassungAbstract
    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.
  • Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ Sun-07-LTCS,
  address = {Germany},
  author = {Boontawee {Suntisrivaraporn}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {LTCS-07-03},
  title = {Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies},
  type = {LTCS-Report},
  year = {2007},
}