The Description Logic Handbook
The Description Logic Handbook
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
General Concept Inclusions in Fuzzy Description Logics
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Making fuzzy description logic more general
Fuzzy Sets and Systems
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ
Information Sciences: an International Journal
On the failure of the finite model property in some Fuzzy Description Logics
Fuzzy Sets and Systems
On the undecidability of fuzzy description logics with GCIs and product t-norm
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
How fuzzy is my fuzzy description logic?
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
| Hi-index | 0.00 |
Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic ${\mathcal{SHI}}$ with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of ${\mathcal{SHI}}$, we provide upper complexity bounds that match the complexity of crisp reasoning.