2014 | OriginalPaper | Buchkapitel
On Adding Inverse Features to the Description Logic
verfasst von : David Toman, Grant Weddell
Erschienen in: PRICAI 2014: Trends in Artificial Intelligence
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.