Abstract | ||
---|---|---|
Classical ontologies are not suitable to represent vague pieces of information, which has lead to the birth of Fuzzy Description Logics as an appropriate formalism to represent this type of knowledge. Different families of fuzzy operators lead to Fuzzy Description Logics with different properties. This paper studies Fuzzy Description Logics under a semantics given by the Godel family of fuzzy operators. We investigate some logical properties and show the decidability of a fuzzy extension of the logic SROIQ, theoretical basis of the language OWL 1.1, by providing a reasoning preserving procedure to obtain a crisp representation for it. Additionally, we show how to represent some types of concept and role modifiers. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1016/j.ijar.2008.10.003 | Int. J. Approx. Reasoning |
Keywords | Field | DocType |
appropriate formalism,fuzzy description logics,fuzzy description logic,godel family,fuzzy operator,fuzzy description logics fuzzy ontologies fuzzy logics,fuzzy extension,paper studies fuzzy description,crisp representation,classical ontology,fuzzy logics,different family,different property,fuzzy ontologies,fuzzy logic | Discrete mathematics,T-norm fuzzy logics,Fuzzy classification,Fuzzy set operations,Fuzzy logic,Fuzzy subalgebra,Monoidal t-norm logic,Fuzzy associative matrix,Fuzzy number,Mathematics | Journal |
Volume | Issue | ISSN |
50 | 3 | International Journal of Approximate Reasoning |
Citations | PageRank | References |
71 | 2.05 | 40 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fernando Bobillo | 1 | 742 | 42.86 |
Miguel Delgado | 2 | 1452 | 121.94 |
Juan Gómez-Romero | 3 | 404 | 21.69 |
Umberto Straccia | 4 | 2731 | 251.15 |