On the failure of the finite model property in some Fuzzy Description Logics

Fuzzy Sets and Systems

Volumn 172, Issue 1, 2011, Pages 1-12

  Bobillo, Fernando ^a   Bou, Félix ^b   Straccia, Umberto ^c  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF BARCELONA   (Spain)

^c ISTI CNR   (Italy)

Author keywords

Fuzzy Description Logics; Fuzzy logic; Fuzzy ontologies; Logic for the semantic web

Indexed keywords

FINITE MODEL PROPERTY; FUZZY CASE; FUZZY DESCRIPTION LOGIC; FUZZY ONTOLOGIES; KNOWLEDGE BASIS; LOGIC FOR THE SEMANTIC WEB; SATISFIABILITY; STRUCTURED KNOWLEDGE;

DATA DESCRIPTION; FORMAL LANGUAGES; FUZZY SYSTEMS; KNOWLEDGE REPRESENTATION; ONTOLOGY; SEMANTIC WEB; SEMANTICS;

FUZZY LOGIC;

EID: 79953062724     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2011.02.012     Document Type: Article

References (25)

1. S. Aguzzoli The complexity of McNaughton functions of one variable Advances in Applied Mathematics 21 1 1998 58 77 (Pubitemid 128348572)
2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P.F. Patel-Schneider The Description Logic Handbook: Theory, Implementation, and Applications 2003 Cambridge University Press
3. F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.-J. Profitlich An empirical analysis of optimization techniques for terminological representation systems or: making KRIS get a move on Applied Artificial Intelligence 4 1994 109 132
4. F. Baader, I. Horrocks, U. Sattler, Description logics as ontology languages for the semantic web, in: D. Hutter, W. Stephan (Eds.), Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, Lecture Notes in Artificial Intelligence, vol. 2605, Springer-Verlag, 2005, pp. 228-248. (Pubitemid 350227629)
5. P. Blackburn, M. de Rijke, and Y. Venema Modal Logic 2001 Cambridge University Press
6. F. Bobillo, U. Straccia, A fuzzy description logic with product t-norm, in: Proceedings of the 16th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2007), IEEE Press, 2007, pp. 652-657.
7. F. Bobillo, and U. Straccia Fuzzy description logics with general t-norms and datatypes Fuzzy Sets and Systems 160 23 2009 3382 3402
8. F. Bobillo, U. Straccia, FuzzyDL: an expressive fuzzy description logic reasoner, in: Proceedings of the 17th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2008), IEEE Computer Society, 2008, pp. 923-930.
9. F. Bobillo, U. Straccia, On qualified cardinality restrictions in fuzzy description logics under Łukasiewicz semantics, in: Proceedings of the 12th International Conference of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2008), 2008, pp. 1008-1015.
10. B. Cuenca-Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler OWL 2: the next step for OWL Journal of Web Semantics 6 4 2008 309 322
11. . García-Cerdaña, E. Armengol, and F. Esteva Fuzzy description logics and t-norm based fuzzy logics International Journal of Approximate Reasoning 51 6 2010 632 655
12. P. Hájek Computational complexity of t-norm based propositional fuzzy logics with rational truth constants Fuzzy Sets and Systems 157 5 2006 677 682 (Pubitemid 43189827)
13. P. Hájek Making fuzzy description logic more general Fuzzy Sets and Systems 154 1 2005 1 15 (Pubitemid 40710184)
14. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer
15. P. Hájek On witnessed models in fuzzy logic Mathematical Logic Quarterly 53 1 2007 66 77
16. T. Lukasiewicz, and U. Straccia Managing uncertainty and vagueness in description logics for the semantic web Journal of Web Semantics 6 4 2008 291 308
17. B. Nebel, Reasoning and revision in hybrid representation systems, in: Lecture Notes in Artificial Intelligence, vol. 422, Springer-Verlag, 1990, pp. 228-248.
18. K. Schild, A correspondence theory for terminological logics: preliminary report, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), Morgan Kaufmann, 1991, pp. 466-471.
19. M. Schmidt-Schauß, and G. Smolka Attributive concept descriptions with complements Artificial Intelligence 48 1 1991 1 26
20. G. Stoilos, G. Stamou, A framework for reasoning with expressive continuous fuzzy description logics, in: Proceedings of the 22nd International Workshop on Description Logics (DL 2009), CEUR Workshop Proceedings, 2009.
21. U. Straccia, A fuzzy description logic for the semantic web, in: E. Sanchez (Ed.), Fuzzy Logic and the Semantic Web, Capturing Intelligence, vol. 1, Elsevier Science, 2006, pp. 73-90.
22. U. Straccia Reasoning within fuzzy description logics Journal of Artificial Intelligence Research 14 2001 137 166
23. U. Straccia, F. Bobillo, Mixed integer programming, general concept inclusions and fuzzy description logics, in: Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2007), vol. 2, 2007, pp. 213-220.
24. U. Straccia, and F. Bobillo Mixed integer programming, general concept inclusions and fuzzy description logics Mathware & Soft Computing 14 3 2007 247 259
25. L.A. Zadeh Fuzzy sets Information and Control 8 1965 338 353