Data complexity of query answering in expressive description logics via tableaux (Q945056): Difference between revisions

@@ Property / cites work @@
+Q4012242
@@ Property / cites work: Q4012242 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning on UML class diagrams
@@ Property / cites work: Reasoning on UML class diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264772
@@ Property / cites work: Q4264772 / 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 @@
+Combining deduction and model checking into tableaux and algorithms for converse-PDL.
+Normal rank
@@ Property / cites work @@
+Deduction in Concept Languages: from Subsumption to Instance Checking
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive queries over trees
@@ Property / cites work: Conjunctive queries over trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Q2723446
@@ Property / cites work: Q2723446 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
+Normal rank
@@ Property / cites work @@
+Combining Horn rules and description logics in CARIN
+Normal rank
@@ Property / cites work @@
+Q5465445
@@ Property / cites work: Q5465445 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized Reasoning in Description Logics Using Hypertableaux
+Normal rank
@@ Property / cites work @@
+Q4954172
@@ Property / cites work: Q4954172 / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE Reasoning for Graded Modal Logics
@@ Property / cites work: PSPACE Reasoning for Graded Modal Logics / rank @@
+Normal rank