Revising General Knowledge Bases in Description Logics

AAAI Publications, Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

Zhe Wang, Kewen Wang, Rodney Topor

Last modified: 2010-04-27

Abstract

This paper introduces a new methodology of revising general KBs in DL-Lite. Two specific revision operators are defined, their properties are investigated and algorithms for computing revisions are developed.

Full Text: PDF