Skip to main content
SpringerLink
Log in

A Reasoning Algorithm for pD*

  • Conference paper
The Semantic Web – ASWC 2006 (ASWC 2006)

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

Included in the following conference series:

Abstract

pD* semantics extends the ‘if-semantics’ of RDFS to a subset of the OWL vocabulary. It leads to simple entailment rules and relatively low computational complexity for reasoning. In this paper, we propose a forward-chaining reasoning algorithm to support RDFS entailments under the pD* semantics. This algorithm extends the Sesame algorithm to cope with the pD* entailments. In particular, an optimization to the dependent table between entailment rules is presented to eliminate much redundant inferring steps. Finally, some test results are given to illustrate the correctness and performance of this algorithm.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Broekstra, J., Kampman, A., Harmelen, F.: Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 54–68. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  2. Carroll, J.J., Roo, J.D. (eds.): OWL Web Ontology Language Test Cases. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/2004/REC-owl-test-20040210/

  3. Guo, Y., Pan, Z.h., Heflin, J.: An Evaluation of Knowledge Base Systems for Large OWL Datasets. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 274–288. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. Haarslev, V., Moller, R.: RACER system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  5. Hayes, P. (ed.): RDF Semantics. W3C Recommendation (February 10, 2004), Latest version is available at, http://www.w3.org/TR/rdf-mt/

  6. Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Journal of Web Semantics 3, 79–115 (2005)

    MathSciNet  Google Scholar 

  7. Pan, J.Z., Horrocks, I.: RDFS(FA) and RDF MT: Two Semantics for RDFS. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 30–46. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. Patel-Schneider, P.F.: Building the SemanticWeb Tower from RDF Straw. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, IJCAI 2005 (2005)

    Google Scholar 

  9. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWLDL Reasoner. Submitted for publication to Journal of Web Semantics

    Google Scholar 

  10. Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Proc. of the Description Logic Workshop, pp. 41–50 (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Southeast University, Nanjing, 210096, P.R. China

    Huiying Li, Yanbing Wang & Yuzhong Qu

  2. Department of Computing Science, The University of Aberdeen, UK

    Jeff Z. Pan

Authors
  1. Huiying Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yanbing Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yuzhong Qu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jeff Z. Pan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Institute of Scientific and Industrial Research, Osaka University, 8-1 Mihogaoka, 567-0047, Ibaraki, Osaka, Japan

    Riichiro Mizoguchi

  2. Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, 100080, Beijing,  

    Zhongzhi Shi

  3. Information and Communication Technology, University of Trento, Italy

    Fausto Giunchiglia

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Li, H., Wang, Y., Qu, Y., Pan, J.Z. (2006). A Reasoning Algorithm for pD*. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds) The Semantic Web – ASWC 2006. ASWC 2006. Lecture Notes in Computer Science, vol 4185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11836025_29

Download citation

  • DOI: https://doi.org/10.1007/11836025_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-38329-1

  • Online ISBN: 978-3-540-38331-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation