Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$ (Q3532465): Difference between revisions

@@ Property / cites work @@
+Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in description logics
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Data Complexity in the $\mathcal{EL}$ Family of Description Logics
+Normal rank
@@ Property / cites work @@
+Optimized Reasoning in Description Logics Using Hypertableaux
+Normal rank