Skip to main content
SpringerLink
Log in

N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D)

  • Conference paper
Advanced Web Technologies and Applications (APWeb 2004)

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

Included in the following conference series:

  • 517 Accesses

Abstract

Ontologies play a central role in the development of the semantic web. One important web ontology language is DAML+OIL, it has a formal semantics and a reasoning support through a mapping to the expressive description logic SHOQ(D) with the addition of inverse roles. In this paper we present a nonmonotonic extension of the SHOQ(D), called N-SHOQ(D), to allow for dealing with incomplete knowledge in the semantic web.

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. Horrocks, I.: DAML+OIL: a description logic for the semantic web. IEEE Bull of the Technical Committee on Data Engineering 25(1), 4–9 (2002)

    MathSciNet  Google Scholar 

  2. Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Nebel, B. (ed.) Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199–204. Morgan Kaufmann, San Francisco (2001)

    Google Scholar 

  3. BACK. System presentation. In: Proceedings of Terminological Logic Users Workshop., KIT-Report 95, TU Berlin (1991)

    Google Scholar 

  4. Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Automated Reasoning 14, 149–180 (1995)

    Article  MathSciNet  Google Scholar 

  5. Baader, F., Hollunder, B.: How to prefer more specific defaults in terminological default logic. In: IJCAI 1993, pp. 669–674 (1993)

    Google Scholar 

  6. Giugno, R., Lukasiewicz, T.: P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web. Technical Report INFSYS RR-1843-02-06, Institut fur Information systeme, Technische Universität Wien (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Fudan University, Shanghai, 200433

    Songxin Wang, Shuigeng Zhou, Fei Wang & Aoying Zhou

Authors
  1. Songxin Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shuigeng Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fei Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Aoying Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Chinese University of Hong Kong, Hong Kong, China

    Jeffrey Xu Yu

  2. The University of News South Wales, NSW 2052, Australia

    Xuemin Lin

  3. Department of Computer Science, Tsinghua University, 100084, Beijing, P.R. China

    Hongjun Lu

  4. Victoria University, Australia

    Yanchun Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, S., Zhou, S., Wang, F., Zhou, A. (2004). N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D). In: Yu, J.X., Lin, X., Lu, H., Zhang, Y. (eds) Advanced Web Technologies and Applications. APWeb 2004. Lecture Notes in Computer Science, vol 3007. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24655-8_104

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24655-8_104

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21371-0

  • Online ISBN: 978-3-540-24655-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation