- Titel
- A Description Logic for Vague Knowledge
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-788207
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 98-01
- Erstveröffentlichung
- 1998
- DOI
- https://doi.org/10.25368/2022.77
- Abstract (EN)
- This work introduces the concept language ALCFM which is an extension of ALC to many-valued logics. ALCFM allows to express vague concepts, e.g. more or less enlarged or very small. To realize this extension to many-valued logics, the classical notions of satisfiability and subsumption had to be modied appropriately. For example, ALCFM-concepts are no longer either satisfiable or unsatisfiable, but they are satisfiable to a certain degree. The main contribution of this paper is a sound and complete method for computing the degree of subsumption between two ALCFM-concepts.
- An abridged version of this paper has been published in the Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98).
- Freie Schlagwörter (DE)
- Konzeptsprache, ALCFM, Grad der Subsumtion, Datenverarbeitung
- Freie Schlagwörter (EN)
- concept language, ALCFM, degree of subsumption, computing
- 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-788207
- Veröffentlichungsdatum Qucosa
- 19.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0