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

Font Size: 
Revising General Knowledge Bases in Description Logics
Zhe Wang, Kewen Wang, Rodney Topor

Last modified: 2010-04-27


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.


description logic; revision; ontology; forgetting

Full Text: PDF