Dynamic evolutions based on ontologies

摘要

With the continuous changes in application requirements of the enterprises, Web resources must be updated, so do the underlying ontologies that are associated with the Web resources. In the situation, it is very challenging for ontological engineers to specify the changes of ontologies, keep their consistencies and achieve semantic query of Web resources based on the evolving ontologies. We propose a construct called Prioritized Knowledge Base (PKB) based on SHOQ(D) description logic, and discuss some properties of PKB. PKB can be used for describing the evolutions and updates of ontologies with conflicting information. Furthermore, we develop some algorithms for checking conflict rules and performing semantic query based on PKB.