Back and forth between guarded and modal logics
ACM Transactions on Computational Logic (TOCL)
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Fuzzy description logics under Gödel semantics
International Journal of Approximate Reasoning
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
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Extending Datatype Restrictions in Fuzzy Description Logics
ISDA '09 Proceedings of the 2009 Ninth International Conference on Intelligent Systems Design and Applications
Multi Criteria Decision Making in Fuzzy Description Logics: A First Step
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
Making fuzzy description logic more general
Fuzzy Sets and Systems
Towards spatial reasoning in fuzzy description logics
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Fuzzy Description Logics and t-norm based fuzzy logics
International Journal of Approximate Reasoning
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
Description logics over lattices with multi-valued ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Finite-valued Lukasiewicz modal logic Is PSPACE-complete
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Aggregation operators for fuzzy ontologies
Applied Soft Computing
Positive subsumption in fuzzy EL with general t-norms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Syntactic labelled tableaux for Łukasiewicz fuzzy ALC
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Inconsistency-tolerant reasoning with OWL DL
International Journal of Approximate Reasoning
Hi-index | 0.07 |
Recently there have been some unexpected results concerning Fuzzy Description Logics (FDLs) with General Concept Inclusions (GCIs). They show that, unlike the classical case, the DL ALC with GCIs does not have the finite model property under Lukasiewicz Logic or Product Logic, the proposed reasoning algorithms are neither correct nor complete and, specifically, knowledge base satisfiability is an undecidable problem for Product Logic. In this work, we show that knowledge base satisfiability is also an undecidable problem for Lukasiewicz Logic. We additionally provide a decision algorithm for acyclic ALC knowledge bases under Lukasiewicz Logic via a Mixed Integer Linear Programming (MILP) based procedure (note, however, that the decidability of this problem is already known). While similar MILP based algorithms have been proposed in the literature for acyclic ALC knowledge bases under Lukasiewicz Logic, none of them exhibit formal proofs of their correctness and completeness, which is the additional contribution here.