Fuzzy Description Logics and t-norm based fuzzy logics

International Journal of Approximate Reasoning

Volumn 51, Issue 6, 2010, Pages 632-655

  García Cerdaña, Àngel ^a   Armengol, Eva ^a   Esteva, Francesc ^a  

^a CSIC   (Spain)

Author keywords

Description Logics; Fuzzy Description Logics; Mathematical Fuzzy Logic; Propositional and predicate t norm based fuzzy logics; Truth constants

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; SEMANTICS;

DESCRIPTION LANGUAGES; DESCRIPTION LOGIC; FUZZY DESCRIPTION LOGIC; KNOWLEDGE REPRESENTATION LANGUAGE; MATHEMATICAL FUZZY LOGIC; NATURAL EXTENSION; REAL APPLICATIONS; TRUTH CONSTANTS;

FUZZY LOGIC;

EID: 78049255203     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2010.01.001     Document Type: Article

References (53)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider (Eds.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, New York, NY, USA, 2003.
2. L.A. Zadeh, Fuzzy sets, Information and Control 8 (1965) 338-353.
3. L.A. Zadeh, Fuzzy logic and approximate reasoning, Synthese 30 (1975) 407-428.
4. P. Hájek, Metamathematics of fuzzy logic, Trends in Logic, vol. 4, Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 1998.
5. R. Cignoli, F. Esteva, L. Godo, A. Torrens, Basic fuzzy logic is the logic of continuous t-norms and their residua, Soft Computing 4 (2) (2000) 106-112.
6. L. Godo, F. Esteva, Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems 124 (3) (2001) 271-288. (Pubitemid 32951435)
7. S. Jenei, F. Montagna, A proof of standard completeness for Esteva and Godo's logic MTL, Studia Logica 70 (2) (2002) 183-192.
8. J. Yen, Generalizing term subsumption languages to fuzzy logic, in: Proc. of the 12th IJCAI, Sidney, Australia, 1991, pp. 472-477.
9. C.B. Tresp, R. Molitor, A Description Logic for Vague Knowledge, Tech. Rep. RWTH-LTCS Report 98-01, Aachen University of Technology, 1998.
10. U. Straccia, Reasoning within fuzzy description logics, Journal of Artificial Intelligence Research 14 (2001) 137-166.
11. P. Hájek, Making fuzzy description logic more general, Fuzzy Sets and Systems 154 (1) (2005) 1-15. (Pubitemid 40710184)
12. U. Straccia, A fuzzy description logic for the semantic web, in: E. Sanchez (Ed.), Fuzzy Logic and the Semantic Web, Capturing Intelligence, Elsevier, 2006, pp. 73-90. Chapter 4.
13. S. Aguzzoli, B. Gerla, V. Marra, Algebras of fuzzy sets in logics based on continuous triangular norms, in: Proc. of the ECSQARU 2009, Lecture Notes in Computer Science, Springer, Berlin, 2009, pp. 875-886.
14. F. Bobillo, M. Delgado, J. Gomez-Romero, A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions, in: Proc. of the 2nd International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 06), 2006.
15. D. Sanchez, A. Tettamanzi, Generalizing quantification in fuzzy description logics, in: B. Reusch (Ed.), Computational Intelligence, Theory and Applications. Proceedings 8th Fuzzy Days in Dortmund, Advances in Soft Computing Series, Springer, 2004.
16. D. Sanchez, A. Tettamanzi, Fuzzy quantification in fuzzy description logics, in: E. Sanchez (Ed.), Fuzzy Logic and the Semantic Web (Capturing Intelligence), Elsevier, 2006, pp. 135-159. Chapter 8.
17. P. Hájek, What does mathematical fuzzy logic offer to description logic?, in: E. Sanchez (Ed.), Fuzzy Logic and the Semantic Web, Capturing Intelligence, Elsevier, 2006, pp. 91-100. Chapter 5.
18. G. Stoilos, U. Straccia, G. Stamou, J. Pan, General concept inclusions in fuzzy description logics, in: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI-06), IOS Press, 2006, pp. 457-461.
19. U. Straccia, F. Bobillo, Mixed integer programming, general concept inclusions and fuzzy description logics, Mathware and Soft Computing 14 (3) (2007) 247-259.
20. F. Bobillo, M. Delgado, J. Gomez-Romero, U. Straccia, Fuzzy description logics under Godel semantics, International Journal of Approximate Reasoning 50 (3) (2009) 494-514.
21. T. Lukasiewicz, U. Straccia, Managing uncertainty and vagueness in Description Logics for the Semantic Web, Journal of Web Semantics 6 (4) (2008) 291-308.
22. T. Lukasiewicz, U. Straccia, Description logic programs under probabilistic uncertainty and fuzzy vagueness, International Journal of Approximate Reasoning 50 (6) (2009) 837-853.
23. J. Pavelka, On fuzzy logic. I, II, III, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 25 (1) (1979).
24. F. Esteva, L. Godo, F. Montagna, Axiomatization of any residuated fuzzy logic defined by a continuous t-norm, in: Fuzzy Sets and Systems IFSA 2003. 10th International Fuzzy Systems Association World Congress, Lecture Notes in Artificial Intelligence, vol. 2715, Springer-Verlag, 2003, pp. 172-179. (Pubitemid 36892394)
25. P. Savický, R. Cignoli, F. Esteva, L. Godo, C. Noguera, On product logic with truth-constants, Journal of Logic and Computation 16 (2) (2006) 205-225.
26. F. Esteva, J. Gispert, L. Godo, C. Noguera, Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, Fuzzy Sets and Systems 158 (6) (2007) 597-618. (Pubitemid 46187285)
27. 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)
28. P. Cintula, From fuzzy logic to fuzzy mathematics, Ph.D. thesis, Czech Technical University in Prague (2004).
29. P. Hájek, P. Cintula, On theories and models in fuzzy predicate logics, Journal of Symbolic Logic 71 (3) (2006) 863-880. (Pubitemid 44367263)
30. P. Cintula, Weakly implicative (fuzzy) logics. I. Basic properties, Archive for Mathematical Logic 45 (6) (2006) 673-704. (Pubitemid 44167652)
31. P. Cintula, P. Hájek, Triangular norm based predicate fuzzy logics, Fuzzy Sets and Systems 161 (2010) 311-346, doi:10.1016/j.fss.2009.09. 006.
32. P. Mostert, A. Shields, On the structure of semigroups on a compact manyfold with boundary, Annals of Mathematics 65 (1957) 117-143.
33. C. Ling, Representation of associative functions, Publicationes Mathematicae Debrecen 12 (1965) 189-212.
34. G. Mayor, J. Torrens, On a class of operators for expert systems, International Journal of Intelligent Systems 8 (1993) 771-778.
35. G. Mayor, J. Torrens, Triangular norms in discrete settings, in: E. Klement, R. Messiar (Eds.), Logical, Algebraic, Analytic, and Probabilistic Aspects of Triangular Norms, Elsevier, Amsterdam, 2005, pp. 189-230.
36. F. Esteva, L. Godo, M. Montagna, Equational characterization of the subvarieties of BL generated by t-norm algebras, Studia Logica 76 (2) (2004) 161-200.
37. P. Agliano, F. Montagna, Varieties of BL-algebras I. General properties, Journal of Pure and Applied Algebra 181 (2-3) (2003) 105-129.
38. A. Monteiro, Sur les algebres de Heyting simetriques, Portugaliae Mathematica 39 (1980) 1-237.
39. F. Esteva, L. Godo, P. Hájek, M. Navara, Residuated fuzzy logics with an involutive negation, Archive for Mathematical Logic 39 (2) (2000) 103-124.
40. E. Trillas, L. Valverde, On some functionally expressible implications for fuzzy set theory, in: Proceedings of the Third International Seminar on Fuzzy Set Theory, Johannes Kepler University, Linz, 1981, pp. 173-190.
41. F. Esteva, L. Godo, C. Noguera, On completeness results for predicate Łukasiewicz, product, Godel and nilpotent minimum logics expanded with truthconstants, Mathware and Soft Computing 14 (3) (2007) 223-246.
42. F. Esteva, L. Godo, C. Noguera, First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties, Annals of Pure and Applied Logic 161 (2) (2009) 185-202.
43. F. Baader, W. Nutt, Basic description logics, in: F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider (Eds.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, 2003, pp. 47-100.
44. U. Sattler, D. Calvanese, R. Molitor, Relationship with other formalisms, in: The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, 2003, pp. 137-177.
45. M. Baaz, C.G. Fermuller, R. Zach, Systematic construction of natural deduction systems for many-valued logics, in: Proceedings of ISMVL, 1993, pp. 208-213. (Pubitemid 23697808)
46. M. Baaz, C.G. Fermuller, G. Salzer, R. Zach, MUltlog 1.0: towards an expert system for many-valued logics, in: CADE-13: Proceedings of the 13th International Conference on Automated Deduction, Springer-Verlag, London, UK, 1996, pp. 226-230. (Pubitemid 126101546)
47. F. Bobillo, U. Straccia, On qualified cardinality restrictions in fuzzy description logics under Łukasiewicz semantics, in: Proceedings of the IPMU 2008, Málaga, 2008, pp. 1008-1015.
48. F. Bobillo, F. Bou, U. Straccia, On the finite model property in fuzzy description logics, submitted for publication.
49. B. De Baets, F. Esteva, J. Fodor, L. Godo, Systems of ordinal fuzzy logic with application to preference modelling, Fuzzy Sets and Systems 124 (2001) 353-359. (Pubitemid 32951442)
50. F. Bou, F. Esteva, L. Godo, Exploring a syntactic notion of modal many-valued logics, Mathware and Soft Computing 15 (2008) 175-188.
51. X. Caicedo, R.O. Rodriguez, Standard Godel modal logics, Studia Logica, in press.
52. F. Bou, F. Esteva, L. Godo, R. Rodriguez, On the minimum many-valued modal logic over a finite residuated lattice, Journal of Logic and Computation, doi:10.1093/logcom/exp062, in press.
53. G. Metcalfe, N. Olivetti, Proof systems for a Godel modal logic, in: M. Giese, A. Waaler (Eds.), Proceedings of TABLEAUX 2009, LNAI, vol. 5607, Springer, 2009.