- title
- Module Extraction and Incremental Classification
- subtitle
- A Pragmatic Approach for EL ⁺ Ontologies
- Please use the following URL when quoting:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-794964
- Series
- LTCS-Report
- multivolume_volume0
- 07-03
- publication_date
- 2007
- doi
- https://doi.org/10.25368/2022.161
- Abstract (EN)
- 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 reuse. 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.
- Keywords (DE)
- Subsumtion, snomed ct, Beschreibungslogik, Klassifikation
- Keywords (EN)
- subsumption, snomed ct, description logic, classification
- Classification (DDC)
- 004
- Classification (RVK)
- ST 136
- university_publisher
- Technische Universität Dresden, Dresden
- version
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-794964
- Qucosa date of publication
- 16.06.2022
- Document type
- report
- Document language
- English
- licence
CC BY 4.0