Skip to main content
SpringerLink
Log in

Dynamic Reasoning for Description Logic Terminologies

  • Conference paper
Book cover Advances in Artificial Intelligence (Canadian AI 2010)

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

Included in the following conference series:

  • 2561 Accesses

Abstract

The Semantic Web presents the challenge of designing agents capable of continuously updating their knowledge bases. Semantic Web ontologies are commonly represented using description logic knowledge bases. We demonstrate description logic reasoning using a Dynamic Reasoning System (DRS). This explicitly portrays reasoning as a process taking place in time and allows for manipulating inconsistent knowledge bases.

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, p. (eds.) The Description Logic Handbook. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  2. Baader, F., Sattler, S.: Expressive number restrictions in Description Logics. J. of Logic and Computation 9(3), 319–350 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  3. Gärdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press/Bradford Books, Cambridge (1988)

    Google Scholar 

  4. Schwartz, D.G.: Dynamic reasoning with qualified syllogisms. Artificial Intelligence 93(1-2), 103–167 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  5. Schwartz, D.G.: Formal specifications for a document management assistant. In: Proc. International Conference on Systems, Computing Sciences and Software Engineering (CISSE 2009), University of Bridgeport, CT, December 4-12 (2009)

    Google Scholar 

  6. Qi, G., Liu, W., Bell, D.A.: Knowledge Base Revision in Description Logics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 386–398. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Technology, Meritus University, 30 Knowledge Park Drive (Suite 301), Fredericton, New Brunswick, Canada, E3C 2R2

    Stanislav Ustymenko

  2. Department of Computer Science, Florida State University, Tallahassee, Florida, USA

    Daniel G. Schwartz

Authors
  1. Stanislav Ustymenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel G. Schwartz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. NLP Technologies Inc., 1255 University Street, H3B 3W9, Montreal, Quebec, Canada

    Atefeh Farzindar

  2. Dalhousie University, Faculty of Computer Science, 6050 University Ave, Halifax, B3H 1W5, Nova Scotia, Canada

    Vlado Kešelj

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ustymenko, S., Schwartz, D.G. (2010). Dynamic Reasoning for Description Logic Terminologies. In: Farzindar, A., Kešelj, V. (eds) Advances in Artificial Intelligence. Canadian AI 2010. Lecture Notes in Computer Science(), vol 6085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13059-5_42

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13059-5_42

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13058-8

  • Online ISBN: 978-3-642-13059-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation