- Titel
- LTL over EL Axioms
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795604
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 15-07
- Erstveröffentlichung
- 2015
- DOI
- https://doi.org/10.25368/2022.213
- Abstract (EN)
- Aus der Einleitung: Description Logics (DLs) [BCM+07] are popular knowledge representation formalisms, mainly because they are the basis of the standardized OWL 2 Direct Semantics, their expressiveness can be tailored to the application at hand, and many optimized reasoning systems are available.
- Freie Schlagwörter (DE)
- kanonisches Modell, EL-Konzept, Beschreibungslogik, Axiom
- Freie Schlagwörter (EN)
- canonical model, EL-concept, description logic, axiom
- 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-795604
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0