Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ

Information Sciences

Volumn 181, Issue 4, 2011, Pages 758-778

  Bobillo, Fernando ^a,c   Straccia, Umberto ^b  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b ISTI CNR   (Italy)

^c NONE   (Spain)

Author keywords

Fuzzy Description Logics; Fuzzy logic; Fuzzy ontologies; Logic for the Semantic Web

Indexed keywords

FINITE SET; FUZZY DESCRIPTION LOGIC; FUZZY EXTENSION; FUZZY ONTOLOGY; FUZZY OPERATORS; FUZZY REPRESENTATIONS; LOGIC FOR THE SEMANTIC WEB; REPRESENTATION LANGUAGES; STRUCTURED KNOWLEDGE; TRUTH VALUES;

COMPUTABILITY AND DECIDABILITY; DATA DESCRIPTION; FUZZY SYSTEMS; KNOWLEDGE REPRESENTATION; MANY VALUED LOGICS; ONTOLOGY; SEMANTIC WEB; SEMANTICS;

FUZZY LOGIC;

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

References (65)

1. 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
2. F. Baader, I. Horrocks, and U. Sattler Description logics as ontology languages for the semantic web 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 2005 Springer-Verlag 228 248
3. T. Berners-Lee, J. Hendler, and O. Lassila The semantic web Scientific American 284 5 2001 34 43
4. F. Bobillo, M. Delgado, and J. Gómez-Romero A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions Uncertainty Reasoning for the Semantic Web I Lecture Notes in Computer Science vol. 5327 2008 Springer-Verlag 174 188
5. F. Bobillo, M. Delgado, and J. Gómez-Romero Crisp representations and reasoning for fuzzy ontologies International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 17 4 2009 500 530
6. F. Bobillo, M. Delgado, J. Gómez-Romero, Extending fuzzy description logics with a possibilistic layer, in: Proceedings of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007), CEUR Workshop Proceedings, vol. 327, 2007.
7. F. Bobillo, M. Delgado, and J. Gómez-Romero Optimizing the crisp representation of the fuzzy description logic SROIQ Uncertainty Reasoning for the Semantic Web I Lecture Notes in Computer Science vol. 5327 2008 Springer-Verlag 189 206
8. F. Bobillo, M. Delgado, J. Gómez-Romero, and U. Straccia Fuzzy description logics under Gödel semantics International Journal of Approximate Reasoning 50 3 2009 494 514
9. F. Bobillo, and U. Straccia A fuzzy description logic with product t-norm Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2007) 2007 IEEE Press 652 657
10. F. Bobillo, and U. Straccia Fuzzy description logics with general t-norms and datatypes Fuzzy Sets and Systems 160 23 2009 3382 3402
11. 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.
12. 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.
13. F. Bobillo, and U. Straccia Supporting fuzzy rough sets in fuzzy description logics Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009) Lecture Notes in Computer Science vol. 5590 2009 Springer-Verlag 676 687
14. F. Bobillo, and U. Straccia Towards a crisp representation of fuzzy description logics under Łukasiewicz semantics Proceedings of the 17th International Symposium on Methodologies for Intelligent Systems (ISMIS 2008) Lecture Notes in Computer Science vol. 4994 2008 Springer-Verlag 309 318
15. S. Calegari, and E. Sanchez Object-fuzzy concept network: an enrichment of ontologies in semantic information retrieval Journal of the American Society for Information Science and Technology 59 13 2008 2171 2185
16. R.L.O. Cignoli, I.M.L. D'Ottaviano, and D. Mundici Algebraic Foundations of Many-valued Reasoning 2000 Kluwer
17. P.C.G. Costa, K.B. Laskey, T. Lukasiewicz, Uncertainty representation and reasoning in the semantic web, in: J. Cardoso, M.D. Lytras (Eds.), Semantic Web Engineering in the Knowledge Society, 2008.
18. 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
19. P. Doherty, M. Grabowski, W. Łukaszewicz, and A. Szałas Towards a framework for approximate ontologies Fundamenta Informaticae 57 2-4 2003 147 165
20. D. Dubois, J. Mengin, and H. Prade Possibilistic uncertainty and fuzzy features in description logic. A preliminary discussion E. Sanchez, Fuzzy Logic and the Semantic Web Capturing Intelligence vol. 1 2006 Elsevier Science 101 113
21. N. Fanizzi, C. d'Amato, F. Esposito, T. Lukasiewicz, Representing uncertain concepts in rough description logics via contextual indiscernibility relations, in: Proceedings of the 4th ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008), CEUR Workshop Proceedings, vol. 423, 2008.
22. M. Fitting, Bilattices are nice things, in: Proceedings of the PhiLog Conference on Self-Reference, 2002.
23. M.L. Ginsberg Multi-valued logics: a uniform approach to reasoning in artificial intelligence Computational Intelligence 4 1988 265 316
24. T.R. Gruber A translation approach to portable ontologies Knowledge Acquisition 5 2 1993 199 220
25. H. Habiballa, Resolution strategies for fuzzy description logic, in: Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2007), vol. 2, 2007, pp. 27-36.
26. R. Hähnle Advanced many-valued logics second ed. D.M. Gabbay, F. Guenthner, Handbook of Philosophical Logic vol. 2 2001 Kluwer
27. P. Hájek Making fuzzy description logic more general Fuzzy Sets and Systems 154 1 2005 1 15
28. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer
29. S. Hölldobler, H.-P. Störr, D.-K. Tran, A fuzzy description logic with hedges as concept modifiers, in: 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, 2002, pp. 25-34.
30. I. Horrocks, O. Kutz, U. Sattler, The even more irresistible SROIQ, in: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR 2006), 2006, pp. 452-457.
31. I. Horrocks, and P.F. Patel-Schneider Reducing OWL entailment to description logic satisfiability Journal of Web Semantics 1 4 2004 345 357
32. C. Hudelot, J. Atif, and I. Bloch Fuzzy spatial relation ontology for image interpretation Fuzzy Sets and Systems 159 15 2008 1929 1951
33. Y. Jiang, Y. Tang, J. Wang, and S. Tang Reasoning within intuitionistic fuzzy rough description logics Information Sciences 179 14 2009 2362 2378
34. Y. Jiang, J. Wang, P. Deng, and S. Tang Reasoning within expressive fuzzy rough description logics Fuzzy Sets and Systems 160 23 2009 3403 3424
35. Y. Jiang, J. Wang, S. Tang, and B. Xiao Reasoning with rough description logics: an approximate concepts approach Information Sciences 179 5 2009 600 612
36. D. Kang, J. Lu, B. Xu, Y. Lv, and Y. He Two reasoning methods for extended fuzzy ALCH Proceedings of OTM Conferences 2005, Part II Lecture Notes in Computer Science vol. 3761 2005 Springer-Verlag pp. 1588-1595
37. R. Knappe, H. Bulskov, and T. Andreasen Perspectives on ontology-based querying International Journal of Intelligent Systems 22 7 2007 739 761
38. S. Konstantopoulos, and G. Apostolikas Fuzzy-DL reasoning over unknown fuzzy degrees Proceedings of the 3rd International Workshop on Semantic Web and Web Semantics (SWWS 07), Part II Lecture Notes in Computer Science vol. 4806 2007 Springer-Verlag 1312 1318
39. C.S. Lee, Z.W. Jian, and L.K. Huang A fuzzy ontology and its application to news summarization IEEE Transactions on Systems, Man and Cybernetics, Part B 35 5 2005 859 880
40. C.J. Liau, On rough terminological logics, in: Proceedings of the 4th International Workshop on Rough Sets, Fuzzy Sets and Machine Discovery (RSFD'96), 1996, pp. 47-54.
41. 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
42. Y. Lv, B. Xu, J. Lu, and D. Kang Reasoning technique for extended fuzzy ALCQ Proceedings of the International Conference on Computational Science and Its Applications (ICCSA 2006), Part II Lecture Notes in Computer Science vol. 3981 2006 Springer-Verlag 1179 1188
43. Y. Lv, B. Xu, J. Lu, D. Kang, P. 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, 2005, pp. 221-226.
44. 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
45. V. Novák Which logic is the real fuzzy logic? Fuzzy Sets and Systems 157 5 2006 635 641
46. T.T. Quan, S.C. Hui, and A.C.M. Fong Automatic fuzzy ontology generation for semantic help-desk support IEEE Transactions on Industrial Informatics 2 3 2006 155 164
47. T.T. Quan, S.C. Hui, A.C.M. Fong, and T.H. Cao Automatic fuzzy ontology generation for semantic web IEEE Transactions on Knowledge and Data Engineering 18 6 2006 842 856
48. A. Ragone, U. Straccia, F. Bobillo, T.D. Noia, and E.D. Sciascio Fuzzy bilateral matchmaking in e-marketplaces Proceedings of the 12th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2008), Part III Lecture Notes in Computer Science vol. 5179 2008 Springer-Verlag 293 301
49. E. Sanchez, Fuzzy Logic and the Semantic Web Capturing Intelligence vol. 1 2006 Elsevier Science
50. A. Schaerf Reasoning with individuals in concept languages Data & Knowledge Engineering 13 2 1994 141 176
51. S. Schlobach, M.C.A. Klein, L. Peelen, Description logics with approximate definitions: precise modeling of vague concepts, in: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), 2007, pp. 557-562.
52. M. Schmidt-Schauß, and G. Smolka Attributive concept descriptions with complements Artificial Intelligence 48 1 1991 1 26
53. G. Stoilos, G. Stamou, Extending fuzzy description logics for the semantic web, in: Proceedings of the 3rd International Workshop on OWL: Experiences and Directions (OWLED 2007), CEUR Workshop Proceedings, vol. 258, 2007.
54. G. Stoilos, G. Stamou, J.Z. Pan, V. Tzouvaras, and I. Horrocks Reasoning with very expressive fuzzy description logics Journal of Artificial Intelligence Research 30 8 2007 273 320
55. G. Stoilos, G. Stamou, R. Searer, I. Horrocks, J.Z. Pan, A. Polleres, H. Lausen, M. Jarrar, C.F. Enguix, H. Wache, Y. Sure, Analysis of Requirements for Further Language Extensions, Technical Report D2.5.4, Knowledge Web Technical Report, 2007.
56. U. Straccia A fuzzy description logic for the semantic web E. Sanchez, Fuzzy Logic and the Semantic Web Capturing Intelligence vol. 1 2006 Elsevier Science 73 90
57. U. Straccia Description logics over lattices International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14 1 2006 1 16
58. U. Straccia Description logics with fuzzy concrete domains Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI 2005) 2005 AUAI Press
59. U. Straccia, Reasoning in Ł-SHIF: an expressive fuzzy description logic under Łukasiewicz semantics, Technical Report ISTI-018/2007, ISTI-CNR, 2007.
60. U. Straccia Reasoning within fuzzy description logics Journal of Artificial Intelligence Research 14 2001 137 166
61. U. Straccia Transforming fuzzy description logics into classical description logics Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004) Lecture Notes in Computer Science vol. 3229 2004 Springer-Verlag 385 399
62. U. Straccia, and F. Bobillo Mixed integer programming, general concept inclusions and fuzzy description logics Mathware & Soft Computing 14 3 2007 247 259
63. W3C, OWL Web Ontology Language overview, 2004. [Online] Available: .
64. W3C OWL Working Group, OWL 2 Web Ontology Language: Document Overview, 2008. [Online] Available: .
65. J. Yen, Generalizing term subsumption languages to fuzzy logic, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), 1991, pp. 472-477.