Formal transformation of ontology axioms to application domain rules

Transformation rules can be defined in two ways -- theoretical and empirical. A theoretical-based 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.

[1]  Steffen Staab,et al.  Ontology Engineering beyond the Modeling of Concepts and Relations , 2000 .

[2]  Olegas Vasilecas,et al.  Ontology-Based Information Systems Development: The Problem of Automation of Information Processing Rules , 2006, ADVIS.

[3]  Ivar Jacobson,et al.  Unified Modeling Language , 2020, Definitions.

[4]  Jonathan P. Bowen.  Formal Specification and Documentation Using Z: A Case Study Approach , 1996 .

[5]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[6]  Nicola Guarino,et al.  Formal Ontology and Information Systems , 1998 .

[7]  Charu Chandra,et al.  Supply Chain System Analysis and Modeling Using Ontology Engineering , 2004, AMCIS.

[8]  Riichiro MIZOGUCHI,et al.  Towards Ontology Engineering , 1998 .

[9]  Ronald G. Ross,et al.  The Business Rule Book: Classifying, Defining and Modeling Rules , 1997 .

[10]  Vijayan Sugumaran,et al.  The role of domain ontologies in database design: An ontology management and conceptual modeling environment , 2006, TODS.

[11]  N. Guarino,et al.  Formal Ontology in Information Systems : Proceedings of the First International Conference(FOIS'98), June 6-8, Trento, Italy , 1998 .

[12]  Veda C. Storey,et al.  An ontological analysis of the relationship construct in conceptual modeling , 1999, TODS.

[13]  Peter F. Patel-Schneider,et al.  Usability Issues in Knowledge Representation Systems , 1998, AAAI/IAAI.

[14]  Gerhard Knolmayer,et al.  The specification of business rules: A comparison of selected methodologies , 1994, Methods and Associated Tools for the Information Systems Life Cycle.

[15]  Olegas Vasilecas,et al.  On Business Rules Approach to the Information Systems Development , 2004 .

[16]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[17]  Eckhard Kruse,et al.  Intelligent binding in the engineering of automation systems using ontology and Web services , 2003, IEEE Trans. Syst. Man Cybern. Part C.

[18]  Gerd Wagner,et al.  On the General Ontological Foundations of Conceptual Modeling , 2002, ER.

[19]  Heinrich Hußmann,et al.  OCL as a Specification Language for Business Rules in Database Applications , 2001, UML.

[20]  Barbara Von-Halle.  Business Rules Applied: Building Better Systems Using The Business Rules Approach , 2010 .