Fuzzy description logics under Gödel semantics

International Journal of Approximate Reasoning

Volumn 50, Issue 3, 2009, Pages 494-514

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

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF GRANADA   (Spain)

^c ISTI CNR   (Italy)

Author keywords

Fuzzy description logics; Fuzzy logics; Fuzzy ontologies

Indexed keywords

COMPUTABILITY AND DECIDABILITY; DATA DESCRIPTION; FUZZY SETS; INFORMATION THEORY; ONTOLOGY; RECURSIVE FUNCTIONS; SEMANTICS;

FUZZY DESCRIPTION LOGICS; FUZZY EXTENSIONS; FUZZY LOGICS; FUZZY ONTOLOGIES; FUZZY OPERATORS; LOGICAL PROPERTIES; THEORETICAL BASIS;

FUZZY LOGIC;

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

References (58)

1. Berners-Lee T., Hendler J., and Lassila O. The semantic web. Scientific American 284 5 (2001) 34-43
2. Gruber T.R. A translation approach to portable ontologies. Knowledge Acquisition 5 2 (1993) 199-220
3. W3C, OWL Web Ontology Language Overview, 2004 [online]. Available: .
4. Bernardo Cuenca-Grau, Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, Ulrike Sattler, Next steps for OWL, in: Bernardo Cuenca-Grau, Pascal Hitzler, Conor Shankey, Evan Wallace (Eds.), Proceedings of the 2nd International Workshop on OWL: Experiences and Directions (OWLED 2006), CEUR Workshop Proceedings, vol. 216, November 2006.
5. Giorgos Stoilos, Giorgos Stamou, Rob Searer, Ian Horrocks, Jeff Z. Pan, Alex Polleres, Holger Lausen, Mustafa Jarrar, Carlos F. Enguix, Holger Wache, York Sure, Analysis of requirements for further language extensions, Technical report, KWEB EU-IST-2004-507482, Knowledge Web, 2007.
6. Peter Patel-Schneider, Ian Horrocks, OWL 1.1 Web Ontology Language Overview, 2006. Retrieved October 1st, 2007, from .
7. Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P.F. The Description Logic Handbook: Theory, Implementation, and Applications (2003), Cambridge University Press
8. Franz Baader, Ian Horrocks, Ulrike 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.
9. Horrocks I., and Patel-Schneider P.F. Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics 1 4 (2004) 345-357
10. In: Sanchez E. (Ed). Fuzzy Logic and the Semantic Web. Capturing Intelligence vol. 1 (2006), Elsevier Science
11. Thomas Lukasiewicz, Umberto Straccia, Managing uncertainty and vagueness in description logics for the semantic web, Journal of Web Semantics, in press.
12. Lee C.-S., Jian Z.-W., and Huang L.-K. A fuzzy ontology and its application to news summarization. IEEE Transactions on Systems, Man and Cybernetics Part B 35 5 (2005) 859-880
13. Quan T.T., Hui S.C., and Fong A.C.M. Automatic fuzzy ontology generation for semantic help-desk support. IEEE Transactions on Industrial Informatics 2 3 (2006) 155-164
14. Knappe R., Bulskov H., and Andreasen T. Perspectives on ontology-based querying. International Journal of Intelligent Systems 22 7 (2007) 739-761
15. Calegari S., and Farina F. Fuzzy ontologies and scale-free networks analysis. International Journal of Computer Science and Applications IV II (2007) 125-144
16. Hudelot C., Atif J., and Bloch I. Fuzzy spatial relation ontology for image interpretation. Fuzzy Sets and Systems 159 15 (2008) 1929-1951
17. Quan T.T., Hui S.C., Fong A.C.M., and Cao T.H. Automatic fuzzy ontology generation for semantic web. IEEE Transactions on Knowledge and Data Engineering 18 6 (2006) 842-856
18. Paulo C.G. Costa, Kathryn B. Laskey, Thomas Lukasiewicz, Semantic Web Engineering in the Knowledge Society, Chapter Uncertainty Representation and Reasoning in the Semantic Web, Idea Group Inc., 2008.
19. Giorgos Stoilos, Giorgos Stamou, Jeff Z. Pan, Handling imprecise knowledge with fuzzy description logic, in: Proceedings of the 2006 International Workshop on Description Logics (DL2006), June 2006, pp. 119-126.
20. Fernando Bobillo, Miguel Delgado, Juan Gómez-Romero, A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions, in: Paulo C.G. da Costa, Kathryn B. Laskey, Kenneth J. Laskey, Francis Fung, Michael Pool (Eds.), Proceedings of the 2nd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006), CEUR Workshop Proceedings, vol. 218, November 2006.
21. Ian Horrocks, Oliver Kutz, Ulrike Sattler, The even more irresistible SROIQ, in: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR-2006), June 2006, pp. 452-457.
22. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer
23. Klir G.J., and Yuan B. Fuzzy Sets and Fuzzy Logic: Theory and Applications (1995), Prentice-Hall
24. Schmidt-Schauß M., and Smolka G. Attributive concept descriptions with complements. Artificial Intelligence 48 1 (1991) 1-26
25. Schaerf A. Reasoning with individuals in concept languages. Data & Knowledge Engineering 13 2 (1994) 141-176
26. Zadeh L.A. Fuzzy sets. Information and Control 8 (1965) 338-353
27. Umberto Straccia, Fuzzy Logic and the Semantic Web, Capturing Intelligence, Chapter A Fuzzy Description Logic for the Semantic Web, vol. 1, Elsevier Science, 2006, pp. 73-90.
28. Giorgos Stoilos, Giorgos Stamou, Extending fuzzy description logics for the semantic web, in: Proceedings of the 3rd International Workshop on OWL: Experiences and Directions (OWLED 2007), June 2007.
29. Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Peng Wang, A family of extended fuzzy description logics, in: Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), vol. 1, IEEE Computer Society, July 2005, pp. 221-226.
30. Umberto Straccia, Description logics with fuzzy concrete domains, in: Fahiem Bachus, Tommi Jaakkola (Eds.), Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI-05), AUAI Press, July 2005.
31. Steffen Hölldobler, Hans-Peter Störr, Dinh-Khang Tran, A fuzzy description logic with hedges as concept modifiers, in: Nguyen Hoang Phuong, Hung T. Nguyen, Nguyen Cat Ho, Pratit Santiprabho (Eds.), Proceedings of the Joint Third International Conference on Intelligent Technologies and Third Vietnam-Japan Symposium on Fuzzy Systems and Applications (InTech/VJFuzzy'2002), Science and Technics Publishing House, December 2002, pp. 25-34.
32. Silvia Calegari, Davide Ciucci, Fuzzy ontology, fuzzy description logics and fuzzy-OWL, in: Proceedings of the International Workshop on Fuzzy Logic and Applications (WILF 2007), Lecture Notes in Computer Science, vol. 4578, Springer-Verlag, July 2007.
33. Silvia Calegari, Davide Ciucci, Fuzzy ontology and fuzzy-OWL in the KAON project, in: Proceedings of the 16th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2007), July 2007, pp. 1415-1420.
34. Stoilos G., Stamou G., Pan J.Z., Tzouvaras V., and Horrocks I. Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research 30 8 (2007) 273-320
35. Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14 (2001) 137-166
36. Hájek P. Making fuzzy description logic more general. Fuzzy Sets and Systems 154 1 (2005) 1-15
37. Umberto Straccia, A fuzzy description logic, in: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98), July 1998, pp. 594-599.
38. Umberto Straccia, Transforming fuzzy description logics into classical description logics, in: Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04), Lecture Notes in Computer Science, vol. 3229, Springer-Verlag, September 2004, pp. 385-399.
39. Fernando Bobillo, Miguel Delgado, Juan Gómez-Romero, Optimizing the crisp representation of the fuzzy description logic SROIQ, in: Fernando Bobillo, Paulo C.G. da Costa, Claudia d'Amato, Nicola Fanizzi, Francis Fung, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, Yun Peng, Michael Pool, Pavel Smrž, Peter Vojtáš (Eds.), Proceedings of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007), CEUR Workshop Proceedings, November 2007.
40. John Yen, Generalizing term subsumption languages to fuzzy logic, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), August 1991, pp. 472-477.
41. Straccia U., and Bobillo F. Mixed integer programming, general concept inclusions and fuzzy description logics. Mathware & Soft Computing 14 3 (2007) 247-259
42. Umberto Straccia, Reasoning in Ł-SHIF: an expressive fuzzy description logic under Łukasiewicz semantics, Technical Report ISTI-018/2007, ISTI-CNR, 2007.
43. Fernando Bobillo, Umberto 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), June 2008, pp. 1008-1015.
44. Fernando Bobillo, Umberto Straccia, fuzzyDL: An expressive fuzzy description logic reasoner, in: Proceedings of the 17th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2008), June 2008, pp. 923-930.
45. Hashim Habiballa, Resolution strategies for fuzzy description logic, in: Martin Štěpnička, Vilém Novák, Ulrich Bodenhofer (Eds.), Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2007), vol. 2, September 2007, pp. 27-36.
46. Stasinos Konstantopoulos, Georgios Apostolikas, Fuzzy-DL reasoning over unknown fuzzy degrees, in: Proceedings of the 3rd International Workshop on Semantic Web and Web Semantics (SWWS 07), Lecture Notes in Computer Science, vol. 4806, Springer-Verlag, November 2007, pp. 1312-1318.
47. Fernando Bobillo, Umberto Straccia, A fuzzy description logic with product t-norm, in: Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2007), IEEE Press, July 2007, pp. 652-657.
48. Christopher B. Tresp, Ralf Molitor, A description logic for vague knowledge, in: Proceedings of the 7th European Conference of Artificial Intelligence (ECAI'98), August 1998.
49. FH with hedge algebras as concept modifiers. Journal of Advanced Computational Intelligence 7 3 (2003) 294-305
50. FH, in: Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2004), July 2004, pp. 243-250.
51. FLH, in: Proceedings of the International Workshop on Description Logics (DL-05), July 2005.
52. FL, in: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), July 2006, pp. 2096-2103.
53. Shailendra Singh, Lipika Dey, Muhammad Abulaish, A framework for extending fuzzy description logic to ontology based document processing, in: Jesús Favela, Ernestina Menasalvas Ruiz, Edgar Chávez (Eds.), Proceedings of the 2nd International Atlantic Web Intelligence Conference (AWIC 2004), Lecture Notes in Computer Science, Springer-Verlag, vol. 3034, May 2004, pp. 95-104.
54. Straccia U. Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14 1 (2006) 1-16
55. Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Reasoning technique for extended fuzzy ALCQ, in: Proceedings of the International Conference on Computational Science and Its Applications (ICCSA 2006) (Part II), Lecture Notes in Computer Science, vol. 3981, Springer-Verlag, May 2006, pp. 1179-1188.
56. Dazhou Kang, Jianjiang Lu, Baowen Xu, Yanhui Li, Yanxiang He, Two reasoning methods for extended fuzzy ALCH, in: Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra (Eds.), Proceedings of OTM Conferences 2005 (Part II), Lecture Notes in Computer Science, vol. 3761, Springer-Verlag, November 2005, pp. 1588-1595.
57. Didier Dubois, Jérme Mengin, Henri Prade, Fuzzy Logic and the Semantic Web, Capturing Intelligence, Chapter Possibilistic Uncertainty and Fuzzy Features in Description Logic, A Preliminary Discussion, vol. 1, Elsevier Science, 2006, pp. 101-113.
58. Fernando Bobillo, Umberto Straccia, Towards a crisp representation of fuzzy description logics under Łukasiewicz semantics, in: A. An (Ed.), Proceedings of the 17th International Symposium on Methodologies for Intelligent Systems (ISMIS 2008), Lecture Notes in Computer Science, vol. 4994, Springer-Verlag, May 2008, pp. 309-318.