``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452): Difference between revisions

@@ Property / cites work @@
+Matching in description logics
@@ Property / cites work: Matching in description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256516
@@ Property / cites work: Q4256516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386959
@@ Property / cites work: Q4386959 / rank @@
+Normal rank
@@ Property / cites work @@
+``Reducing'' classic to practice: Knowledge representation theory meets reality
+Normal rank
@@ Property / cites work @@
+Q4012243
@@ Property / cites work: Q4012243 / rank @@
+Normal rank
@@ Property / cites work @@
+An epistemic operator for description logics
@@ Property / cites work: An epistemic operator for description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+Q3493318
@@ Property / cites work: Q3493318 / rank @@
+Normal rank