Please use this identifier to cite or link to this item:
Title: Formal representation and verification of ontology using state controlled coloured petri nets
Authors: Liu, JNK 
Wang, KE
He, YL
Wang, XZ
Issue Date: 2012
Publisher: Springer
Source: In H Dai, JNK Liu & E Smirnov (Eds.), Reliable knowledge discovery, p. 269-290. New York: Springer, 2012 How to cite?
Abstract: Ontologies are widely used in many areas. Different automatic or semiautomatic extraction techniques have been proposed for building domain ontology in recent years. The correctness of the extracted ontology, however, has often been ignored or not verified formally. With increasingly complex and sophisticated realworld domains, the issue of correctness and verification of ontology is becoming more important. This chapter proposes a formal technique for ontology representation and its verification, based on State Controlled Coloured Petri Net (SCCPN), which is a high level net combining Coloured Petri Net and State Controlled Petri Net. It provides the capability of detection and identification of potential anomalies in ontology. We first describe the formal representation of ontology by SCCPN. The definition of SCCPN for modeling ontologies and the mapping between them are presented in detail. Moreover, the ontology inference in SCCPN is also formulated with specified inference mechanisms. After modeling ontology by SCCPN, the formal verification of potential anomalies (including redundancy, circularity and contradiction) is discussed. It is based on the reachable markings generated by transition firings in the Petri nets.
ISBN: 9781461419037 (electronic bk.)
1461419034 (electronic bk.)
9781461419020 (print)
DOI: 10.1007/978-1-4614-1903-7
Appears in Collections:Book Chapter

View full-text via PolyU eLinks SFX Query
Show full item record


Last Week
Last month
Citations as of Nov 3, 2018

Page view(s)

Last Week
Last month
Citations as of Nov 11, 2018

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.