Joining Gödel and zadeh fuzzy logics in fuzzy description logics

International Journal of Uncertainty, Fuzziness and Knowldege-Based Systems

Volumn 20, Issue 4, 2012, Pages 475-508

  Bobillo, Fernando ^a   Delgado, Miguel ^b   GÓmez Romero, Juan ^c   Straccia, Umberto ^d  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF GRANADA   (Spain)

^c UNIVERSIDAD CARLOS III DE MADRID   (Spain)

^d ISTI CNR   (Italy)

Author keywords

Fuzzy description logics; fuzzy ontologies; logic for the semantic web

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; LINGUISTICS; MATHEMATICAL OPERATORS; ONTOLOGY; SEMANTIC WEB;

FUZZY DESCRIPTION LOGIC; FUZZY EXTENSION; FUZZY ONTOLOGY; FUZZY-LOGIC; IMPRECISE INFORMATION; KNOWLEDGE REPRESENTATION FORMALISM; LOGIC FOR THE SEMANTIC WEBS; LOGICAL PROPERTIES; ONTOLOGY'S; ONTOLOGY-BASED;

FUZZY LOGIC;

EID: 84864559899     PISSN: 02184885     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218488512500249     Document Type: Article

References (56)

1. T. Berners-Lee, J. Hendler and O. Lassila, The semantic web, Scientific American 284(5) (2001) 34-43.
2. T. R. Gruber, A translation approach to portable ontologies, Knowledge Acquisition 5(2) (1993) 199-220.
3. B. Cuenca-Grau, I. Horrocks, B. Motik, B. Parsia, P. F. Patel-Schneider and U. Sattler, OWL 2: The next step for OWL, Journal of Web Semantics 6(4) (2008) 309-322.
4. F. Baader, D. Calvanese, D. McGuinness, D. Nardi and P. F. Patel-Schneider, The Description Logic Handbook: Theory, Implementation, and Applications (Cambridge University Press, 2003).
5. F. Baader, I. Horrocks and U. Sattler, Description logics as ontology languages for the semantic web, in Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, Lecture Notes in Artificial Intelligence 2605 (Springer-Verlag, 2005), 228-248.
6. I. Horrocks, O. Kutz and U. Sattler, The even more irresistible SROIQ, in Proc. 10th Int. Conf. Knowledge Representation and Reasoning (KR 2006), 2006, pp. 452-457.
7. E. Sanchez (ed.), Fuzzy Logic and the Semantic Web, Capturing Intelligence 1 (Elsevier Science, 2006).
8. F. Bobillo, M. Delgado, J. Gómez-Romero and E. López, A semantic fuzzy expert system for a fuzzy balanced scorecard, Expert Systems with Applications 36(1) (2009) 423-433.
9. T. Lukasiewicz and U. Straccia, Managing uncertainty and vagueness in Description Logics for the semantic web, J. Web Semantics 6(4) (2008) 291-308.
10. S. Calegari and E. Sanchez, Object-fuzzy concept network: An enrichment of ontologies in semantic information retrieval, J. Am. Soc. Information Science and Technology 59(13) (2008) 2171-2185.
11. R. Knappe, H. Bulskov and T. Andreasen, Perspectives on ontology-based querying, Int. J. Intelligent Systems 22(7) (2007) 739-761.
12. N. Simou, T. Athanasiadis, G. Stoilos and S. Kollias, Image indexing and retrieval using expressive fuzzy Description Logics, Signal, Image and Video Processing 2(4) (2008) 321-335.
13. S. Dasiopoulou, I. Kompatsiaris and M. G. Strintzis, Applying fuzzy DLs in the extraction of image semantics, J. Data Semantics XIV (2009) 105-132.
14. S. Dasiopoulou, I. Kompatsiaris and M. G. Strintzis, Investigating fuzzy DLs-based reasoning in semantic image analysis, Multimedia Tools and Applications 46(2) (2010) 331-370.
15. C. Hudelot, J. Atif and I. Bloch, Fuzzy spatial relation ontology for image interpretation, Fuzzy Sets and Systems 159(15) (2008) 1929-1951.
16. P. C. G. Costa, K. B. Laskey and T. Lukasiewicz, Uncertainty representation and reasoning in the semantic web, in Semantic Web Engineering in the Knowledge Society (2008).
17. T. T. Quan, S. C. Hui, A. C. M. Fong and T. H. Cao, Automatic fuzzy ontology generation for semantic web, IEEE Trans. Knowledge and Data Engineering 18(6) (2006) 842-856.
18. S. Calegari and F. Farina, Fuzzy ontologies and scale-free networks analysis, Int. J. Computer Science and Applications 4(2) (2007) 125-144.
19. C. S. Lee, Z. W. Jian and L. K. Huang, A fuzzy ontology and its application to news summarization, IEEE Trans. Systems, Man and Cybernetics Part B 35(5) (2005) 859-880.
20. T. T. Quan, S. C. Hui and A. C. M. Fong, Automatic fuzzy ontology generation for semantic help-desk support, IEEE Trans. Industrial Informatics 2(3) (2006) 155-164.
21. P. Tzouveli, N. Simou, G. Stamou and S. Kollias, Semantic classification of Byzantine icons, IEEE Intelligent Systems 24(2) (2009) 35-43.
22. P. S. Mostert and A. L. Shields, On the structure of semigroups on a compact manifold with boundary, Annals of Mathematics 65(1) (1957) 117-143.
23. F. Bobillo, M. Delgado and J. Gomez-Romero, Crisp representations and reasoning for fuzzy ontologies, Int. J. Uncertainty, Fuzziness and Knowledge-Based Systems 17(4) (2009) 500-530.
24. F. Bobillo, M. Delgado and J. Gomez-Romero, DeLorean: A reasoner for fuzzy OWL 2, Expert Systems with Applications 39(1) (2012) 258-272.
25. F. Bobillo and U. Straccia, Fuzzy Ontology Representation using OWL 2, Int. J. Approximate Reasoning 52(7) (2012) 1073-1094.
26. A. García-Cerdana, E. Armengol and F. Esteva, Fuzzy Description Logics and t-norm based fuzzy logics, Int. J. Approximate Reasoning 51(6) (2010) 632-655.
27. G. Mayor and J. Torrens, On a class of operators for expert systems, Int. J. Intelligent Systems 8(7) (1993) 771-778.
28. M. Mas, M. Monserrat and J. Torrens, S-implications and R-implications on a finite chain, Kybernetika 40(1) (2004) 3-20.
29. F. Baader and R. Penaloza, GCIs make reasoning in fuzzy DL with the product t-norm undecidable, in Proc. 24th Int. Workshop on Description Logics (DL 2011), CEUR Workshop Proceedings 745 (2011).
30. F. Baader and R. Penaloza, On the undecidability of fuzzy Description Logics with GCIs and product t-norm, in Proc. 8th Int. Symp. Frontiers of Combining Systems (FroCoS 2011), Lecture Notes in Computer Science 6989 (Springer, 2011), pp. 55-70.
31. M. Cerami and U. Straccia, On the undecidability of fuzzy Description Logics with GCIs with Lukasiewicz t-norm, Technical report, Computing Research Repository, arXiv: 1107.4212v3 (2011).
32. S. Borgwardt and R. Penaloza, Undecidability of fuzzy Description Logics, in Proc. 13th Int. Conf. Principles of Knowledge Representation and Reasoning (KR 2012) (AAAI Press, 2012).
33. U. Straccia, Description Logics over lattices, Int. J. Uncertainty, Fuzziness and Knowledge-Based Systems 14(1) (2006) 1-16.
34. F. Bobillo and U. Straccia, fuzzyDL: An expressive fuzzy Description Logic reasoner, in Proc. 17th IEEE Int. Conf. Fuzzy Systems (FUZZ-IEEE 2008), 2008, pp. 923-930.
35. F. Bobillo, M. Delgado, J. Gomez-Romero and U. Straccia, Fuzzy Description Logics under Godel semantics, Int. J. Approximate Reasoning 50(3) (2009) 494-514.
36. F. Bobillo and U. Straccia, Reasoning with the finitely many-valued Lukasiewicz fuzzy Description Logic SROIQ, Information Sciences 181(4) (2011) 758-778.
37. L. A. Zadeh, Fuzzy sets, Information and Control 8 (1965) 338-353.
38. S. Calegari and D. Ciucci, Fuzzy ontology and fuzzy-OWL in the KAON project, in Proc. 16th IEEE Int. Conf. Fuzzy Systems (FUZZ-IEEE 2007), 2007, pp. 1415-1420.
39. P. Hajek, Making fuzzy Description Logic more general, Fuzzy Sets and Systems 154(1) (2005) 1-15.
40. U. Straccia, Reasoning within fuzzy Description Logics, J. Artificial Intelligence Research 14 (2001) 137-166.
41. U. Straccia, Transforming fuzzy Description Logics into classical description logics, in Proc. 9th European Conf. Logics in Artificial Intelligence (JELIA 2004), Lecture Notes in Computer Science 3229 (Springer-Verlag, 2004), pp. 385-399.
42. J. Yen, Generalizing term subsumption languages to fuzzy logic, in Proc. 12th Int. Joint Conf. Artificial Intelligence (IJCAI 1991), 1991, pp. 472-477.
43. U. Straccia, Description Logics with fuzzy concrete domains, in Proc. 21st Conf. Uncertainty in Artificial Intelligence (UAI-05) (2005).
44. U. Straccia and F. Bobillo, Mixed integer programming, general concept inclusions and fuzzy Description Logics, Mathware & Soft Computing 14(3) (2007) 247-259.
45. H. Habiballa, Resolution strategies for fuzzy Description Logic, in Proc. 5th Conf. European Society for Fuzzy Logic and Technology (EUSFLAT 2007), Vol. 2, 2007, pp. 27-36.
46. S. Konstantopoulos and G. Apostolikas, Fuzzy-DL reasoning over unknown fuzzy degrees, in Proc. 3rd Int. Workshop Semantic Web and Web Semantics (SWWS 07), Part II, Lecture Notes in Computer Science 4806 (Springer-Verlag, 2007), pp. 1312-1318.
47. F. Bobillo and U. Straccia, Fuzzy Description Logics with general t-norms and datatypes, Fuzzy Sets and Systems 160(23) (2009) 3382-3402.
48. U. Straccia, A fuzzy Description Logic for the semantic web, in E. Sanchez (ed.), Fuzzy Logic and the Semantic Web, Capturing Intelligence 1 (Elsevier Science, 2006), pp. 73-90.
49. G. Stoilos and G. Stamou, Extending fuzzy Description Logics for the semantic web, in Proc. 3rd Int. Workshop OWL, Experiences and Directions (OWLED 2007), CEUR Workshop Proceedings 258 (2007).
50. Y. Lv, B. Xu, J. J. Lu, D. Kang and P. Wang, A family of extended fuzzy Description Logics, in Proc. 29th Annual Int. Computer Software and Applications Conference (COMPSAC 2005), Vol. 1, 2005, pp. 221-226.
51. Y. Lv, B. Xu, J. J. Lu and D. Kang, Reasoning technique for extended fuzzy ALCQ, in Proc. Int. Conf. Computational Science and its Applications (ICCSA 2006), Part II, Lecture Notes in Computer Science 3981 (Springer-Verlag, 2006), pp. 1179-1188.
52. D. Kang, J. J. Lu, B. Xu, Y. Lv and Y. He, Two reasoning methods for extended fuzzy ALCH, in Proc. OTM Conferences 2005, Part II, Lecture Notes in Computer Science 3761 (Springer-Verlag, 2005), pp. 1588-1595.
53. D. Dubois, J. Mengin and H. Prade, Possibilistic uncertainty and fuzzy features in Description Logic. A preliminary discussion, in Fuzzy Logic and the Semantic Web, Capturing Intelligence 1 (Elsevier Science, 2006), pp. 101-113.
54. Y. Jiang, Y. Tang, J. Wang, P. Deng and S. Tang, Expressive fuzzy Description Logics over lattices, Knowledge-Based Systems 23(2) (2010) 150-161.
55. M. Cerami, A. García-Cerdaña and F. Esteva, From classical Description Logic to n-graded fuzzy Description Logic, in Proc. 19th IEEE Int. Conf. Fuzzy Systems (FUZZ-IEEE 2010), 2010, pp. 1506-1513.
56. F. Bobillo and U. Straccia, Finite fuzzy description logics: A crisp representation for finite fuzzy ALCH, in Proc. 6th Int. Workshop Uncertainty Reasoning for the Semantic Web (URSW 2010), CEUR Workshop Proceedings 654, 2010, pp. 61-72.