- Titel
- Structural Subsumption Considered from an Automata-Theoretic Point of View
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788242
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 98-04
- Erstveröffentlichung
- 1998
- DOI
- https://doi.org/10.25368/2022.80
- Abstract (EN)
- This paper compares two approaches for deriving subsumption algorithms for the description logic ALN: structural subsumption and an automata-theoretic characterization of subsumption. It turns out that structural subsumption algorithms can be seen as special implementations of the automata-theoretic characterization.
- Freie Schlagwörter (DE)
- Subsumptionsalgorithmen, automatentheoretische Charakterisierung, Beschreibungslogik, ALN
- Freie Schlagwörter (EN)
- subsumption algorithms, automata-theoretic characterization, description logic, ALN
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Aachen University of Technology, Aachen
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-788242
- Veröffentlichungsdatum Qucosa
- 19.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0