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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Baader, F., Sattler, S.: Expressive number restrictions in Description Logics. J. of Logic and Computation 9(3), 319–350 (1999)
Gärdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press/Bradford Books, Cambridge (1988)
Schwartz, D.G.: Dynamic reasoning with qualified syllogisms. Artificial Intelligence 93(1-2), 103–167 (1997)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)