On finitely valued fuzzy description logics: The Łukasiewicz case

Communications in Computer and Information Science

Volumn 298 CCIS, Issue PART 2, 2012, Pages 235-244

  Cerami, Marco ^a   Esteva, Francesc ^a   García Cerdaña, Àngel ^a,b  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^b UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Description Logics; Finitely Valued Description Logics; n graded ukasiewicz Description Logics

Indexed keywords

DESCRIPTION LANGUAGES; DESCRIPTION LOGIC; FUZZY DESCRIPTION LOGIC; MULTIMODAL SYSTEM; REASONING TASKS;

ARTIFICIAL INTELLIGENCE; COMPUTABILITY AND DECIDABILITY; FORMAL LANGUAGES; FUZZY LOGIC; INFORMATION MANAGEMENT; KNOWLEDGE BASED SYSTEMS;

DATA DESCRIPTION;

EID: 84868269853     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-31715-6_26     Document Type: Conference Paper

References (18)

1. Hájek, P.: Making fuzzy description logic more general. Fuzzy Sets and Systems 154(1), 1-15 (2005)
2. García-Cerdaña, À., Armengol, E., Esteva, F.: Fuzzy Description Logics and t-norm based fuzzy logics. International Journal of Approximate Reasoning 51(6), 632-655 (2010)
3. Cerami, M., García-Cerdaña, À., Esteva, F.: From classical description logic to n-graded fuzzy description logic. In: Proceedings of the FUZZ-IEEE 2010. WCCI 2010 IEEE World Congress on Computational Intelligence, pp. 1506-1513 (2010)
4. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)
5. Yen, J.: Generalizing Term Subsumption Languages to Fuzzy Logic. In: Proc. of the 12th IJCAI, Sidney, Australia, pp. 472-477 (1991)
6. Tresp, C.B., Molitor, R.: A Description Logic for Vague Knowledge. Technical Report RWTH-LTCS Report 98-01. Aachen University of Technology (1998)
7. Straccia, U.: Reasoning within Fuzzy Description Logics. Journal of Artificial Intelligence Research 14, 137-166 (2001)
8. Cintula, P., Hájek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic. Studies in Logic, vol. 1,2. College Publications, London (2011)
9. Hájek, P.: Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library, vol. 4. Kluwer Academic Publishers, Dordrecht (1998)
10. Bobillo, F., Straccia, U.: Reasoning with the Finitely Many-valued Łukasiewicz Fuzzy Description Logic SROIQ. Information Sciences 181, 758-778 (2011)
11. Borgwardt, S., Peñaloza, R.: Description logics over lattices with multi-valued ontologies. In: Proceedings of the Twenty-Second International Conference on Artificial Intelligence, pp. 768-773 (2011)
12. Cignoli, R., D'Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic - Studia Logica Library, vol. 7. Kluwer Academic Publishers, Dordrecht (2000)
13. Tuziak, R.: An Axiomatization of the Finite-Valued Łukasiewicz Calculus. Studia Logica 47(1), 49-55 (1988)
14. Bou, F., Esteva, F., Godo, L., Rodríguez, R.: On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. Journal of Logic and Computation 21(5), 739-790 (2011)
15. Straccia, U., Bobillo, F.: Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics. Mathware and Soft Computing 14(3), 247-259 (2007)
16. Baader, F., Horrocks, I., Sattler, U.: Description logics. In: van Harmelin, F., Lifshitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 135-179. Elsevier (2008)
17. Bou, F., Cerami, M., Esteva, F.: Finite-valued Łukasiewicz Modal Logic is PSPACE-complete. In: Proceedings of the IJCAI 2011, pp. 774-779 (2011)
18. Bobillo, F., Straccia, U.: Finite fuzzy description logics: A crisp representation for finite fuzzy ALCH. In: Bobillo, F., et al. (eds.) Proceedings of the 6th ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010). CEUR Workshop Proceedings, vol. 654, pp. 61-72 (November 2010)