Ontology Formalization and Its Test Based on Property Granular Quotient Space

王晓东,孙滨,刘进营,赵爱玲
DOI: https://doi.org/10.3969/j.issn.1000-3428.2010.07.017
2010-01-01
Abstract:Aiming at the problem of jumping from one ontology-level space to another in traditional ontology formalization process,this paper introduces the idea of granular computing to the field of ontology modeling,which uses the theory of property granular quotient space to construct ontology formalization model and defines various parts of it.The ontology formalization model based on property granular quotient space is tested,whose results prove that the model can meet reasoning relations among ontological levels better.
What problem does this paper attempt to address?