Individual Reuse in Description Logic Reasoning (Q3541705): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-71070-7_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1538613579
@@ Property / OpenAlex ID: W1538613579 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Hyper tableaux
@@ Property / cites work: Hyper tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246965
@@ Property / cites work: Q4246965 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperresolution for guarded formulae
@@ Property / cites work: Hyperresolution for guarded formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503911
@@ Property / cites work: Q4503911 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized Reasoning in Description Logics Using Hypertableaux
+Normal rank
@@ Property / cites work @@
+Hypertableau Reasoning for Description Logics
@@ Property / cites work: Hypertableau Reasoning for Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353561
@@ Property / cites work: Q4353561 / rank @@
+Normal rank