Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880): Difference between revisions

@@ Property / cites work @@
+Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693201
@@ Property / cites work: Q5693201 / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
+Normal rank
@@ Property / cites work @@
+A Cookbook for Temporal Conceptual Data Modelling with Description Logics
+Normal rank
@@ Property / cites work @@
+Metric temporal description logics with interval-rigid names
+Normal rank
@@ Property / cites work @@
+Temporalizing Ontology-Based Data Access
@@ Property / cites work: Temporalizing Ontology-Based Data Access / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+LTL over description logic axioms
@@ Property / cites work: LTL over description logic axioms / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Description Logic
@@ Property / cites work: An Introduction to Description Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Monitoring Metric First-Order Temporal Properties
@@ Property / cites work: Monitoring Metric First-Order Temporal Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Core-like properties of infinite graphs and structures
+Normal rank
@@ Property / cites work @@
+Ontology-Mediated Query Answering with Data-Tractable Description Logics
+Normal rank
@@ Property / cites work @@
+Closed-world semantics for conjunctive queries with negation over \(\mathcal{ELH}_\bot\) ontologies
+Normal rank
@@ Property / cites work @@
+Temporal Query Answering in the Description Logic DL-Lite
+Normal rank
@@ Property / cites work @@
+Querying Log Data with Metric Temporal Logic
@@ Property / cites work: Querying Log Data with Metric Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in description logics
+Normal rank
@@ Property / cites work @@
+Data exchange: semantics and query answering
@@ Property / cites work: Data exchange: semantics and query answering / rank @@
+Normal rank
@@ Property / cites work @@
+Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers
+Normal rank
@@ Property / cites work @@
+On metric temporal description logics
@@ Property / cites work: On metric temporal description logics / rank @@
+Normal rank
@@ Property / cites work @@
+First order common knowledge logics
@@ Property / cites work: First order common knowledge logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782498
@@ Property / cites work: Q2782498 / rank @@
+Normal rank