Approach to the Formal Representation of OWL-S Ontology Maintenance Requirements

Abstract

OWL-S Ontology Maintenance is an important issue in the research of semantic Web services and knowledge management. This paper analysed the differences between the maintenance of OWL-S and domain ontology evolution, and proposed an OWL-S oriented ontology maintenance framework (PROEM), in which, the formal representation method of maintenance requirements is introduced in detail. The 23 elementary changes of OWL-S ontology are enumerated, and the composite change that can combine elementary changes in and-or way is also introduced in this paper. Then, the relation matrix is proposed to analyse the relations between elementary changes, and an optimize algorithm of elementary changes list is also provided, so that, the redundant changes in the list can be deleted, and the efficiency of OWL-S ontology maintenance will be improved.