Ontology-mediated query answering over temporal and inconsistent data - Equipe Data, Intelligence and Graphs Accéder directement au contenu
Article Dans Une Revue Semantic Web – Interoperability, Usability, Applicability Année : 2019

Ontology-mediated query answering over temporal and inconsistent data

Résumé

Stream-based reasoning systems process data stemming from different sources that are received over time. In this kind of applications, reasoning needs to cope with the temporal dimension and should be resilient against inconsistencies in the data. Motivated by such settings, this paper addresses the problem of handling inconsistent data in a temporal version of ontology-mediated query answering. We consider a recently proposed temporal query language that combines conjunctive queries with operators of propositional linear temporal logic (LTL), and consider these under three inconsistency-tolerant semantics that have been introduced for querying inconsistent description logic knowledge bases. We investigate their complexity for temporal EL ⊥ and DL-LiteR knowledge bases. In particular, we consider two different cases, depending on the presence of negations in the query. Furthermore, we complete the complexity picture for the consistent case. We also provide two approaches toward practical algorithms for inconsistency-tolerant temporal query answering.
Fichier principal
Vignette du fichier
SWJ2019-BouKooTur.pdf (548.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02111428 , version 1 (26-04-2019)

Identifiants

Citer

Camille Bourgaux, Patrick Koopmann, Anni-Yasmin Turhan. Ontology-mediated query answering over temporal and inconsistent data. Semantic Web – Interoperability, Usability, Applicability, 2019, ⟨10.3233/SW-180337⟩. ⟨hal-02111428⟩
105 Consultations
161 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More