Structural subsumption and least common subsumers in a description logic with existential and number restrictions (Q817690): Difference between revisions

@@ Property / describes a project that uses @@
+Sonic
@@ Property / describes a project that uses: Sonic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FaCT++
@@ Property / describes a project that uses: FaCT++ / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-005-3705-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2012765436
@@ Property / OpenAlex ID: W2012765436 / rank @@
+Normal rank
@@ Property / cites work @@
+Using automata theory for characterizing the semantics of terminological cycles
+Normal rank
@@ Property / cites work @@
+Conceptual Structures for Knowledge Creation and Communication
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Matching in description logics
@@ Property / cites work: Matching in description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412237
@@ Property / cites work: Q4412237 / rank @@
+Normal rank
@@ Property / cites work @@
+The learnability of description logics with equality constraints
+Normal rank
@@ Property / cites work @@
+Classic learning
@@ Property / cites work: Classic learning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028805
@@ Property / cites work: Q4028805 / 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 @@
+Q2717788
@@ Property / cites work: Q2717788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501598
@@ Property / cites work: Q4501598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494324
@@ Property / cites work: Q4494324 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:817690