Unification of concept terms in description logics (Q5929707): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2049209348
@@ Property / OpenAlex ID: W2049209348 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525271
@@ Property / cites work: Q4525271 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories
@@ Property / cites work: Unification in commutative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012241
@@ Property / cites work: Q4012241 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
+Normal rank
@@ Property / cites work @@
+Cardinality restrictions on concepts
@@ Property / cites work: Cardinality restrictions on concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012242
@@ Property / cites work: Q4012242 / rank @@
+Normal rank
@@ Property / cites work @@
+Matching in description logics
@@ Property / cites work: Matching in description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Combination problems for commutative/monoidal theories or how algebra can help in equational unification
+Normal rank
@@ Property / cites work @@
+Q4296747
@@ Property / cites work: Q4296747 / rank @@
+Normal rank
@@ Property / cites work @@
+Incoherence and subsumption for recursive views and queries in object-oriented data models
+Normal rank
@@ Property / cites work @@
+Q4386959
@@ Property / cites work: Q4386959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386924
@@ Property / cites work: Q4386924 / rank @@
+Normal rank
@@ Property / cites work @@
+Matching - a special case of unification?
@@ Property / cites work: Matching - a special case of unification? / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of existential quantification in concept languages.
+Normal rank
@@ Property / cites work @@
+Q4028788
@@ Property / cites work: Q4028788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012243
@@ Property / cites work: Q4012243 / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction in Concept Languages: from Subsumption to Instance Checking
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3323279
@@ Property / cites work: Q3323279 / rank @@
+Normal rank
@@ Property / cites work @@
+Some new decidability results on positive and negative set constraints
+Normal rank
@@ Property / cites work @@
+Q4028805
@@ Property / cites work: Q4028805 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of terminological reasoning in BACK
+Normal rank
@@ Property / cites work @@
+Reasoning and revision in hybrid representation systems
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Haskell overloading is DEXPTIME-complete
@@ Property / cites work: Haskell overloading is DEXPTIME-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+The KL-ONE family
@@ Property / cites work: The KL-ONE family / rank @@
+Normal rank