Finite fuzzy description logics: A crisp representation for finite fuzzy ALCH

CEUR Workshop Proceedings

Volumn 654, Issue , 2010, Pages 61-72

  Bobillo, Fernando ^a   Straccia, Umberto ^b  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERT KNOWLEDGE; FINITE SET; FUZZY DESCRIPTION LOGIC; LINGUISTIC TERMS; LOGICAL PROPERTIES; ORDERED SET; STRUCTURED KNOWLEDGE;

COMPUTABILITY AND DECIDABILITY; FORMAL LANGUAGES; LINGUISTICS; SET THEORY;

DATA DESCRIPTION;

EID: 84872837425     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003).
2. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6(4) (2008) 291{308.
3. Bobillo, F., Delgado, M., Gömez-Romero, J.: Crisp representations and reasoning for fuzzy ontologies. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 17(4) (2009) 501{530.
4. Cerami, M., Esteva, F., Bou, F.: Decidability of a description logic over infinitevalued product logic. Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010) 203{213.
5. Bobillo, F., Delgado, M., Gömez-Romero, J., Straccia, U.: Fuzzy description logics under Gödel semantics. Int. J. Approximate Reasoning 50(3) (2009) 494{514.
6. Bobillo, F., Straccia, U.: Towards a crisp representation of fuzzy description logics under Lukasiewicz semantics. Proceedings of the 17th International Symposium on Methodologies for Intelligent Systems (ISMIS 2008). Volume 4994 of Lecture Notes in Computer Science, Springer-Verlag (2008) 309{318.
7. Hajek, P.: Making fuzzy description logic more general. Fuzzy Sets and Systems 154(1) (2005) 1{15.
8. Garcia-Cerdaña, A., Armengol, E., Esteva, F.: Fuzzy description logics and t-norm based fuzzy logics. Int. J. Approximate Reasoning 51 (2010) 632{655.
9. Cerami, M., Garcia-Cerdaña, A., Esteva, F.: From classical description logic to n{graded fuzzy description logic. In: Proceedings of the 19th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2010), IEEE Press (2010) 1506{1513.
10. Mas, M., Monserrat, M., Torrens, J.: S-implications and r-implications on a finite chain. Kybernetika 40(1) (2004) 3{20.
11. Mayor, G., Torrens, J.: On a class of operators for expert systems. International Journal of Intelligent Systems 8(7) (1993) 771{778.
12. Mas, M., Monserrat, M., Torrens, J.: On two types of discrete implications. International Journal of Approximate Reasoning 40(3) (2005) 262{279.
13. Straccia, U.: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1) (2006) 1{16.
14. Jiang, Y., Tang, Y., Wang, J., Deng, P., Tang, S.: Expressive fuzzy description logics over lattices. Knowledge-Based Systems 23(2) (2010) 150{161.
15. Zadeh, L.A.: Fuzzy sets. Information and Control 8 (1965) 338{353.
16. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14 (2001) 137{166.