Ontology as formal specification of shared conceptualization is the backbone of semantic web technology [1] and some related areas such as knowledge management. The success of semantic web technology heavily depends on the success of formal ontologies development to structure data for comprehensive and transportable machine
understanding [2]. There are some existing ontology representation languages, e.g., SHOE[3], DAML+OIL[4], RDF[5] /RDFS[6], OWL[7]. There are also some ontology