Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies
Aus International Center for Computational Logic
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
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},
}