| ********************************************************* |
| ** Description: OCL2SWRL ATL transformation scenario |
| ** Author: Milan Milanovic <milan at milanovic.org> |
| ** Date: February 15 , 2007 |
| ******************************************************** |
| |
| This ATL scenario transforms OCL (Object Constraint Language) invariants into the R2ML (REWERSE I1 Markup Language) rules, |
| which is used as intermediary language, and then into the SWRL rules (Semantic Web Rule Language). It is composed of OCL |
| EBNF injector (to OCL metamodel), transformations (OCL2R2ML, R2ML2RDM) and an XML extractor that produces |
| XML documents that conform to the SWRL XML syntax and R2ML syntax defined by REWERSE I1 group. To find more |
| details about this transformation scenario, please refer to [1]-[2]-[3]. This transformation scenario includes |
| two other transformation scenarios (OCL2R2ML and R2ML2SWRL), see below. |
| |
| See also: |
| -- OCL2R2ML transformation scenario - http://www.eclipse.org/atl/atlTransformations/#OCL2R2ML |
| -- R2ML2SWRL transformation scenario - http://www.eclipse.org/atl/atlTransformations/#R2ML2SWRL |
| -- R2ML (REWERSE I1 Rule Markup Language) - http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=node/6 |
| -- SWRL (Semantic Web Rule Language) - http://www.w3.org/Submission/SWRL/ |
| -- RDM metamodel - http://www.aifb.uni-karlsruhe.de/WBS/sbr/publications/owl-metamodeling.pdf |
| -- OWL Web Ontology Language: XML Presentation Syntax - http://www.w3.org/TR/owl-xmlsyntax/ |
| -- OWL (Web Ontology language) - http://www.w3.org/2004/OWL/ |
| -- Object Constraint Language - OMG Available Specification, Version 2.0, formal/06-05-01. |
| [Online] http://www.omg.org/cgi-bin/doc?formal/06-05-01 |
| |
| Transformation files: |
| --------------------- |
| - R2ML2XML.atl: ATL transformation that transforms an R2ML model into an |
| an XML models with R2ML syntax elements. |
| |
| - RDM2XML.atl: ATL transformation that transforms an RDM model into an |
| an XML models with SWRL/OWL syntax elements. |
| |
| - OCL2R2ML.atl: The core transformation, that produced an R2ML model from |
| a OCL model (instance of OCL metamodel). |
| |
| - R2ML2RDM.atl: The core transformation, that produced an RDM model from |
| a R2ML model (instance of R2ML metamodel). |
| |
| - OCL2SWRL.xml: An ANT script that automatically executes the 2 main ATL transformations (OCL2R2ML and R2ML2RDM), |
| EBNF injector to produce OCL model from OCL file, and a XML extractor |
| to produce R2ML XML documents from R2ML model and SWRL XML documents from RDM model. |
| It can be executed by right-clicking on it, then clicking on "Run As->Ant Build". |
| To execute this transformation on other SWRL examples, place your OCL invariant files |
| in the models/ocl folder and make necessary changes in ANT script. |
| |
| Metamodel files: |
| ---------------- |
| - XML.xmi: XML metamodel in MOF XMI 1.2 format (MOF-1.4). This metamodel is part of standard metamodels |
| used with ATL. It is used when models are tranformed into XML documents or vice versa. |
| |
| - OCL.xmi: OCL metamodel in MOF XMI 1.2 format (MOF-1.4). This model represents an abstract syntax for |
| the OCL language. |
| |
| - RDM.xmi: RDM metamodel in MOF XMI 1.2 format (MOF-1.4). This model represents an abstract syntax for |
| the SWRL language. |
| |
| - R2ML.xmi: R2ML metamodel in MOF XMI 1.2 format (MOF-1.4). Metamodel of the R2ML language. |
| |
| - Every metamodel have KM3 and Ecore EMF XMI 2.0 format versions. |
| |
| Sample files: |
| ------------- |
| - Models/ocl/m1.ocl: This file is simple OCL invariant and is used as input example by |
| this transformation scenario (it must be invariant with implication, because |
| SWRL rules are represented as implications). |
| |
| - Models/r2ml-xml/R2MLRule.xml: This file is R2ML rule in the R2ML XML format after executing OCL EBNF injector, |
| the OCL2R2ML transformation, the R2ML2XML transformation and XML extractor. |
| |
| - Models/swrl-xml/SWRLRule.xml: This file is SWRL rule in the SWRL XML format after executing the R2ML2RDM |
| transformation, the RDM2XML transformation and XML extractor. |
| |
| Other files: |
| ------------ |
| - OCL-ebnfinjector.jar: OCL EBNF injector that is used to translate OCL code into OCL model. |
| |
| References: |
| ----------- |
| [1] Milanović, M., Gašević, D., Guirca, A., Wagner, G., Devedžić, V., "Towards Sharing Rules Between OWL/SWRL and UML/OCL", Electronic Communications of the European Association of Software Science and Technology, Volume 5, 2006. |
| [2] Milanović, M. "Modeling rules on the Semantic Web", master thesis, GOOD OLD AI Lab, Faculty of organizational sciences, University of Belgrade. |
| [3] Milanović, M., Gašević, D., Guirca, A., Wagner, G., Devedžić, V., "Bridging Concrete and Abstract Syntax of Web Rule Languages", In Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, Austria, 2007. |
