Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (Q2302291): Difference between revisions

@@ Property / arXiv ID @@
+.07475
@@ Property / arXiv ID: 1912.07475 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
+Normal rank
@@ Property / cites work @@
+Q3305347
@@ Property / cites work: Q3305347 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Guarded Negation Queries
@@ Property / cites work: Rewriting Guarded Negation Queries / rank @@
+Normal rank
@@ Property / cites work @@
+Querying Visible and Invisible Information
@@ Property / cites work: Querying Visible and Invisible Information / rank @@
+Normal rank
@@ Property / cites work @@
+Ontology-Mediated Query Answering with Data-Tractable Description Logics
+Normal rank
@@ Property / cites work @@
+Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms
+Normal rank
@@ Property / cites work @@
+Ontology-Based Data Access
@@ Property / cites work: Ontology-Based Data Access / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in description logics
+Normal rank
@@ Property / cites work @@
+Answering regular path queries in expressive description logics via alternating tree-automata
+Normal rank
@@ Property / cites work @@
+Capturing Missing Tuples and Missing Values
@@ Property / cites work: Capturing Missing Tuples and Missing Values / rank @@
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
+Normal rank
@@ Property / cites work @@
+Query Answering with DBoxes is Hard
@@ Property / cites work: Query Answering with DBoxes is Hard / rank @@
+Normal rank
@@ Property / cites work @@
+The price of query rewriting in ontology-based data access
+Normal rank
@@ Property / cites work @@
+Combining decidability paradigms for existential rules
+Normal rank
@@ Property / cites work @@
+Reasoning in description logics by a reduction to disjunctive datalog
+Normal rank
@@ Property / cites work @@
+Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
+Normal rank
@@ Property / cites work @@
+The Complexity of Conjunctive Query Answering in Expressive Description Logics
+Normal rank
@@ Property / cites work @@
+Q5232905
@@ Property / cites work: Q5232905 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling description logics and rules
@@ Property / cites work: Reconciling description logics and rules / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable query answering and rewriting under description logic constraints
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank