Title | ||
---|---|---|
Role-Value Maps And General Concept Inclusions In The Minimal Description Logic With Value Restrictions Or Revisiting Old Skeletons In The Dl Cupboard |
Abstract | ||
---|---|---|
We investigate the impact that general concept inclusions and role-value maps have on the complexity and decidability of reasoning in the description logic FL0. On the one hand, we give a more direct proof for ExpTime-hardness of subsumption w.r. t. general concept inclusions in FL0. On the other hand, we determine restrictions on role-value maps that ensure decidability of subsumption, but we also show undecidability for the cases where these restrictions are not satisfied. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1007/s13218-020-00651-0 | KUNSTLICHE INTELLIGENZ |
Keywords | DocType | Volume |
Description logic, Value restrictions, Role-value maps, FL0, Decidability and complexity | Journal | 34 |
Issue | ISSN | Citations |
3 | 0933-1875 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franz Baader | 1 | 8123 | 646.64 |
Clément Théron | 2 | 0 | 0.34 |