2014 | OriginalPaper | Chapter
On Adding Inverse Features to the Description Logic
Authors : David Toman, Grant Weddell
Published in: PRICAI 2014: Trends in Artificial Intelligence
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We consider how inverse features can be added to the description logic
$\mathcal{CFD}^{\forall}_{nc}$
, a feature-based dialect with PTIME algorithms for various reasoning tasks over
$\mathcal{CFD}^{\forall}_{nc}$
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
$\mathcal{CFD}^{\forall}_{nc}$
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
$\mathcal{CFDI}^{\forall-}_{nc}$
can be used to address performance issues relating to relational data sources as well as RDF data sources conforming to DL-Lite
$^{\mathcal F}_{\mathrm{core}}$
, a description logic dialect of relevance to the W3C OWL 2 QL profile.