Towards the Detection of Potential Contradictions in Fuzzy Ontology Using a High Level Net Approach Integrated with Uncertainty Inference

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.