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. |
Year | Venue | Keywords |
---|---|---|
2008 | CCIA | fuzzy set,Fuzzy Description Logics,formal ontology,languages ALCL,knowledge representation language,different work,adequate syntactical counterpart,languages ALC-like,Description Logics,completeness result |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Àngel García-Cerdaòa | 1 | 1 | 0.71 |
Francesc Esteva | 2 | 1885 | 200.14 |