On Fuzzy Description Logics

Authors:
Àngel García-Cerdaòa;Francesc Esteva
Affiliations:
IIIA, Artificial Intelligence Research Institute, CSIC, Spanish Council for Scientific Research, Campus UAB, 08193 Bellaterra, Spain, e-mail: {angel, esteva}@iiia.csic.es;IIIA, Artificial Intelligence Research Institute, CSIC, Spanish Council for Scientific Research, Campus UAB, 08193 Bellaterra, Spain, e-mail: {angel, esteva}@iiia.csic.es
Venue:
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Year:
2008

Citing 8
Cited 0

A Description Logic for Vague Knowledge

A Description Logic for Vague Knowledge
On Product Logic with Truth-constants

Journal of Logic and Computation
T-norm-based logics with an independent involutive negation

Fuzzy Sets and Systems
Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results

Fuzzy Sets and Systems
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics

Journal of Artificial Intelligence Research
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Description Logics (DLs) are knowledge representation languages, particularly suited to specify formal ontologies. DLs have been studied extensively over the last two decades. Fuzzy Description Logics (FDLs) incorporate vague concepts modeling them as fuzzy sets. Following ideas from Hájek, we propose the use of truth constants in the languages of description. In particular we introduce the languages ALCL*(S) and ALCL*~(S) as an adequate syntactical counterpart of some semantic calculi given in different works dealing with FDLs. In addition we give completeness results for some languages ALC-like.