Unification in the Description Logic $\mathcal{EL}$ (Q3636834): Difference between revisions

@@ Property / cites work @@
+Unification in commutative theories
@@ Property / cites work: Unification in commutative theories / rank @@
+Normal rank
@@ Property / cites work @@
+KI 2003: Advances in Artificial Intelligence
@@ Property / cites work: KI 2003: Advances in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in a Description Logic with Transitive Closure of Roles
+Normal rank
@@ Property / cites work @@
+Matching in description logics
@@ Property / cites work: Matching in description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Unification of concept terms in description logics
+Normal rank
@@ Property / cites work @@
+Computing the least common subsumer w.r.t. a background terminology
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Best solving modal equations
@@ Property / cites work: Best solving modal equations / rank @@
+Normal rank
@@ Property / cites work @@
+Non-standard inferences in description logics
@@ Property / cites work: Non-standard inferences in description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085175
@@ Property / cites work: Q3085175 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the unification and admissibility problems for modal and description logics
+Normal rank