Revising General Knowledge Bases in Description Logics
Wang, Zhe (Griffith University) | Wang, Kewen (Griffith University) | Topor, Rodney (Griffith University)
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.
May-9-2010
- Technology: