We consider how inverse features can be added to the description logic CFD_(nc)~(any), a feature-based dialect with PTIME algorithms for various reasoning tasks over CFD_(nc)~(any) knowledge bases. We show how a straightforward addition of unqualified inverse features makes the tasks of reasoning about logical consequences and about knowledge base consistency intractable. We then present syntactic restrictions on CFD_(nc)~(any) knowledge bases that relate to combinations of value restrictions and inverses and to combinations of value restrictions and path functional dependencies, and show how such restrictions lead to PTIME algorithms for both tasks. Finally, we show how the resulting dialect called CFDI_(nc)~(any-) can be used to address performance issues relating to relational data sources as well as RDF data sources conforming to DL-Lite_(core)~F, a description logic dialect of relevance to the W3C OWL 2 QL profile.
展开▼
