Skip to main content
SpringerLink
Log in

Providing an Uncertainty Reasoning Service for Semantic Web Application

  • Conference paper
Frontiers of WWW Research and Development - APWeb 2006 (APWeb 2006)

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

Included in the following conference series:

Abstract

In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning service for semantic web applications, we propose a probabilistic extension of Description Logic, namely Probabilistic Description Logic Program (PDLP). In this paper, we introduce the syntax and intensional semantics of PDLP, and present a fast reasoning algorithm making use of Logic Programming techniques. This extension is expressive, lightweight, and intuitive. Based on this extension, we implement a PDLP reasoner, and apply it into practical use: Tourism Ontology Uncertainty Reasoning system (TOUR). The TOUR system uses PDLP reasoner to make favorite travel plans on top of an integrated tourism ontology, which describes travel cites and services with their evaluation.

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 189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic Web. Scientific American 284, 34–43 (2001)

    Article  Google Scholar 

  2. Sheth, A.P., Ramakrishnan, C., Thomas, C.: Semantics for the semantic web: The implicit, the formal and the powerful. Int. J. Semantic Web Inf. Syst. 1, 1–18 (2005)

    Article  Google Scholar 

  3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  4. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Logic J. of the IGPL 8 (2000)

    Google Scholar 

  5. Straccia, U.: Uncertainty and description logic programs: A proposal for expressing rules and uncertainty on top of ontologies (2004)

    Google Scholar 

  6. Nottelmann, H., Fuhr, N.: pDAML+OIL: A probabilistic extension to DAML+OIL based on probabilistic Datalog. In: IPMU-04 (2004)

    Google Scholar 

  7. Lukasiewicz, T.: Probabilistic description logic programs. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 737–749. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW 2003, pp. 48–57. ACM Press, New York (2003)

    Chapter  Google Scholar 

  9. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33, 374–425 (2001)

    Article  Google Scholar 

  10. Grädel, E.: Finite model theory and descriptive complexity. In: Finite Model Theory and Its Applications. Springer, Heidelberg (2003)

    Google Scholar 

  11. Ramakrishnan, R., Srivastava, D., Sudarshan, S.: Efficient bottom-up evaluation of logic programs. In: Vandewalle, J. (ed.) The State of the Art in Computer Systems and Software Engineering. Kluwer Academic Publishers, Dordrecht (1992)

    Google Scholar 

  12. Koller, D., Levy, A.Y., Pfeffer, A.: P-classic: A tractable probablistic description logic. In: AAAI/IAAI, pp. 390–397 (1997)

    Google Scholar 

  13. Heinsohn, J.: Probabilistic description logics. In: Proc. of UAI 1994, pp. 311–318 (1994)

    Google Scholar 

  14. Jaeger, M.: Probabilistic role models and the guarded fragment. In: IPMU 2004 (2004)

    Google Scholar 

  15. Duerig, M., Studer, T.: Probabilistic abox reasoning: Preliminary results. In: DL 2005, Edinburgh, Scotland (2005)

    Google Scholar 

  16. Straccia, U.: Towards a fuzzy description logic for the semantic web (preliminary report). In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 167–181. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  17. Straccia, U.: Reasoning within fuzzy description logics. JAIR 14, 137–166 (2001)

    MATH  MathSciNet  Google Scholar 

  18. Ding, Z., Peng, Y., Pan, R.: A Bayesian Approach to Uncertainty Modeling in OWL Ontology. In: Proc. of Int. Conf. on Advances in Intelligent Systems - Theory and Applications (2004)

    Google Scholar 

  19. Giugno, R., Lukasiewicz, T.: P-shoq(d): A probabilistic extension of shoq(d) for probabilistic ontologies in the semantic web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 86–97. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  20. Straccia, U.: Uncertainty in description logics: a lattice-based approach. In: IPMU 2004, pp. 251–258 (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. APEX Data and Knowledge Management Lab, Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, 200240, China

    Lei Li, Qiaoling Liu, Lei Zhang, Jian Zhou & Yong Yu

  2. Basics Lab, Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, 200240, China

    Yunfeng Tao

Authors
  1. Lei Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Qiaoling Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yunfeng Tao
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Lei Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jian Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Yong Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of ITEE, The University of Queensland, Australia

    Xiaofang Zhou

  2. School of Computer Science and Technology, Heilongjiang University, China

    Jianzhong Li

  3. School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, QLD, Australia

    Heng Tao Shen

  4. Institute of Industrial Science, The University of Tokyo, 4-6-1 Komaba, Meguro-ku, 153-8505, Tokyo, Japan

    Masaru Kitsuregawa

  5. Victoria University, Australia

    Yanchun Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Li, L., Liu, Q., Tao, Y., Zhang, L., Zhou, J., Yu, Y. (2006). Providing an Uncertainty Reasoning Service for Semantic Web Application. In: Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds) Frontiers of WWW Research and Development - APWeb 2006. APWeb 2006. Lecture Notes in Computer Science, vol 3841. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11610113_55

Download citation

  • DOI: https://doi.org/10.1007/11610113_55

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-31142-3

  • Online ISBN: 978-3-540-32437-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation