Motivated by such settings, this paper addresses the problem of handling inconsistent data in a temporal version of ontology- mediated query answering. We ...
Apr 5, 2019 · We consider a recently proposed temporal query language that combines conjunctive queries with operators of propositional linear temporal logic ...
We consider a recently proposed temporal query language that combines conjunctive queries with operators of propositional linear temporal logic (LTL), and ...
Abstract. Stream-based reasoning systems process data stemming from different sources and that are received over time. In this kind of application, ...
This paper addresses the problem of handling inconsistent data in a temporal version of ontology-mediated query answering, and considers a recently proposed ...
Jan 1, 2019 · We consider a recently proposed temporal query language that combines conjunctive queries with operators of propositional linear temporal logic ...
of applications, reasoning needs to cope with the temporal dimension and should be resilient against inconsistencies in the data. ... algorithms for inconsistency ...
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 ...
Our main focus is on the data complexity of answering temporal ontology-mediated queries and their rewritability into standard first-order and datalog queries.
Missing: inconsistent | Show results with:inconsistent
Ontology-mediated query answering over temporal and inconsistent data. C. Bourgaux, P. Koopmann, and A. Turhan. Semantic Web, 10 (3): 475-521 (2019 ).