On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm (Q3172882): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+On the failure of the finite model property in some fuzzy description logics
+Normal rank
@@ Property / cites work @@
+Fuzzy description logics under Gödel semantics
@@ Property / cites work: Fuzzy description logics under Gödel semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3533554
@@ Property / cites work: Q3533554 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy description logics with general t-norms and datatypes
+Normal rank
@@ Property / cites work @@
+Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
+Normal rank
@@ Property / cites work @@
+Fuzzy description logics and \(t\)-norm based fuzzy logics
+Normal rank
@@ Property / cites work @@
+Making fuzzy description logic more general
@@ Property / cites work: Making fuzzy description logic more general / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of semi-groups on a compact manifold with boundary
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717787
@@ Property / cites work: Q2717787 / rank @@
+Normal rank