Inconsistency-tolerant reasoning with OWL DL (Q2353974): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
+Normal rank
@@ Property / cites work @@
+Generalized fuzzy rough description logics
@@ Property / cites work: Generalized fuzzy rough description logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
+Normal rank
@@ Property / cites work @@
+Reasoning with contradictory information using quasi-classical logic
+Normal rank
@@ Property / cites work @@
+Computational Aspects of Quasi-Classical Entailment
+Normal rank
@@ Property / cites work @@
+A syntax-based approach to measuring the degree of inconsistency for belief bases
+Normal rank
@@ Property / cites work @@
+Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus for reasoning in four-valued Description Logics
+Normal rank
@@ Property / cites work @@
+DESCRIPTION LOGICS OVER LATTICES
@@ Property / cites work: DESCRIPTION LOGICS OVER LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717787
@@ Property / cites work: Q2717787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389346
@@ Property / cites work: Q5389346 / rank @@
+Normal rank