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

@@ Property / describes a project that uses @@
+KAON2
@@ Property / describes a project that uses: KAON2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HermiT
@@ Property / describes a project that uses: HermiT / 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.1016/j.ijar.2013.09.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2066249453
@@ Property / OpenAlex ID: W2066249453 / rank @@
+Normal rank
@@ 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