Ontologies and Databases: The DL-Lite Approach (Q3639004): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / 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 @@
+Q4012241
@@ Property / cites work: Q4012241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408128
@@ Property / cites work: Q3408128 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Reasoning on UML class diagrams
@@ Property / cites work: Reasoning on UML class diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750100
@@ Property / cites work: Q3750100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386924
@@ Property / cites work: Q4386924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3045452
@@ Property / cites work: Q3045452 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies
+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 @@
+Q4707758
@@ Property / cites work: Q4707758 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751375
@@ Property / cites work: Q2751375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264772
@@ Property / cites work: Q4264772 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time implication problems for unary inclusion dependencies
+Normal rank
@@ Property / cites work @@
+On Instance-level Update and Erasure in Description Logic Ontologies
+Normal rank
@@ Property / cites work @@
+The complexity of concept languages
@@ Property / cites work: The complexity of concept languages / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction in Concept Languages: from Subsumption to Instance Checking
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+Answering queries using views: A survey
@@ Property / cites work: Answering queries using views: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+A description logic with transitive and inverse roles and role hierarchies
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Testing containment of conjunctive queries under functional and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+Conjunctive-query containment and constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Theory of computation.
@@ Property / cites work: Theory of computation. / rank @@
+Normal rank
@@ Property / cites work @@
+Data Complexity in the $\mathcal{EL}$ Family of Description Logics
+Normal rank
@@ Property / cites work @@
+Q4328476
@@ Property / cites work: Q4328476 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of terminological reasoning in BACK
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in expressive description logics via tableaux
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Linking Data to Ontologies
@@ Property / cites work: Linking Data to Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Undirected connectivity in log-space
@@ Property / cites work: Undirected connectivity in log-space / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
+Normal rank
@@ Property / cites work @@
+Q4400807
@@ Property / cites work: Q4400807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Q4393484
@@ Property / cites work: Q4393484 / rank @@
+Normal rank