Skip to main content
SpringerLink
Log in

Fuzzy Logic, Annotation Domains and Semantic Web Languages

  • Conference paper
Scalable Uncertainty Management (SUM 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6929))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Article  Google Scholar 

  2. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley Publ. Co., Reading (1995)

    MATH  Google Scholar 

  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. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. Journal of Artificial Intelligence Research 36, 1–69 (2009)

    MathSciNet  MATH  Google Scholar 

  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. 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)

    MATH  Google Scholar 

  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. 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. 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)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  14. Bobillo, F., Straccia, U.: Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems 160(23), 3382–3402 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  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. Bobillo, F., Straccia, U.: Fuzzy ontology representation using owl 2. International Journal of Approximate Reasoning (2011)

    Google Scholar 

  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. 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. 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. 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. 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)

    Article  MathSciNet  MATH  Google Scholar 

  22. Cerami, M., Straccia, U.: Undecidability of KB satisfiability for ł-\(\mathcal{ALC}\) with GCIs (July 2011) (Unpublished Manuscript)

    Google Scholar 

  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)

    Article  Google Scholar 

  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. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Computing Surveys 33(3), 374–425 (2001)

    Article  Google Scholar 

  26. Description Logics Web Site, http://dl.kr.org

  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. 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)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. Hähnle, R.: Many-valued logics and mixed integer programming. Annals of Mathematics and Artificial Intelligence 3,4(12), 231–264 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  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. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)

    Book  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  39. Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12, 335–367 (1992)

    Article  MathSciNet  Google Scholar 

  40. Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Trends in Logic - Studia Logica Library. Kluwer Academic Publishers, Dordrecht (2000)

    Book  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  43. Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)

    Book  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  45. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6, 291–308 (2008)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  49. OWL Web Ontology Language overview, W3C (2004), http://www.w3.org/TR/owl-features/

  50. OWL 2 Web Ontology Language Document Overview, W3C (2009), http://www.w3.org/TR/2009/REC-owl2-overview-20091027/

  51. Papadimitriou, C.H.: Computational Complexity. Addison Wesley Publ. Co., Reading (1994)

    MATH  Google Scholar 

  52. RDF Semantics, W3C (2004), http://www.w3.org/TR/rdf-mt/

  53. Rule Interchange Format (RIF), W3C (2011), http://www.w3.org/2001/sw/wiki/RIF

  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. SPARQL, http://www.w3.org/TR/rdf-sparql-query/

  56. SPARQL, http://www.w3.org/TR/sparql11-query/

  57. Stoilos, G., Simou, N., Stamou, G., Kollias, S.: Uncertainty and the semantic web. IEEE Intelligent Systems 21(5), 84–87 (2006)

    Article  Google Scholar 

  58. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)

    MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. Straccia, U.: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1), 1–16 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Torra, V., Narukawa, Y.: Information Fusion and Aggregation Operators. In: Cognitive Technologies. Springer, Heidelberg (2007)

    Google Scholar 

  72. Ullman, J.D.: Principles of Database and Knowledge Base Systems, vol. 1,2. Computer Science Press, Potomac (1989)

    Google Scholar 

  73. Vojtás, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124, 361–370 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  74. XML, W3C, http://www.w3.org/XML/

  75. Yager, R.R.: On ordered weighted averaging aggregation operators in multicriteria decisionmaking. IEEE Trans. Syst. Man Cybern. 18, 183–190 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  76. Zadeh, L.A.: Fuzzy sets. Information and Control 8(3), 338–353 (1965)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ISTI - CNR, Pisa, Italy

    Umberto Straccia

Authors
  1. Umberto Straccia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CRIL-CNRS, University of Artois, 62307, France

    Salem Benferhat

  2. Department of Mathematics, Towson University, 21252, Towson, MD, USA

    John Grant

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Straccia, U. (2011). Fuzzy Logic, Annotation Domains and Semantic Web Languages. In: Benferhat, S., Grant, J. (eds) Scalable Uncertainty Management. SUM 2011. Lecture Notes in Computer Science(), vol 6929. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23963-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23963-2_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23962-5

  • Online ISBN: 978-3-642-23963-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation