Title :
Approach to the Formal Representation of OWL-S Ontology Maintenance Requirements
Author :
Bao, Aihua ; Yao, Li ; Zhang, Weiming ; Yuan, Jinping
Author_Institution :
Sch. of Inf. Syst. & Manage., Nat. Univ. of Defence Technol., Changsha
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.
Keywords :
Web services; formal verification; ontologies (artificial intelligence); semantic Web; software maintenance; OWL-S ontology maintenance requirements; domain ontology evolution; formal representation; knowledge management; semantic Web services; Algorithm design and analysis; Conference management; Information management; Knowledge management; Maintenance engineering; Management information systems; Ontologies; Semantic Web; Technology management; Web services;
Conference_Titel :
Web-Age Information Management, 2008. WAIM '08. The Ninth International Conference on
Conference_Location :
Zhangjiajie Hunan
Print_ISBN :
978-0-7695-3185-4
Electronic_ISBN :
978-0-7695-3185-4
DOI :
10.1109/WAIM.2008.16
