Querying Attributed DL-Lite Ontologies Using Provenance Semirings
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 provenance semirings, for integrating provenance information with query answering. Finally, we establish complexity results for satisfiability and query answering under this semantics.
Cite
Text
Bourgaux and Ozaki. "Querying Attributed DL-Lite Ontologies Using Provenance Semirings." AAAI Conference on Artificial Intelligence, 2019. doi:10.1609/AAAI.V33I01.33012719Markdown
[Bourgaux and Ozaki. "Querying Attributed DL-Lite Ontologies Using Provenance Semirings." AAAI Conference on Artificial Intelligence, 2019.](https://mlanthology.org/aaai/2019/bourgaux2019aaai-querying/) doi:10.1609/AAAI.V33I01.33012719BibTeX
@inproceedings{bourgaux2019aaai-querying,
title = {{Querying Attributed DL-Lite Ontologies Using Provenance Semirings}},
author = {Bourgaux, Camille and Ozaki, Ana},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2019},
pages = {2719-2726},
doi = {10.1609/AAAI.V33I01.33012719},
url = {https://mlanthology.org/aaai/2019/bourgaux2019aaai-querying/}
}