Undecidability of fuzzy description logics

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2012, Pages 232-242

  Borgwardt, Stefan ^a   Peñaloza, Rafael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

FUZZY DESCRIPTION LOGIC; UNDECIDABILITY;

FUZZY LOGIC;

EID: 84893405097     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. Baader, F., and Peñaloza, R. 2011a. Are fuzzy description logics with general concept inclusion axioms decidable? In Proc. of the 2011 IEEE Int. Conf. on Fuzzy Systems (FUZZ-IEEE'11), 1735-1742. IEEE Press.
2. Baader, F., and Peñaloza, R. 2011b. GCIs make reasoning in fuzzy DLs with the product t-norm undecidable. In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), Volume 745 of CEUR-WS.
3. Baader, F., and Peñaloza, R. 2011c. On the undecidability of fuzzy description logics with GCIs and product t-norm. In Proc. of 8th Int. Symp. Frontiers of Combining Systems (FroCoS'11), Volume 6989 of Lecture Notes in Artificial Intelligence, 55-70. Springer.
4. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
5. Bobillo, F., and Straccia, U. 2007. A fuzzy description logic with product t-norm. In Proc. of the 2007 IEEE Int. Conf. on Fuzzy Systems FUZZ-IEEE'07, 1-6. IEEE Press.
6. Bobillo, F., and Straccia, U. 2008. On qualified cardinality restrictions in fuzzy description logics under Łukasiewicz semantics. In Proc. of the 12th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'08), 1008-1015.
7. Bobillo, F., and Straccia, U. 2009. Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems 160(23):3382-3402.
8. Bobillo, F., and Straccia, U. 2011. Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic SROIQ. Information Sciences 181(4):758-778.
9. Bobillo, F.; Delgado, M.; Gómez-Romero, J.; and Straccia, U. 2009. Fuzzy description logics under Gödel semantics. Int. Journal of Approximate Reasoning 50(3):494-514.
10. Bobillo, F.; Bou, F.; and Straccia, U. 2011. On the failure of the finite model property in some fuzzy description logics. Fuzzy Sets and Systems 172(23):1-12.
11. Borgwardt, S., and Peñaloza, R. 2011a. Description logics over lattices with multi-valued ontologies. In Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI'11), 768-773. AAAI Press.
12. Borgwardt, S., and Peñaloza, R. 2011b. Finite lattices do not make reasoning in ALCI harder. In Proc. of the 7th Int. Workshop on Uncertainty Reasoning for the Semantic Web (URSW'11), Volume 778 of CEUR-WS, 51-62.
13. Borgwardt, S., and Peñaloza, R. 2011c. Undecidability of fuzzy description logics. LTCS-Report 11-06, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany. See http://lat.inf.tu-dresden.de/research/reports.html.
14. Cerami, M., and Straccia, U. 2011. On the undecidability of fuzzy description logics with GCIs with Łukasiewicz t-norm. Technical report, Computing Research Repository. arXiv:1107.4212v3 [cs.LO]. An extended version of this report has been submitted to a journal.
15. Cerami, M.; García-Cerdaña, Á.; and Esteva, F. 2010. From classical description logic to n-graded fuzzy description logic. In Proc. of the 2010 IEEE Int. Conf. on Fuzzy Systems (FUZZ-IEEE'10), 1-8. IEEE Press.
16. Esteva, F.; Godo, L.; Hájek, P.; and Navara, M. 2000. Resid-uated fuzzy logics with an involutive negation. Archive for Mathematical Logic 39(2):103-124.
17. García-Cerdaña, Á.; Armengol, E.; and Esteva, F. 2010. Fuzzy description logics and t-norm based fuzzy logics. Int. Journal of Approximate Reasoning 51:632-655.
18. Hájek, P. 2001. Metamathematics of Fuzzy Logic (Trends in Logic). Springer.
19. Hájek, P. 2005. Making fuzzy description logic more general. Fuzzy Sets and Systems 154(1):1-15.
20. Horrocks, I.; Patel-Schneider, P. F.; and van Harmelen, F. 2003. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1):7-26.
21. Klement, E. P.; Mesiar, R.; and Pap, E. 2000. Triangular Norms. Springer.
22. Lukasiewicz, T., and Straccia, U. 2008. Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6(4):291-308.
23. Molitor, R., and Tresp, C. B. 2000. Extending description logics to vague knowledge in medicine. In Fuzzy Systems in Medicine, Volume 41 of Studies in Fuzziness and Soft Computing. Springer. 617-635.
24. Mostert, P. S., and Shields, A. L. 1957. On the structure of semigroups on a compact manifold with boundary. Annals of Mathematics 65:117-143.
25. Post, E. L. 1946. A variant of a recursivley unsolvable problem. Bulletin of the AMS 53:264-268.
26. Stoilos, G., and Stamou, G. B. 2009. A framework for reasoning with expressive continuous fuzzy description logics. In Proc. of the 22nd Int. Workshop on Description Logics (DL 2009), Volume 477 of CEUR-WS.
27. Stoilos, G.; Stamou, G. B.; Tzouvaras, V.; Pan, J. Z.; and Horrocks, I. 2005. The fuzzy description logic f-SHIN. In Proc. of the 1st Int. Workshop on Uncertainty Reasoning for the Semantic Web (URSW'05), 67-76.
28. Stoilos, G.; Straccia, U.; Stamou, G. B.; and Pan, J. Z. 2006. General concept inclusions in fuzzy description logics. In Proc. of the 17th Eur. Conf. on Artificial Intelligence (ECAI'06), Volume 141 of Frontiers in Artificial Intelligence and Applications, 457-461. IOS Press.
29. Straccia, U., and Bobillo, F. 2007. Mixed integer programming, general concept inclusions and fuzzy description logics. In Proc. of the 5th EUSFLAT Conf. (EUSFLAT'07), 213-220. Universitas Ostraviensis.
30. Straccia, U. 1998. A fuzzy description logic. In Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI'98), 594-599.
31. Straccia, U. 2001. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14:137-166.
32. Tresp, C. B., and Molitor, R. 1998. A description logic for vague knowledge. In Proc. of the 13th Eur. Conf. on Artificial Intelligence (ECAI'98), 361-365. J. Wiley and Sons.
33. Vaneková, V., and Vojtás, P. 2010. Comparison of scoring and order approach in description logic EL(D). In Proc. of the 36th Int. Conf. on Current Trends in Theory and Practice of Computer Science (SOFSEM'10), Volume 5901 of Lecture Notes in Computer Science, 709-720. Springer.
34. Zadeh, L. A. 1965. Fuzzy sets. Information and Control 8(3):338-353.