- Titel
- Concept Descriptions with Set Constraints and Cardinality Constraints
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795893
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 17-02
- Erstveröffentlichung
- 2017
- DOI
- https://doi.org/10.25368/2022.232
- Abstract (EN)
- We introduce a new description logic that extends the well-known logic ALCQ by allowing the statement of constraints on role successors that are more general than the qualified number restrictions of ALCQ. To formulate these constraints, we use the quantifier-free fragment of Boolean Algebra with Presburger Arithmetic (QFBAPA), in which one can express Boolean combinations of set constraints and numerical constraints on the cardinalities of sets. Though our new logic is considerably more expressive than ALCQ, we are able to show that the complexity of reasoning in it is the same as in ALCQ, both without and with TBoxes.
- The first version of this report was put online on April 6, 2017. The current version, containing more information on related work, was put online on July 13, 2017. This is an extended version of a paper published in the proceedings of FroCoS 2017.
- Freie Schlagwörter (DE)
- Subsumtion, Beschreibungslogik, ALCQ-Konzept, quantorenfreie Boolesche Algebra mit Presburger-Arithmetik
- Freie Schlagwörter (EN)
- subsumption, description logic, ALCQ-concept, quantifier-free fragment of Boolean Algebra with Presburger Arithmetic
- 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-795893
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0