Title | ||
---|---|---|
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. |
Abstract | ||
---|---|---|
We introduce a new description logic that extends the well-known logic ALC Q by allowing the statement of constraints on role successors that are more general than the qualified number restrictions of ALC Q. 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 ALC Q, we are able to show that the complexity of reasoning in it is the same as in ALC Q, both without and with TBoxes. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1007/978-3-319-66167-4_3 | Lecture Notes in Artificial Intelligence |
Field | DocType | Volume |
Discrete mathematics,Combinatorics,Algorithm,Description logic,Cardinality,Presburger arithmetic,Boolean algebra,Mathematics | Conference | 10483 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
14 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franz Baader | 1 | 8123 | 646.64 |