On Formal Representation of Subclass/Superclass Taxonomy Based-on Ontology
Xia You-ming · Journal of Yunnan Normal University · 2008
There is insufficient formal representation for ontology to some extent.In the paper,we focus on formal representation of ontology taxonomy.In order to achieving consistent and precise description of ontology taxonomy,algebra theory is used.UML is extended in order to visualize taxonomy.And the paper discusses how to implement it in OWL.