- Titel
- Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795302
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 12-04
- Erstveröffentlichung
- 2012
- DOI
- https://doi.org/10.25368/2022.188
- Abstract (EN)
- Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI, we provide upper complexity bounds that match the complexity of crisp reasoning.
- Freie Schlagwörter (DE)
- Subsumtion, Anwendungsdomäne, Beschreibungslogik, De Morgan-Algebra
- Freie Schlagwörter (EN)
- subsumption, application domain, description logic, De Morgan algebra
- 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-795302
- Veröffentlichungsdatum Qucosa
- 16.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0