Are fuzzy description logics with general concept inclusion axioms decidable?

IEEE International Conference on Fuzzy Systems

Volumn , Issue , 2011, Pages 1735-1742

  Baader, Franz ^a   Peñaloza, Rafael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Fuzzy Description Logics; Reasoning; Undecidability

Indexed keywords

FUZZY DESCRIPTION LOGIC; REASONING; UNDECIDABILITY;

COMPUTABILITY AND DECIDABILITY; FORMAL LANGUAGES; FUZZY SYSTEMS;

DATA DESCRIPTION;

EID: 80053060177     PISSN: 10987584     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FUZZY.2011.6007520     Document Type: Conference Paper

References (21)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, Eds., The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. F. Baader and U. Sattler, "An overview of tableau algorithms for description logics," Studia Logica, vol. 69, pp. 5-40, 2001.
3. T. Lukasiewicz and U. Straccia, "Managing uncertainty and vagueness in description logics for the semantic web," Journal of Web Semantics, vol. 6, no. 4, pp. 291-308, 2008.
4. U. Straccia, "Description logics with fuzzy concrete domains," in Proceedings of the 21st Conference in Uncertainty in Artificial Intelligence (UAI'05). AUAI Press, 2005, pp. 559-567.
5. G. Stoilos, G. B. Stamou, V. Tzouvaras, J. Z. Pan, and I. Horrocks, "The fuzzy description logic f-SHIN," in Proceedings of Uncertainty Reasoning for the Semantic Web (URSW'05), 2005, pp. 67-76.
6. U. Straccia, "Reasoning within fuzzy description logics," Journal of Artificial Intelligence Research (JAIR), vol. 14, pp. 137-166, 2001.
7. G. Stoilos, U. Straccia, G. B. Stamou, and J. Z. Pan, "General concept inclusions in fuzzy description logics," in Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06), ser. Frontiers in Artificial Intelligence and Applications, vol. 141. IOS Press, 2006, pp. 457-461.
8. U. Straccia and F. Bobillo, "Mixed integer programming, general concept inclusions and fuzzy description logics," in Proceedings of the 5th EUSFLAT Conference. Universitas Ostraviensis, 2007, pp. 213-220.
9. F. Bobillo and U. Straccia, "On qualified cardinality restrictions in fuzzy description logics under lukasiewicz semantics," in Proceedings of the 12th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-08), 2008, pp. 1008-1015.
10. -, "A fuzzy description logic with product t-norm," in Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2007). IEEE Press, 2007, pp. 1-6.
11. -, "Fuzzy description logics with general t-norms and datatypes," Fuzzy Sets and Systems, vol. 160, no. 23, pp. 3382-3402, 2009.
12. F. Bobillo, F. Bou, and U. Straccia, "On the failure of the finite model property in some fuzzy description logics," CoRR, vol. abs/1003.1588, 2010.
13. P. Hájek, "Making fuzzy description logic more general," Fuzzy Sets and Systems, vol. 154, no. 1, pp. 1-15, 2005.
14. -, "On witnessed models in fuzzy logic," Mathematical Logic Quarterly, vol. 53, no. 1, pp. 66-77, 2007. [Online]. Available: http://dx.doi.org/10.1002/malq.200610027
15. A. García-Cerdaña, E. Armengol, and F. Esteva, "Fuzzy description logics and t-norm based fuzzy logics," International Journal of Approximate reasoning, vol. 51, pp. 632 - 655, July/2010 2010.
16. F. Bobillo, F. Bou, and U. Straccia, "On the failure of the finite model property in some fuzzy description logics," Fuzzy Sets and Systems, vol. 172, no. 1, pp. 1-12, 2011.
17. M. Cerami, F. Esteva, and F. Bou, "Decidability of a description logic over infinite-valued product logic," in Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press, 2010, pp. 203-213.
18. E. Post, "A variant of a recursively unsolvable problem," Bulletin of the American Mathematical Society, vol. 52, pp. 264-268, 1946.
19. U. Straccia, "Transforming fuzzy description logics into classical description logics," in Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04), ser. Lecture Notes in Computer Science, no. 3229. Lisbon, Portugal: Springer Verlag, 2004, pp. 385-399.
20. F. Bobillo, M. Delgado, J. Gómez-Romero, and U. Straccia, "Fuzzy description logics under Gödel semantics," International Journal of Approximate Reasoning, vol. 50, no. 3, pp. 494-514, 2009.
21. F. Bobillo and U. Straccia, "Reasoning with the finitely many-valued łukasiewicz fuzzy description logic SROIQ," Information Sciences, vol. 181, pp. 758-778, 2011.