Skip to main content
SpringerLink
Log in
Book cover

Reasoning Web International Summer School

Reasoning Web 2017: Reasoning Web. Semantic Interoperability on the Web pp 276–291Cite as

Uncertainty Reasoning for the Semantic Web

  • Chapter
  • First Online:

  • 1030 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 10370))

Abstract

The Semantic Web has attracted much attention, both from academia and industry. An important role in research towards the Semantic Web is played by formalisms and technologies for handling uncertainty and/or vagueness. In this paper, I first provide some motivating examples for handling uncertainty and/or vagueness in the Semantic Web. I then give an overview of some own formalisms for handling uncertainty and/or vagueness in the Semantic Web.

This is a preview of subscription content, 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 EPUB and 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

Learn about institutional subscriptions

References

  1. Berners-Lee, T.: Weaving the Web. Harper, San Francisco (1999)

    Google Scholar 

  2. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Sci. Amer. 284(5), 34–43 (2001)

    Article  Google Scholar 

  3. Fensel, D., Wahlster, W., Lieberman, H., Hendler, J. (eds.): Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge (2002)

    Google Scholar 

  4. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \(\cal{SHIQ}\) and RDF to OWL: the making of a web ontology language. J. Web Sem. 1(1), 7–26 (2003)

    Article  Google Scholar 

  5. W3C: OWL Web Ontology Language Overview (2004) W3C Recommendation, 10 February 2004. http://www.w3.org/TR/2004/REC-owl-features-20040210/

  6. Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 17–29. Springer, Heidelberg (2003). doi:10.1007/978-3-540-39718-2_2

    Chapter  Google Scholar 

  7. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\cal{SROIQ}\). In: Proceedings KR-2006, pp. 57–67 (2006)

    Google Scholar 

  8. W3C: OWL 2 Web Ontology Language Document Overview (2009) W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-overview/

  9. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reasoning 39(3), 385–429 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  10. Poggi, A., Lembo, D., Calvanese, D., Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133–173. Springer, Heidelberg (2008). doi:10.1007/978-3-540-77688-8_5

    Chapter  Google Scholar 

  11. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\cal{EL}\) envelope. In: Proceedings IJCAI-2005, pp. 364–369 (2005)

    Google Scholar 

  12. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings WWW-2003, pp. 48–57 (2003)

    Google Scholar 

  13. W3C: OWL 2 Web Ontology Language Profiles (2009) W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-profiles/

  14. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12/13), 1495–1539 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  15. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 81–97. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30504-0_7

    Chapter  Google Scholar 

  16. Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 384–398. Springer, Heidelberg (2007). doi:10.1007/978-3-540-72667-8_28

    Chapter  Google Scholar 

  17. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the Semantic Web. J. Web Sem. 6(4), 291–308 (2008)

    Article  Google Scholar 

  18. Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. 172(6/7), 852–883 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  19. Udrea, O., Yu, D., Hung, E., Subrahmanian, V.S.: Probabilistic ontologies and relational databases. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 1–17. Springer, Heidelberg (2005). doi:10.1007/11575771_1

    Chapter  Google Scholar 

  20. Hung, E., Deng, Y., Subrahmanian, V.S.: TOSS: an extension of TAX with ontologies and similarity queries. In: Proceedings ACM SIGMOD 2004. ACM Press, pp. 719–730 (2004)

    Google Scholar 

  21. Callan, J.: Distributed information retrieval. In: Croft, W.B. (ed.) Advances in Information Retrieval, pp. 127–150. Kluwer (2000)

    Google Scholar 

  22. Fuhr, N.: A decision-theoretic approach to database selection in networked IR. ACM Trans. Inf. Syst. 3(17), 229–249 (1999)

    Article  Google Scholar 

  23. Straccia, U., Troncy, R.: Towards distributed information retrieval in the semantic web: query reformulation using the oMAP framework. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 378–392. Springer, Heidelberg (2006). doi:10.1007/11762256_29

    Chapter  Google Scholar 

  24. Nottelmann, H., Straccia, U.: Information retrieval and machine learning for probabilistic schema matching. Inf. Process. Manage. 43(3), 552–576 (2007)

    Article  Google Scholar 

  25. Giugno, R., Lukasiewicz, T.: P-\({\cal{SHOQ}}\)(D): a probabilistic extension of \({\cal{SHOQ}}\)(D) for probabilistic ontologies in the Semantic Web. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS, vol. 2424, pp. 86–97. Springer, Heidelberg (2002). doi:10.1007/3-540-45757-7_8

    Chapter  Google Scholar 

  26. d’Amato, C., Fanizzi, N., Lukasiewicz, T.: Tractable reasoning with Bayesian description logics. In: Greco, S., Lukasiewicz, T. (eds.) SUM 2008. LNCS (LNAI), vol. 5291, pp. 146–159. Springer, Heidelberg (2008). doi:10.1007/978-3-540-87993-0_13

    Chapter  Google Scholar 

  27. Lukasiewicz, T.: Probabilistic deduction with conditional constraints over basic events. J. Artif. Intell. Res. 10, 199–241 (1999)

    MathSciNet  MATH  Google Scholar 

  28. Lukasiewicz, T.: Probabilistic logic programming under inheritance with overriding. In: Proceedings UAI-2001, pp. 329–336. Morgan Kaufmann (2001)

    Google Scholar 

  29. Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell. 34(1–3), 35–88 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  30. Lehmann, D.: Another perspective on default reasoning. Ann. Math. Artif. Intell. 15(1), 61–82 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  31. Lukasiewicz, T.: Probabilistic description logic programs. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 737–749. Springer, Heidelberg (2005). doi:10.1007/11518655_62

    Chapter  Google Scholar 

  32. Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reasoning 45(2), 288–307 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  33. Lukasiewicz, T.: Tractable probabilistic description logic programs. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 143–156. Springer, Heidelberg (2007). doi:10.1007/978-3-540-75410-7_11

    Chapter  Google Scholar 

  34. Calì, A., Lukasiewicz, T.: An approach to probabilistic data integration for the semantic web. In: Costa, P.C.G., d’Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005-2007. LNCS (LNAI), vol. 5327, pp. 52–65. Springer, Heidelberg (2008). doi:10.1007/978-3-540-89765-1_4

    Chapter  Google Scholar 

  35. Calì, A., Lukasiewicz, T.: Tightly integrated probabilistic description logic programs for the Semantic Web. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 428–429. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74610-2_30

    Chapter  Google Scholar 

  36. Calì, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly coupled probabilistic description logic programs for the Semantic Web. J. Data Sem. 12, 95–130 (2009)

    Article  MATH  Google Scholar 

  37. Calì, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Rule-based approaches for representing probabilistic ontology mappings. In: Costa, P.C.G., d’Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005-2007. LNCS (LNAI), vol. 5327, pp. 66–87. Springer, Heidelberg (2008). doi:10.1007/978-3-540-89765-1_5

    Chapter  Google Scholar 

  38. Calì, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly integrated probabilistic description logic programs for representing ontology mappings. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 178–198. Springer, Heidelberg (2008). doi:10.1007/978-3-540-77684-0_14

    Chapter  Google Scholar 

  39. Lukasiewicz, T.: Probabilistic description logic programs under inheritance with overriding for the Semantic Web. Int. J. Approx. Reasoning 49(1), 18–34 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  40. Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the Semantic Web. In: Proceedings RuleML-2006, pp. 89–96. IEEE Computer Society (2006)

    Google Scholar 

  41. Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the Semantic Web. Fundam. Inform. 82(3), 289–310 (2008)

    MathSciNet  MATH  Google Scholar 

  42. Lukasiewicz, T., Straccia, U.: Tightly Integrated fuzzy description logic programs under the answer set semantics for the Semantic Web. In: Marchiori, M., Pan, J.Z., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 289–298. Springer, Heidelberg (2007). doi:10.1007/978-3-540-72982-2_23

    Chapter  Google Scholar 

  43. Lukasiewicz, T., Straccia, U.: Tightly coupled fuzzy description logic programs under the answer set semantics for the Semantic Web. Int. J. Semant. Web Inf. Syst. 4(3), 68–89 (2008)

    Article  Google Scholar 

  44. Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 187–198. Springer, Heidelberg (2007). doi:10.1007/978-3-540-75256-1_19

    Chapter  Google Scholar 

  45. Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. Int. J. Approx. Reasoning 50(6), 837–853 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  46. 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). doi:10.1007/978-3-540-75410-7_2

    Chapter  Google Scholar 

