Research on an optimized model for formal ontology
Deren Yang · JOURNAL OF SHENZHEN UNIVERSITY SCIENCE AND ENGINEERING · 2007
Based on objects,properties,classes and the four main relations between them,namely instanceOf,genusOf,abstractFrom and differenceFor,this paper proposed a new ontological triangle model.The model is presented in respect to people's abstracting process,and its kernel mechanism is the principle of abstraction.The data structure of the model was formally defined using first order logic with equality.According to entity and its relations,the restraint mechanisms of the model were analyzed,the corresponding axioms were discussed,and some important theorems were explained.The formal ontological theory describes taxonomy,establishes a reliable basis for the implementation of the ontological frame,and can be used to implement knowledge reasoning.