- Titel
- Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795230
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 11-03
- Erstveröffentlichung
- 2011
- DOI
- https://doi.org/10.25368/2022.181
- Abstract (EN)
- Very recently, the tableau-based algorithm for deciding consistency of general fuzzy DL ontologies over the product t-norm was shown to be incorrect, due to a very weak blocking condition. In this report we take the first steps towards a correct algorithm by modifying the blocking condition, such that the (finite) structure obtained through the algorithm uniquely describes an infinite system of quadratic constraints. We show that this procedure terminates, and is sound and complete in the sense that the input is consistent iff the corresponding infinite system of constraints is satisfiable.
- Freie Schlagwörter (DE)
- quadratisch beschränktes quadratisches Programm, ALC-Konzept, Beschreibungslogik, Ontologie
- Freie Schlagwörter (EN)
- quadratically constrained quadratic program, ALC-concept, description logic, ontology
- 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-795230
- Veröffentlichungsdatum Qucosa
- 16.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0