Paper discusses the importance of role formal ontologies play in information system engineering, analyses different conceptions of formal ontology, analyses relations of conceptualization, ontology and domain theory, gives formal definition of conceptualization as intensional semantic structure. Definition of formal ontology, acceptable in field of information system engineering, is proposed.
This work is licensed under a Creative Commons Attribution 4.0 International License.