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 metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-02109645
Contributor : Camille Bourgaux <>
Submitted on : Thursday, April 25, 2019 - 9:00:15 AM
Last modification on : Wednesday, June 19, 2019 - 3:10:03 PM

File

AAAI2019-Bourgaux-Ozaki.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02109645, version 1

Citation

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⟩

Share

Metrics

Record views

73

Files downloads

95