A Method to Guarantee Ontology Consistency on Property Range Changes

摘要

An important target in ontology evolution is to guarantee ontology consistency when changes occur. Most of previous work focused on providing general methods for handling abstract changes, but ignored detailed methods for the specific changes, especially those property range changes which often arise in practice. This paper presents a process to apply a request change, by focusing on the specific case of request about modifying the range of property. We propose all the three situations of the property range change according to the relationship between the old range of property 'Rg' and the new one 'Rg{sub}1'. The three situations contain Rg{sub}1 includes Rg, Rg includes Rg1 and Rg doesn't intersect with Rg{sub}1. Each may influence different ontology entities and cause a special additional changes set to ensure the consistent state. An algorithm resolving these situations is proposed and implemented in our system. And a practical case study is presented.