- Titel
- Characterizing the semantics of terminological cycles in ALN using finite automata
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788179
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 97-04
- Erstveröffentlichung
- 1997
- DOI
- https://doi.org/10.25368/2022.75
- Abstract (EN)
- The representation of terminological knowledge may naturally lead to terminological cycles. In addition to descriptive semantics, the meaning of cyclic terminologies can also be captured by fixed-point semantics, namely, greatest and least fixed-point semantics. To gain a more profound understanding of these semantics and to obtain inference algorithms as well as complexity results for inconsistency, subsumption, and related inference tasks, this paper provides automata theoretic characterizations of these semantics. More precisely, the already existing results for FL₀ are extended to the language ALN, which additionally allows for primitive negation and number-restrictions. Unlike FL₀, the language ALN can express inconsistent concepts, which makes non-trivial extensions of the characterizations and algorithms necessary. Nevertheless, the complexity of reasoning does not increase when going from FL₀ to ALN. This distinguishes ALN from the very expressive languages with fixed-point operators proposed in the literature. It will be shown, however, that cyclic ALN-terminologies are expressive enough to capture schemata in certain semantic data models.
- Freie Schlagwörter (DE)
- Festpunktsemantik, automatentheoretische Charakterisierungen, ALN
- Freie Schlagwörter (EN)
- fixed-point semantics, automata theoretic characterizations, 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-788179
- Veröffentlichungsdatum Qucosa
- 19.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0