Skip to main content
SpringerLink
Log in

Extended Ontology Model and Ontology Checking Based on Description Logics

  • Conference paper
Fuzzy Systems and Knowledge Discovery (FSKD 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4223))

Included in the following conference series:

Abstract

Ontology formal model and ontology checking recently are still under hot discussion. In this paper, an extended ontology model is constructed using Description Logics. Based on the extended model, the issue on ontology checking is studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.

This research is supported by the Natural Science Fund of China (#70501022) and (#70501024).

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. Anderson, C.A.: Alonzo Church’s contributions to philosophy and intensional logic. Bull. Symbolic Logic 4(2), 129–171 (1998)

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

  3. Baclawski, K., Kokar, M., Smith, J.: Consistency Checking of RM-ODP Specifications. In: International Conference on Enterprise Information Systems, Setúbal, Portugal (2001)

    Google Scholar 

  4. Baclawski, K., Kokar, M., et al.: Consistency Checking of Semantic Web Ontologies. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 454–459. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Weitl, F., Freitag, B.: Checking semantic integrity constraints on integrated web documents. In: Wang, S., Tanaka, K., Zhou, S., Ling, T.-W., Guan, J., Yang, D.-q., Grandi, F., Mangina, E.E., Song, I.-Y., Mayr, H.C. (eds.) ER Workshops 2004. LNCS, vol. 3289, pp. 198–209. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  6. Hongwei, W., Jiachun, W., Fu, J.: Study on naive ontology model based on Description Logics. System Engineering 21(3), 101–106 (2003)

    Google Scholar 

  7. Baader, F., Sattler, U.: Tableau algorithm for description logics. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS, vol. 1847, pp. 1–18. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Management, Shanghai Jiao Tong University, 200052, Shanghai, China

    Yu Changrui & Luo Yan

  2. School of Economic and Management, Tongji University, 200092, Shanghai, China

    Wang Hongwei

Authors
  1. Yu Changrui
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wang Hongwei
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Luo Yan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Electrical and Electronic Engineering, Nanyang Technological University,, Block S1, Nanyang Avenue, 639798, Singapore

    Lipo Wang

  2. Life Science Research Center, School of Electronic Engineering, Xidian University,, 710071, Xi’an, Shaanxi, China

    Licheng Jiao

  3. School of Electrical and Electronic Engineering, Xidian University, 710071, Xi’an, China

    Guanming Shi

  4. School of Information Technology and Electrical Engineering, The University of Queensland, 4072, Brisbane, Queensland, Australia

    Xue Li

  5. College of Mathematics and Information Science, Hebei Normal University, 050016, Shijiazhuang, Hebei, P.R. China

    Jing Liu

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Changrui, Y., Hongwei, W., Yan, L. (2006). Extended Ontology Model and Ontology Checking Based on Description Logics. In: Wang, L., Jiao, L., Shi, G., Li, X., Liu, J. (eds) Fuzzy Systems and Knowledge Discovery. FSKD 2006. Lecture Notes in Computer Science(), vol 4223. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11881599_72

Download citation

  • DOI: https://doi.org/10.1007/11881599_72

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45917-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation