Three Methods for Revising Hybrid Knowledge Bases

Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang

Abstract: Contemporary approaches for the Semantic Web include hybrid knowledge bases that combine ontologies with rule-based languages. Despite a number of existing combination approaches, little attention has been given to change mechanisms for hybrid knowledge bases that can appropriately handle the dynamics of information on the Web. We present here three methods for revising hybrid knowledge bases in light of new information. We show by means of representation theorems that two of them fit properly into the classic belief change framework and that each of the two generalises the third method.