On Adding Inverse Features to the Description Logic CFD ∀ nc .
David Toman, Grant Weddell · Pacific Rim International Conference on Artificial Intelligence · 2014
We consider how inverse features can be added to the de- scription logic CFD ∀, a feature-based dialect with PTIME algorithms for various reasoning tasks over CFD ∀ knowledge bases. We show how a straightforward addition of unqualified inverse features makes the tasks of reasoning about logical consequences and about knowledge base con- sistency intractable. We then present syntactic restrictions on CFD ∀ knowledge bases that relate to combinations of value restrictions and in- verses and to combinations of value restrictions and path functional de- pendencies, and show how such restrictions lead to PTIME algorithms for both tasks. Finally, we show how the resulting dialect called CFDI ∀− can be used to address performance issues relating to relational data sources as well as RDF data sources conforming to DL-Lite F, a description logic dialect of relevance to the W3C OWL 2 QL profile.