Advertisement

Fuzzy Logic, Annotation Domains and Semantic Web Languages

  • Umberto Straccia
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6929)

Abstract

This talk presents a detailed, self-contained and comprehensive account of the state of the art in representing and reasoning with fuzzy knowledge in Semantic Web Languages such a RDF/RDFS, OWL 2 and RIF and discuss some implementation related issues. We further show to which extend we may generalise them to so-called annotation domains, that cover also e.g. temporal, provenance and trust extensions.

Keywords

Fuzzy Logic Semantic Web Languages RDFS OWL RIF 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abadi, D.J., Marcus, A., Madden, S., Hollenbach, K.: Sw-store: a vertically partitioned dbms for semantic web data management. VLDB J. 18(2), 385–406 (2009)CrossRefGoogle Scholar
  2. 2.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley Publ. Co., Reading (1995)MATHGoogle Scholar
  3. 3.
    Zimmermann, A.P.A., Lopes, N., Straccia, U.: A general framework for representing, reasoning and querying with annotated semantic web data. Technical report, Computing Research Repository (2011), Available as CoRR technical report, at http://arxiv.org/abs/1103.1255
  4. 4.
    Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. Journal of Artificial Intelligence Research 36, 1–69 (2009)MathSciNetMATHGoogle Scholar
  5. 5.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 364–369. Morgan-Kaufmann Publishers, Edinburgh (2005)Google Scholar
  6. 6.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  7. 7.
    Baader, F., Peñaloza, R.: Are fuzzy description logics with general concept inclusion axioms decidable? In: Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011). IEEE Press, Los Alamitos (to appear, 2011)Google Scholar
  8. 8.
    Baader, F., Peñaloza, R.: Gcis make reasoning in fuzzy dl with the product t-norm undecidable. In: Proceedings of the 24th International Workshop on Description Logics (DL 2011), CEUR Electronic Workshop Proceedings (to appear, 2011)Google Scholar
  9. 9.
    Bobillo, F., Bou, F., Straccia, U.: On the failure of the finite model property in some fuzzy description logics. Fuzzy Sets and Systems 172(1), 1–12 (2011)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Bobillo, F., Delgado, M., Gómez-Romero, J.: Delorean: A reasoner for fuzzy OWL 1.1. In: Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008), CEUR Workshop Proceedings, vol. 423 (October 2008)Google Scholar
  11. 11.
    Bobillo, F., Delgado, M., Gómez-Romero, J., Straccia, U.: Fuzzy description logics under gödel semantics. International Journal of Approximate Reasoning 50(3), 494–514 (2009)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Bobillo, F., Straccia, U.: fuzzyDL: An expressive fuzzy description logic reasoner. In: 2008 International Conference on Fuzzy Systems (FUZZ 2008), pp. 923–930. IEEE Computer Society, Los Alamitos (2008)Google Scholar
  13. 13.
    Bobillo, F., Straccia, U.: Towards a crisp representation of fuzzy description logics under Łukasiewicz semantics. In: An, A., Matwin, S., Raś, Z.W., Ślęzak, D. (eds.) Foundations of Intelligent Systems. LNCS (LNAI), vol. 4994, pp. 309–318. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  14. 14.
    Bobillo, F., Straccia, U.: Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems 160(23), 3382–3402 (2009)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Bobillo, F., Straccia, U.: Aggregations operators and fuzzy owl 2. In: 2011 International Conference on Fuzzy Systems (FUZZ 2011). IEEE Computer Society, Los Alamitos (2011)Google Scholar
  16. 16.
    Bobillo, F., Straccia, U.: Fuzzy ontology representation using owl 2. International Journal of Approximate Reasoning (2011)Google Scholar
  17. 17.
    Borgwardt, S., Peñaloza, R.: Description logics over lattices with multi-valued ontologies. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI 2011 (to appear, 2011)Google Scholar
  18. 18.
    Borgwardt, S., Peñaloza, R.: Fuzzy ontologies over lattices with t-norms. In: Proceedings of the 24th International Workshop on Description Logics (DL 2011), CEUR Electronic Workshop Proceedings (to appear, 2011)Google Scholar
  19. 19.
    Brickley, D., Guha, R.V.: RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation, W3C (2004), http://www.w3.org/TR/rdf-schema/
  20. 20.
    Buneman, P., Kostylev, E.: Annotation algebras for rdfs. In: The Second International Workshop on the role of Semantic Web in Provenance Management (SWPM 2010), CEUR Workshop Proceedings (2010)Google Scholar
  21. 21.
    Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The dl-lite family. Journal of Automated Reasoning 39(3), 385–429 (2007)MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Cerami, M., Straccia, U.: Undecidability of KB satisfiability for ł-\(\mathcal{ALC}\) with GCIs (July 2011) (Unpublished Manuscript)Google Scholar
  23. 23.
    Cuenca-Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. Journal of Web Semantics 6(4), 309–322 (2008)CrossRefGoogle Scholar
  24. 24.
    Damásio, C.V., Medina, J., Ojeda Aciego, M.: A tabulation proof procedure for residuated logic programming. In: Proceedings of the 6th European Conference on Artificial Intelligence, ECAI 2004 (2004)Google Scholar
  25. 25.
    Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Computing Surveys 33(3), 374–425 (2001)CrossRefGoogle Scholar
  26. 26.
    Description Logics Web Site, http://dl.kr.org
  27. 27.
    Dubois, D., Prade, H.: Can we enforce full compositionality in uncertainty calculi? In: Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI 1994), Seattle, Washington, pp. 149–154 (1994)Google Scholar
  28. 28.
    Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: A clarification. Annals of Mathematics and Artificial Intelligence 32(1-4), 35–66 (2001)MathSciNetCrossRefMATHGoogle Scholar
  29. 29.
    Elkan, C.: The paradoxical success of fuzzy logic. In: Proc. of the 11th Nat. Conf. on Artificial Intelligence (AAAI 1993), pp. 698–703 (1993)Google Scholar
  30. 30.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the Twelfth International Conference on World Wide Web, pp. 48–57. ACM Press, New York (2003)CrossRefGoogle Scholar
  31. 31.
    Guarino, N., Poli, R.: Formal ontology in conceptual analysis and knowledge representation. International Journal of Human and Computer Studies 43(5/6), 625–640 (1995)CrossRefGoogle Scholar
  32. 32.
    Haarslev, V., Pai, H.-I., Shiri, N.: Optimizing tableau reasoning in alc extended with uncertainty. In: Proceedings of the 2007 International Workshop on Description Logics, DL 2007 (2007)Google Scholar
  33. 33.
    Habiballa, H.: 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, pp. 27–36 (2007)Google Scholar
  34. 34.
    Hähnle, R.: Many-valued logics and mixed integer programming. Annals of Mathematics and Artificial Intelligence 3,4(12), 231–264 (1994)MathSciNetCrossRefMATHGoogle Scholar
  35. 35.
    Hähnle, R.: Advanced many-valued logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 2. Kluwer, Dordrecht (2001)Google Scholar
  36. 36.
    Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)CrossRefMATHGoogle Scholar
  37. 37.
    Ianni, G., Krennwallner, T., Martello, A., Polleres, A.: A rule system for querying persistent rdfs data. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 857–862. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  38. 38.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of Object-Oriented and frame-based languages. Journal of the ACM 42(4), 741–843 (1995)MathSciNetCrossRefMATHGoogle Scholar
  39. 39.
    Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12, 335–367 (1992)MathSciNetCrossRefGoogle Scholar
  40. 40.
    Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Trends in Logic - Studia Logica Library. Kluwer Academic Publishers, Dordrecht (2000)CrossRefMATHGoogle Scholar
  41. 41.
    Konstantopoulos, S., Apostolikas, G.: Fuzzy-dl reasoning over unknown fuzzy degrees. In: Proceedings of the 2007 OTM Confederated International Conference on On the Move to Meaningful Internet Systems, OTM 2007, vol. Part II, pp. 1312–1318. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  42. 42.
    Lakshmanan, L.V.S., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE Transactions on Knowledge and Data Engineering 13(4), 554–570 (2001)CrossRefGoogle Scholar
  43. 43.
    Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)CrossRefMATHGoogle Scholar
  44. 44.
    Lukasiewicz, T., Straccia, U.: Top-k retrieval in description logic programs under vagueness for the semantic web. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 16–30. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  45. 45.
    Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6, 291–308 (2008)CrossRefGoogle Scholar
  46. 46.
    Marin, D.: A formalization of rdf. Technical Report TR/DCC-2006-8, Deptartment of Computer Science, Universidad de Chile (2004), http://www.dcc.uchile.cl/cgutierr/ftp/draltan.pdf
  47. 47.
    Muñoz, S., Pérez, J., Gutierrez, C.: Minimal deductive systems for rdf. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 53–67. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  48. 48.
    Straccia, U., Lopes, N., Polleres, A., Zimmermann, A.: Anql: Sparqling up annotated rdf. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 518–533. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  49. 49.
    OWL Web Ontology Language overview, W3C (2004), http://www.w3.org/TR/owl-features/
  50. 50.
    OWL 2 Web Ontology Language Document Overview, W3C (2009), http://www.w3.org/TR/2009/REC-owl2-overview-20091027/
  51. 51.
    Papadimitriou, C.H.: Computational Complexity. Addison Wesley Publ. Co., Reading (1994)MATHGoogle Scholar
  52. 52.
    RDF Semantics, W3C (2004), http://www.w3.org/TR/rdf-mt/
  53. 53.
    Rule Interchange Format (RIF), W3C (2011), http://www.w3.org/2001/sw/wiki/RIF
  54. 54.
    Shapiro, E.Y.: Logic programs with uncertainties: A tool for implementing rule-based systems. In: Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI 1983), pp. 529–532 (1983)Google Scholar
  55. 55.
  56. 56.
  57. 57.
    Stoilos, G., Simou, N., Stamou, G., Kollias, S.: Uncertainty and the semantic web. IEEE Intelligent Systems 21(5), 84–87 (2006)CrossRefGoogle Scholar
  58. 58.
    Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)MathSciNetMATHGoogle Scholar
  59. 59.
    Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 385–399. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  60. 60.
    Straccia, U.: Description logics with fuzzy concrete domains. In: Bachus, F., Jaakkola, T. (eds.) 21st Conference on Uncertainty in Artificial Intelligence (UAI 2005), pp. 559–567. AUAI Press, Edinburgh (2005)Google Scholar
  61. 61.
    Straccia, U.: Uncertainty management in logic programming: Simple and effective top-down query answering. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol. 3682, pp. 753–760. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  62. 62.
    Straccia, U.: Answering vague queries in fuzzy DL-Lite. In: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2006), pp. 2238–2245. E.D.K, Paris (2006)Google Scholar
  63. 63.
    Straccia, U.: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1), 1–16 (2006)MathSciNetCrossRefMATHGoogle Scholar
  64. 64.
    Straccia, U.: A fuzzy description logic for the semantic web. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence. ch.4, pp. 73–90. Elsevier, Amsterdam (2006)CrossRefGoogle Scholar
  65. 65.
    Straccia, U.: Fuzzy description logic programs. In: Proceedings of the 11th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems (IPMU 2006), pp. 1818–1825. E.D.K, Paris (2006)Google Scholar
  66. 66.
    Straccia, U.: Towards top-k query answering in deductive databases. In: Proceedings of the 2006 IEEE International Conference on Systems, Man and Cybernetics (SMC 2006), pp. 4873–4879. IEEE, Los Alamitos (2006)CrossRefGoogle Scholar
  67. 67.
    Straccia, U.: Towards vague query answering in logic programming for logic-based information retrieval. In: Melin, P., Castillo, O., Aguilar, L.T., Kacprzyk, J., Pedrycz, W. (eds.) IFSA 2007. LNCS (LNAI), vol. 4529, pp. 125–134. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  68. 68.
    Straccia, U.: Managing uncertainty and vagueness in description logics, logic programs and description logic programs. In: Baroglio, C., Bonatti, P.A., Małuszyński, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 54–103. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  69. 69.
    Straccia, U.: A minimal deductive system for general fuzzy RDF. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 166–181. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  70. 70.
    Straccia, U., Lopes, N., Lukacsy, G., Polleres, A.: A general framework for representing and reasoning with annotated semantic web data. In: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), pp. 1437–1442. AAAI Press, Menlo Park (2010)Google Scholar
  71. 71.
    Torra, V., Narukawa, Y.: Information Fusion and Aggregation Operators. In: Cognitive Technologies. Springer, Heidelberg (2007)Google Scholar
  72. 72.
    Ullman, J.D.: Principles of Database and Knowledge Base Systems, vol. 1,2. Computer Science Press, Potomac (1989)Google Scholar
  73. 73.
    Vojtás, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124, 361–370 (2001)MathSciNetCrossRefMATHGoogle Scholar
  74. 74.
  75. 75.
    Yager, R.R.: On ordered weighted averaging aggregation operators in multicriteria decisionmaking. IEEE Trans. Syst. Man Cybern. 18, 183–190 (1988)MathSciNetCrossRefMATHGoogle Scholar
  76. 76.
    Zadeh, L.A.: Fuzzy sets. Information and Control 8(3), 338–353 (1965)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Umberto Straccia
    • 1
  1. 1.ISTI - CNRPisaItaly

Personalised recommendations