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

fYear

2008

fDate

20-22 July 2008

Firstpage

56

Lastpage

61

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/WAIM.2008.16

Filename

4596995