- Titel
- Constructing SNOMED CT Concepts via Disunification
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795951
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 17-07
- Erstveröffentlichung
- 2017
- DOI
- https://doi.org/10.25368/2022.237
- Abstract (EN)
- Description Logics (DLs) [BCM+07] are prominent modeling formalisms underlying the Web Ontology Language (OWL). The lightweight DL EL in particular is used to formulate many biomedical ontologies. DLs allow to represent subconcept-superconcept relationships between concepts, e.g., diseases, as well as more complex correspondences. Unification in DLs has been proposed as a non-standard reasoning task to detect redundant concepts in ontologies [BN01, BM10b]. Recently, disunification in EL has been investigated and several algorithms were proposed to solve disunification problems [BBM16].
- Freie Schlagwörter (DE)
- Subsumtion, Ontologie, Beschreibungslogik, Vereinheitlichung
- Freie Schlagwörter (EN)
- subsumption, ontology, description logic, unification
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-795951
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0