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. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ustymenko, S., & Schwartz, D. G. (2010). Dynamic reasoning for description logic terminologies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6085 LNAI, pp. 340–343). https://doi.org/10.1007/978-3-642-13059-5_42
Mendeley helps you to discover research relevant for your work.