The Community for Technology Leaders
2010 IEEE International Conference on Data Mining Workshops (2010)
Sydney, Australia
Dec. 13, 2010 to Dec. 13, 2010
ISBN: 978-0-7695-4257-7
pp: 883-890
ABSTRACT
The interest of this paper is focused on the detection of some potential contradictions in fuzzy ontology. A high level net approach integrated with uncertainty inference is proposed for this purpose. It makes use of a State Controlled Coloured Petri Net (SCCPN), which has been proposed for ontology representation and verification in our previous work. In this paper, the SCCPN model designed to handle the case of typical ontology with crisp logic is extended and modified to model the fuzzy ontology. Uncertainty inference is integrated in the net to deal with the imprecise or vague information. This work presents a formal definition of the extended SCCPN for modeling fuzzy ontologies and the knowledge inference with uncertainty as well as formulating the formal verification of some potential contradictions in fuzzy ontology.
INDEX TERMS
fuzzy ontology, ontology verification, Petri net, contradiction, uncertainty inference
CITATION

J. N. Liu, W. Ma and K. Wang, "Towards the Detection of Potential Contradictions in Fuzzy Ontology Using a High Level Net Approach Integrated with Uncertainty Inference," 2010 IEEE International Conference on Data Mining Workshops(ICDMW), Sydney, Australia, 2010, pp. 883-890.
doi:10.1109/ICDMW.2010.102
96 ms
(Ver 3.3 (11022016))