- Titel
- Subsumption in Finitely Valued Fuzzy EL
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795581
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 15-06
- Erstveröffentlichung
- 2015
- DOI
- https://doi.org/10.25368/2022.212
- Abstract (EN)
- Aus der Einleitung: Description Logics (DLs) are a family of knowledge representation formalisms that are successfully applied in many application domains. They provide the logical foundation for the Direct Semantics of the standard web ontology language OWL2. The light-weight DL EL, underlying the OWL2 EL profile, is of particular interest since all common reasoning problems are polynomial in this logic, and it is used in many prominent biomedical ontologies like SNOMEDCT and the Gene Ontology.
- Freie Schlagwörter (DE)
- Subsumtion, Ontologie-Sprache, Beschreibungslogik, Axiom, OWL2
- Freie Schlagwörter (EN)
- subsumption, ontology language, description logic, axiom, OWL2
- 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-795581
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0