A method for ontology modeling based on instances conceptual classification and formalization

Building a knowledge representation depends on specific skills such as: understanding of modeled reality (it is also called Domain), knowledge of the representation language and, mainly, capacity of abstraction. The process involves such degree of complexity, demanding of the modeling agente an expertise to define axioms (roles) on the conceptual elements, determining constraints and redefining new concepts. This paper presents the proposal of a new conceptual modeling method called Mobi (Instance-based Ontology Modeling) detailing its Process, Editor, Formal Elements and Inference Engine. This method seeks to simplify the representation of abstractions, since the modeling agent builds sceneries through the association of instances and its inference engine identify types of relations and cardinalities.