A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-006-9049-7
@@ Property / DOI: 10.1007/s10817-006-9049-7 / rank @@
-Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012242
@@ Property / cites work: Q4012242 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737132
@@ Property / cites work: Q4737132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400805
@@ Property / cites work: Q4400805 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539596
@@ Property / cites work: Q4539596 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing description logic subsumption
@@ Property / cites work: Optimizing description logic subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+A description logic with transitive and inverse roles and role hierarchies
+Normal rank
@@ Property / cites work @@
+Q4938424
@@ Property / cites work: Q4938424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938425
@@ Property / cites work: Q4938425 / rank @@
+Normal rank
@@ Property / cites work @@
+PSpace Reasoning with the Description Logic ALCF(D)
+Normal rank
@@ Property / cites work @@
+Q5465445
@@ Property / cites work: Q5465445 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining interval-based temporal reasoning with general TBoxes
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Modal Logics of Topological Relations
@@ Property / cites work: Modal Logics of Topological Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-006-9049-7
@@ Property / DOI: 10.1007/S10817-006-9049-7 / rank @@
+Normal rank