Querying Attributed DL-Lite Ontologies Using Provenance Semirings - Archive ouverte HAL Access content directly
Conference Papers Year :

Querying Attributed DL-Lite Ontologies Using Provenance Semirings

(1, 2) , (3)
1
2
3

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.
Fichier principal
Vignette du fichier
AAAI2019-Bourgaux-Ozaki.pdf (312.84 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02109645 , version 1 (25-04-2019)

Identifiers

  • HAL Id : hal-02109645 , version 1

Cite

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⟩
99 View
102 Download

Share

Gmail Facebook Twitter LinkedIn More