The ontology model of a certain domatin is an effective approach for the intercommunion between people form the different domains,the communication and interoperation among agents,and the share and reuse of the software.But the lack of formal analysis tools for domain modeling results in taking liberties with conceptualization.This paper discusses how to introduce the ontological notions from philosophy into Knowledge Engineering in order to supply a set of formal analysis tools for conceptualization analysis.This method can definitely record the hypothesis and analysis criterions through ontology huilding,and clarify the hiberarchy of concepts.
