Abstract | ||
---|---|---|
Description Logics (DLs) are knowledge representation languages useful to represent concepts and roles. Fuzzy Description Logics (FDLs) incorporate both vague concepts and vague roles modeling them as fuzzy sets and fuzzy relations respectively. In the present paper, following ideas from Hajek, we propose the use of t-norm based (fuzzy) logics with truth constants in the language as logics underlying the fuzzy description language. We introduce the languages ALC(L*(S)) and ALC(L (*) under tilde (S)) as an adequate syntactical counterpart of some semantic calculi given in different works dealing with FDLs. |
Year | Venue | Keywords |
---|---|---|
2009 | PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE | Description Logics, Fuzzy Description Logics, t-Norm Based Fuzzy Logics, Truth-constants, Involutive negation |
Field | DocType | Citations |
Discrete mathematics,T-norm fuzzy logics,Łukasiewicz logic,Fuzzy classification,Fuzzy set operations,Fuzzy logic,Theoretical computer science,Monoidal t-norm logic,Fuzzy number,Type-2 fuzzy sets and systems,Mathematics | Conference | 0 |
PageRank | References | Authors |
0.34 | 11 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Àngel García-Cerdaña | 1 | 71 | 10.05 |
Eva Armengol | 2 | 315 | 32.24 |
Francesc Esteva | 3 | 1885 | 200.14 |