Skip to Main content Skip to Navigation
Conference papers

Querying Attributed DL-Lite Ontologies Using Provenance Semirings

Camille Bourgaux 1, 2 Ana Ozaki 3
1 DIG - Data, Intelligence and Graphs
LTCI - Laboratoire Traitement et Communication de l'Information
2 VALDA - Value from Data
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
Abstract : Attributed description logic is a recently proposed formalism, targeted for graph-based representation formats, which enriches description logic concepts and roles with finite sets of attribute-value pairs, called annotations. One of the most important uses of annotations is to record provenance information. In this work, we first investigate the complexity of satisfiability and query answering for attributed DL-LiteR ontologies. We then propose a new semantics, based on prove-nance semirings, for integrating provenance information with query answering. Finally, we establish complexity results for satisfiability and query answering under this semantics.
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Camille Bourgaux Connect in order to contact the contributor
Submitted on : Thursday, April 25, 2019 - 9:00:15 AM
Last modification on : Tuesday, October 19, 2021 - 11:14:15 AM


Files produced by the author(s)


  • HAL Id : hal-02109645, version 1




Camille Bourgaux, Ana Ozaki. Querying Attributed DL-Lite Ontologies Using Provenance Semirings. Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), Jan 2019, Honolulu, United States. ⟨hal-02109645⟩



Record views


Files downloads