The Unified Modeling Language user guide
The Unified Modeling Language user guide
Usability issues in knowledge representation systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
An ontological analysis of the relationship construct in conceptual modeling
ACM Transactions on Database Systems (TODS)
Business Rules Applied: Building Better Systems Using the Business Rules Approach
Business Rules Applied: Building Better Systems Using the Business Rules Approach
The specification of business rules: A comparison of selected methodologies
Proceedings of the IFIP WG8.1 Working Conference on Methods and Associated Tools for the Information Systems Life Cycle
OCL as a Specification Language for Business Rules in Database Applications
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
On the General Ontological Foundations of Conceptual Modeling
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
ACM Transactions on Database Systems (TODS)
ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
Intelligent binding in the engineering of automation systems using ontology and Web services
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Decision table based approach for business rules modelling in UML/OCL
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
| Hi-index | 0.00 |
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.