Q5232905 (Q5232905): Difference between revisions

@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
+Normal rank
@@ Property / cites work @@
+Relational and XML Data Exchange
@@ Property / cites work: Relational and XML Data Exchange / rank @@
+Normal rank
@@ Property / cites work @@
+The DL-Lite Family and Relations
@@ Property / cites work: The DL-Lite Family and Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / 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 @@
+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 @@
+Ontology-Based Data Access
@@ Property / cites work: Ontology-Based Data Access / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of surjective homomorphism problems-a survey
+Normal rank
@@ Property / cites work @@
+Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
+Normal rank
@@ Property / cites work @@
+Games for query inseparability of description logic knowledge bases
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+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 @@
+An algebraic hardness criterion for surjective constraint satisfaction.
+Normal rank
@@ Property / cites work @@
+Description logics of minimal knowledge and negation as failure
+Normal rank
@@ Property / cites work @@
+Monotone monadic SNP and constraint satisfaction
@@ Property / cites work: Monotone monadic SNP and constraint satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).
+Normal rank
@@ Property / cites work @@
+Generalised dualities and maximal finite antichains in the homomorphism order of relational structures
+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 @@
+Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
+Normal rank
@@ Property / cites work @@
+Deciding expressive description logics in the framework of resolution
+Normal rank
@@ Property / cites work @@
+Data Complexity in the $\mathcal{EL}$ Family of Description Logics
+Normal rank
@@ Property / cites work @@
+Tree Dualities for Constraint Satisfaction
@@ Property / cites work: Tree Dualities for Constraint Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Data exchange and schema mappings in open and closed worlds
+Normal rank
@@ Property / cites work @@
+Deciding inseparability and conservative extensions in the description logic
+Normal rank
@@ Property / cites work @@
+Q4596784
@@ Property / cites work: Q4596784 / 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 @@
+Data complexity of query answering in expressive description logics via tableaux
+Normal rank
@@ Property / cites work @@
+Linking Data to Ontologies
@@ Property / cites work: Linking Data to Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+What should a database know?
@@ Property / cites work: What should a database know? / rank @@
+Normal rank
@@ Property / cites work @@
+Beth Definability in Expressive Description Logics
+Normal rank