- Titel
- Subsumption and Instance Problem in ELH w.r.t. General TBoxes
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-793213
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 04-04
- Erstveröffentlichung
- 2004
- DOI
- https://doi.org/10.25368/2022.141
- Abstract (EN)
- Recently, it was shown for the DL EL that subsumption and instance problem w.r.t. cyclic terminologies can be decided in polynomial time. In this paper, we show that both problems remain tractable even when admitting general concept inclusion axioms and simple role inclusion axioms.
- Freie Schlagwörter (DE)
- Subsumtion, TBoxes, Beschreibungslogik, Axiom
- Freie Schlagwörter (EN)
- subsumption, TBoxes, 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-793213
- Veröffentlichungsdatum Qucosa
- 31.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0