Download references

Acknowledgments

This work was supported the UK EPSRC grants EP/J008346/1, EP/L012138/1, EP/M025268/1, and EP/N510129/1.

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Oxford, Oxford, UK

    Thomas Lukasiewicz

Authors
  1. Thomas Lukasiewicz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thomas Lukasiewicz .

Editor information

Editors and Affiliations

  1. University of Calabria , Rende, Italy

    Giovambattista Ianni

  2. Sapienza University of Rome , Rome, Italy

    Domenico Lembo

  3. Carleton University , Ottawa, Québec, Canada

    Leopoldo Bertossi

  4. University of Huddersfield , Huddersfield, United Kingdom

    Wolfgang Faber

  5. University of Ulm , Ulm, Germany

    Birte Glimm

  6. St John's College, Oxford, United Kingdom

    Georg Gottlob

  7. University of Koblenz , Koblenz, Germany

    Steffen Staab

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Lukasiewicz, T. (2017). Uncertainty Reasoning for the Semantic Web. In: Ianni, G., et al. Reasoning Web. Semantic Interoperability on the Web. Reasoning Web 2017. Lecture Notes in Computer Science(), vol 10370. Springer, Cham. https://doi.org/10.1007/978-3-319-61033-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61033-7_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61032-0

  • Online ISBN: 978-3-319-61033-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation