On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm

Information Sciences

Volumn 227, Issue , 2013, Pages 1-21

  Cerami, Marco ^a   Straccia, Umberto ^b  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^b ISTI CNR   (Italy)

Author keywords

Fuzzy description logic; Fuzzy logic; Fuzzy ontology; Logic for the semantic Web

Indexed keywords

DECISION ALGORITHMS; FINITE MODEL PROPERTY; FORMAL PROOFS; FUZZY DESCRIPTION LOGIC; FUZZY ONTOLOGY; KNOWLEDGE BASE; KNOWLEDGE BASIS; MIXED-INTEGER LINEAR PROGRAMMING; PRODUCT LOGIC; REASONING ALGORITHMS; SATISFIABILITY;

ALGORITHMS; COMPUTABILITY AND DECIDABILITY; EMBEDDED SYSTEMS; FORMAL LANGUAGES; FUZZY LOGIC; KNOWLEDGE BASED SYSTEMS;

DATA DESCRIPTION;

EID: 84872327115     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2012.11.019     Document Type: Article

References (52)

1. Hajnal Andréka, Isteván Németi, and Johan van Benthem Modal languages and bounded fragments of predicate logic Journal of Philosophical Logic 27 1998 217 274
2. Carlos Areces, and Balder ten Cate Hybrid logics P. Blackburn, F. Wolter, J. van Benthem, Handbook of Modal Logics 2006 Elsevier 821 868
3. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider The Description Logic Handbook: Theory, Implementation, and Applications 2003 Cambridge University Press
4. Franz Baader, Enrico Franconi, Bernhard Hollunder, Bernhard Nebel, and Hans-Jürgen Profitlich An empirical analysis of optimization techniques for terminological representation systems or: making KRIS get a move on Applied Artificial Intelligence, Special Issue on Knowledge Base Management 4 1994 109 132
5. Franz Baader, and Rafael Peñaloza On the undecidability of fuzzy description logics with GCIs and product t-norm Proceedings of the 8th international conference on Frontiers of combining systems, FroCoS'11 2011 Springer-Verlag Berlin, Heidelberg 55 70
6. Franz Baader, and Rafael Peñaloza Are fuzzy description logics with general concept inclusion axioms decidable? Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011). 2011 IEEE Press
7. Franz Baader, Rafael Peñaloza. GCIs make reasoning in fuzzy DLs with the product t-norm undecidable, in: Proceedings of the 24th International Workshop on Description Logics (DL-11), CEUR Electronic Workshop Proceedings, 2011.
8. Fernando Bobillo, Félix Bou, and Umberto Straccia On the failure of the finite model property in some fuzzy description logics Fuzzy Sets and Systems 172 1 2011 1 12
9. Fernando Bobillo, Miguel Delgado, and Juan Gómez-Romero Crisp representations and reasoning for fuzzy ontologies International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 17 4 2009 501 530
10. Fernando Bobillo, Miguel Delgado, Juan Gómez-Romero, and Umberto Straccia Fuzzy description logics under Gödel semantics International Journal of Approximate Reasoning 50 3 2009 494 514
11. Fernando Bobillo, and Umberto Straccia FuzzyDL: an expressive fuzzy description logic reasoner 2008 International Conference on Fuzzy Systems (FUZZ-08) 2008 IEEE Computer Society 923 930
12. Fernando Bobillo, Umberto Straccia, On qualified cardinality restrictions in fuzzy description logics under Łukasiewicz semantics, in: Luis Magdalena, Manuel Ojeda-Aciego, José Luis Verdegay (Eds.), Proceedings of the 12th International Conference of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2008), June 2008, pp. 1008-1015.
13. Fernando Bobillo, and Umberto Straccia Extending datatype restrictions in fuzzy description logics Proceedings of the 9th International Conference on Intelligent Systems Design and Applications (ISDA-09) 2009 IEEE Computer Society 785 790
14. Fernando Bobillo, Umberto Straccia, Fuzzy description logics with fuzzy truth values, in: João P.B. Carvalho, Didier Dubois, Uzay Kaymak, João M.C. Sousa (Eds.), Proceedings of the 13th World Congress of the International Fuzzy Systems Association and 6th Conference of the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT 2009), July 2009, pp. 189-194.
15. Fernando Bobillo, and Umberto Straccia Fuzzy description logics with general t-norms and datatypes Fuzzy Sets and Systems 160 23 2009 3382 3402
16. Fernando Bobillo, and Umberto Straccia Aggregation operators and fuzzy OWL 2 Proceedings of the 20th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011) 2011 IEEE Press 1727 1734
17. Fernando Bobillo, and Umberto Straccia Fuzzy ontologies and fuzzy integrals Proceedings of the 11th International Conference on Intelligent Systems Design and Applications (ISDA 2011) 2011 IEEE Press 1311 1316
18. Fernando Bobillo, and Umberto Straccia Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic SROIQ Information Sciences 181 2011 758 778
19. Stefan Borgwardt, Rafael Peñaloza, Description logics over lattices with multi-valued ontologies, in: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11), 2011, pp. 768-773.
20. Stefan Borgwardt, Rafael Peñaloza, Finite lattices do not make reasoning in ALCI harder, in: Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), vol. 778. CEUR-WS.org, 2011, pp. 51-62.
21. Stefan Borgwardt, Rafael Peñaloza, Fuzzy ontologies over lattices with t-norms, in: Proceedings of the 24th International Workshop on Description Logics (DL-11), CEUR Electronic Workshop Proceedings, 2011.
22. Félix Bou, Marco Cerami, Francesc Esteva, Finite-valued Łukasiewicz modal logic is Pspace-complete, in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), 2011, pp. 774-779.
23. Marco Cerami, Francesc Esteva, and Fèlix Bou Decidability of a description logic over infinite-valued product logic Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR-10) 2010 AAAI Press
24. àngel García-Cerdaña, Eva Armengol, and Francesc Esteva Fuzzy description logics and t-norm based fuzzy logics International Journal of Approximate Reasoning 51 2010 632 655
25. Erich Grädel, Guarded fragments of first-order logic: A perspective for new description logics? in: Proceedings of the International Description Logics Workshop (DL-98), CEUR Electronic Workshop Proceedings, 1998.
26. Erich Grädel, Colin Hirsch, and Martin Otto Back and forth between guarded and modal logics ACM Transactions on Computational Logic 3 3 2002 418 463
27. Reiner Hähnle Advanced many-valued logics 2nd ed. Dov M. Gabbay, F. Guenthner, Handbook of Philosophical Logic vol. 2 2001 Kluwer Dordrecht, Holland
28. Reiner Hähnle, and Gonzalo Escalada-Imaz Deduction in many-valued logics: a survey Mathware and Soft Computing IV 2 1997 69 97
29. Petr Hájek Metamathematics of Fuzzy Logic 1998 Kluwer
30. Petr Hájek Making fuzzy description logics more general Fuzzy Sets and Systems 154 1 2005 1 15
31. Petr Hájek What does mathematical fuzzy logic offer to description logic? Elie Sanchez, Fuzzy Logic and the Semantic Web, Capturing Intelligence 2006 Elsevier 91 100 (Chapter 5)
32. Petr Hájek On witnessed models in fuzzy logic Mathematical Logic Quarterly 53 1 2007 66 77
33. Ian Horrocks, Using an expressive description logic: fact or fiction? in: Proceedings of the 8th International Conference on the Principles of Knowledge Representation and Reasoning (KR-98), 1998.
34. Ian Horrocks, Oliver Kutz, and Ulrike Sattler The even more irresistible SROIQ Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006) 2006 AAAI Press 57 67
35. Ian Horrocks, and Ulrike Sattler A description logic with transitive and inverse roles and role hierarchies Journal of Logic and Computation 9 3 1999 385 410
36. Ian Horrocks, Ulrike Sattler, and Stephan Tobies Reasoning with individuals for the description logic SHIQ David MacAllester, Proceedings of the 17th International Conference on Automated Deduction (CADE-17) Lecture Notes in Artificial Intelligence vol. 1831 2000 Springer-Verlag Germany 482 496
37. Ian Horrocks, and Stephan Tobies Reasoning with axioms: theory and practice Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR-00) 2000 Morgan Kaufman 285 296
38. Robert G. Jeroslow Logic-based Decision Support Mixed Integer Model Formulation 1989 Elsevier Amsterdam, Holland
39. Erich Peter Klement, Radko Mesiar, and Endre Pap Triangular Norms Trends in Logic-Studia Logica Library 2000 Kluwer Academic Publishers
40. Thomas Lukasiewicz, and Umberto Straccia Managing uncertainty and vagueness in description logics for the semantic web Journal of Web Semantics 6 2008 291 308
41. OWL 2 Web Ontology Language Document Overview, W3C, 2009. http://www.w3.org/TR/2009/REC-owl2-overview-20091027/.
42. Emil L. Post A variant of a recursively unsolvable problem Bulletin of The American Mathematical Society 52 1946 264 269
43. Klaus Schild, A correspondence theory for terminological logics: preliminary report, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, 1991, pp. 466-471.
44. Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, and Ian Horrocks Reasoning with very expressive fuzzy description logics Journal of Artificial Intelligence Research 30 2007 273 320
45. Giorgos Stoilos, Umberto Straccia, Giorgos Stamou, and Jeff Z. Pan General concept inclusions in fuzzy description logics Proceedings of the 17th Eureopean Conference on Artificial Intelligence (ECAI-06) 2006 IOS Press 457 461
46. Umberto Straccia Reasoning within fuzzy description logics Journal of Artificial Intelligence Research 14 2001 137 166
47. Umberto Straccia Transforming fuzzy description logics into classical description logics Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04), Lecture Notes in Computer Science 2004 Springer Verlag Lisbon, Portugal 385 399 (Number 3229)
48. Umberto Straccia Description logics with fuzzy concrete domains Fahiem Bachus, Tommi Jaakkola, 21st Conference on Uncertainty in Artificial Intelligence (UAI-05) 2005 AUAI Press Edinburgh, Scotland 559 567
49. Umberto Straccia Description logics over lattices International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14 1 2006 1 16
50. Umberto Straccia Multi-criteria decision making in fuzzy description logics: a first step 13th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems-KES-09,Lecture Notes in Artificial Intelligence vol. 5711 2009 Springer 79 87
51. Umberto Straccia Towards spatial reasoning in fuzzy description logics 2009 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE-09) 2009 IEEE Computer Society 512 517
52. Umberto Straccia, Fernando Bobillo, and Mixed integer programming general concept inclusions and fuzzy description logics Mathware & Soft Computing 14 3 2007 247 259