Formal transformation of ontology axioms to application domain rules

Abstract

Transformation rules can be defined in two ways – theoretical and empirical. A theoreticalbased definition of transformation is a formal way to prove and verify some theory. Therefore, it is precise, the likelihood of errors is reduced, it is easier to tell where it is wrong and correct it, and the quality of specification of the transformation can be improved. The disadvantage is the lack of knowledge about the theoretical-based approach. An empirical-based definition of transformation is informal and based on practice. Therefore, we can be sure that the transformation will work. However, sometimes it is impossible to verify some theory on practice or the cost of verification is too high. In this paper authors investigate the possibility of ontology axioms transformation to application domain rules using theoretical and empirical aspects.