Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080): Difference between revisions

@@ Property / cites work @@
+Cardinality restrictions on concepts
@@ Property / cites work: Cardinality restrictions on concepts / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386959
@@ Property / cites work: Q4386959 / rank @@
+Normal rank
@@ Property / cites work @@
+EXPtime tableaux for ALC
@@ Property / cites work: EXPtime tableaux for ALC / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
+Normal rank
@@ Property / cites work @@
+Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬
+Normal rank
@@ Property / cites work @@
+Q3745271
@@ Property / cites work: Q3745271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028805
@@ Property / cites work: Q4028805 / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
+Normal rank
@@ Property / cites work @@
+Individual Reuse in Description Logic Reasoning
@@ Property / cites work: Individual Reuse in Description Logic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized Reasoning in Description Logics Using Hypertableaux
+Normal rank
@@ Property / cites work @@
+Modal logics, description logics and arithmetic reasoning
+Normal rank
@@ Property / cites work @@
+Q4954172
@@ Property / cites work: Q4954172 / rank @@
+Normal rank