MUltlog 1.0: Towards an Expert System for Many-Valued Logics
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
Relationships with other formalisms
The description logic handbook
A Description Logic for Vague Knowledge
A Description Logic for Vague Knowledge
On Product Logic with Truth-constants
Journal of Logic and Computation
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
Description logic programs under probabilistic uncertainty and fuzzy vagueness
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
Generalizing term subsumption languages to fuzzy logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Triangular norm based predicate fuzzy logics
Fuzzy Sets and Systems
Making fuzzy description logic more general
Fuzzy Sets and Systems
Axiomatization of any residuated fuzzy logic defined by a continuous T-norm
IFSA'03 Proceedings of the 10th international fuzzy systems association World Congress conference on Fuzzy sets and systems
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Journal of Logic and Computation
Similarity for Attribute-value Representations in Fuzzy Description Logics
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
On the failure of the finite model property in some Fuzzy Description Logics
Fuzzy Sets and Systems
Fuzzy ontology representation using OWL 2
International Journal of Approximate Reasoning
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
Formalization of implication based fuzzy reasoning method
International Journal of Approximate Reasoning
How fuzzy is my fuzzy description logic?
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
Information Sciences: an International Journal
Hi-index | 0.00 |
Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Hajek proposed to deal with FDLs taking as basis t-norm based fuzzy logics with the aim of enriching the expressive possibilities in FDLs and to capitalize on recent developments in the field of Mathematical Fuzzy Logic. From this perspective we define a family of description languages, denoted by ALC^*(S), which includes truth constants for representing truth degrees. Having truth constants in the language allows us to define the axioms of the knowledge bases as sentences of a predicate language in much the same way as in classical DLs. On the other hand, taking advantage of the expressive power provided by these truth constants, we define a graded notion of satisfiability, validity and subsumption of DL concepts as the satisfiability, validity and subsumption of evaluated formulas. In the last section we summarize some results concerning fuzzy logics associated with these new description languages, we analyze aspects relative to general and canonical semantics, and we prove some results relative to canonical standard completeness for some FDLs considered in the paper.