论文信息 - News on Temporal Conjunctive Queries

News on Temporal Conjunctive Queries

Temporal query languages are important for stream processing, and ontologies for stream reasoning. Temporal conjunctive queries (TCQs) have therefore been investigated recently together with description logic ontologies, and the knowledge we have about the combined complexities is rather complete. However, often the size of the queries and the ontology is negligible, and what costs is the data. We prove a new result on the data complexity of ontology-based TCQ answering and close the gap between co-NP and ExpTime for many description logics.

Veronika Thost

[1] Stefan Borgwardt,et al. Temporal Query Answering in DL-Lite with Negation , 2015, GCAI.

[2] Franz Baader,et al. Temporalizing Ontology-Based Data Access , 2013, CADE.

[3] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[4] Franz Baader,et al. Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles , 2015, Australasian Conference on Artificial Intelligence.

[5] Veronika Thost,et al. Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information , 2017, KI - Künstliche Intelligenz.

[6] Stefan Borgwardt,et al. Temporalizing rewritable query languages over knowledge bases , 2015, J. Web Semant..

[7] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[8] Stefan Borgwardt,et al. Temporal Query Answering in the Description Logic EL , 2015, IJCAI.

[9] Diego Calvanese,et al. The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[10] Diego Calvanese,et al. Linking Data to Ontologies , 2008, J. Data Semant..

[11] Alin Deutsch,et al. The chase revisited , 2008, PODS.

[12] Franz Baader,et al. Temporal query entailment in the Description Logic SHQ , 2015, J. Web Semant..