Skip to main content
SpringerLink
Log in
Book cover

OTM Confederated International Conferences "On the Move to Meaningful Internet Systems"

OTM 2002: On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE pp 1067–1081Cite as

Extending Datatype Support in Web Ontology Reasoning

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2519))

Abstract

The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of crucial importance to the development of the Semantic Web, where their role is to provide formal underpinnings and automated reasoning services for Semantic Web ontology languages such as DAML+OIL. In this paper, we show how the description logic SHOQ(D), which has been designed to provide such services, can be extended with n-ary datatype predicates and qualified number restrictions with n-ary datatype predicates, to give SHOQ(D n), and we present an algorithm for deciding the satisfiability of SHOQ(D n) concepts, along with a proof of its soundness and completeness. The work is motivated by the requirement for n-ary datatype predicates and qualified number restrictions with n-ary predicates in relation to “real world” properties in semantic Web ontologies and applications.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Baader and Philipp Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. In IJCAI-91, pages 452–457, 1991.

    Google Scholar 

  2. Tim Berners-lee. Semantic Web Road Map. W3C Design Issues. http://www.w3.org/DesignIssues/Semantic.html, Oct. 1998.

  3. J. Broekstra, M. Klein, S. Decker, D. Fensel, F. can Harmelen, and I. Horrocks. Enabling knowledge representation on the Web by extending RDF Schema, Nov. 2000.

    Google Scholar 

  4. Benjamin N. Grosof and Terrence C. Poon. Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. In Proceedings of International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, Jun 2002.

    Google Scholar 

  5. Volker Haarslev, Ralf Möller, and Michael Wessel. The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. In Proceedings of International Joint Conference on Automated Reasoning, IJCAR’ 2001, R. Goré, A. Leitsch, T. Nipkow (Eds.), Siena, Italy, Springer-Verlag, Berlin., pages 29–44, Jun. 2001

    Google Scholar 

  6. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Expressive Description Logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR’99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161–180. Springer-Verlag, 1999.

    Google Scholar 

  7. Ian Horrocks and Peter F. Patel-Schneider. The Generation of DAML+OIL. Aug. 2001. The 2001 International Workshop on Description Logics.

    Google Scholar 

  8. Ian Horrocks and U. Sattler. Ontology Reasoning for the Semantic Web. In In B. Nebel, editor, Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI’ 01), Morgan Kaufmann, pages 199–204, 2001.

    Google Scholar 

  9. C. Lutz. NExpTime-complete Description Logics with Concrete Domains. LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2000.

    Google Scholar 

  10. Je. Z. Pan. Web Ontology Reasoning in the SHOQ(Dn) Description Logic. In Proceedings of the Methods for Modalities 2 (M4M-2), Nov 2001. ILLC, University of Amsterdam, URL http://www.cs.man.ac.uk/panz/Zhilin/download/Paper/Pan-shoqdn-2001.pdf.

  11. Je. Z. Pan and Ian Horrocks. Metamodeling Architecture of Web Ontology Languages. In Proceeding of the Semantic Web Working Symposium (SWWS), July 2001. URL http://www.cs.man.ac.uk/ panz/Zhilin/download/Paper/Pan-Horrocks-rdfsfa-2001.pdf.

  12. Frank van Harmelen, Peter F. Patel-Schneider, and Ian Horrocks. A Model-Theortis Semantics of DAML+OIL (March 2001). Mar. 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Information Management Group, Department of Computer Science, University of Manchester, Oxford Road, M13 9PL, Manchester, UK

    Jeff Z. Pan & Ian Horrocks

Authors
  1. Jeff Z. Pan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ian Horrocks
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DOA Institute, p/a Leeuwlantstraat 83, 2100, Antwerp, Belgium

    Robert Meersman

  2. RMIT University School of Computer Science and IT, GPO Box 2476V, VIC 3001, Melbourne, Australia

    Zahir Tari

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pan, J.Z., Horrocks, I. (2002). Extending Datatype Support in Web Ontology Reasoning. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE. OTM 2002. Lecture Notes in Computer Science, vol 2519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36124-3_68

Download citation

  • DOI: https://doi.org/10.1007/3-540-36124-3_68

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00106-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation