Return to search

Concept Descriptions with Set Constraints and Cardinality Constraints

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.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:79589
Date20 June 2022
CreatorsBaader, Franz
PublisherTechnische Universität Dresden
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageEnglish
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/acceptedVersion, doc-type:report, info:eu-repo/semantics/report, doc-type:Text
Rightsinfo:eu-repo/semantics/openAccess
Relationurn:nbn:de:bsz:14-qucosa2-785040, qucosa:78504

Page generated in 0.0022 seconds