This project comprises a set of tools for transforming an UML (v2.5) model from its XMI (v2.5.1) serialisation into a formal ontology. This transformation is performed using XSLT stylesheets under the assumption that the UML model conforms to the set of conventions outlined in the documentation.

• UML -> OWL 2 (light / complete)
• UML -> SHACL

This work is developed in the context of eProcurement ontology project financed by ISA2 and led by the Publications Office of the European Union.

• The architectural design and the formal specifications are provided in the Ontology architecture document.
• The technical conventions for the UML representation of the conceptual model are provided in UML conventions document
• An inventory of conformance tests derived from the UML conventions document are provided in the [Inventory Worksheet document](doc/checkers-inventory/eProcurement conceptual model checkers inventory.xlsx)
• The transformation rules from UML into OWL and SHACL are provided in the uml2owl transformation document

• html-conventions-report.xsl is the script checking the conformance to the technical conventions of the conceptual model.
• owl-core.xsl is the transformation script for the core OWL ontology.
• shacl-shapes.xsl is the transformation script for the SHACL data shape constraints
• owl-restrictions.xsl is the transformation script for the restrictions of OWL ontology (on classes and properties).

• test/unitTest/test-html-conventions-lib is the location of the unit tests for the script checking the conformance to the technical conventions of the conceptual model are

• test/unitTest/test-owl-core-lib is the location of the unit tests for the transformation script for the core OWL ontology.

• test/unitTest/test-shacl-shape-lib is the location of the unit tests for the transformation script for the SHACL data shape constraints.

• test/unitTest/reasoning-layer-lib is the location of the unit tests for the transformation script for the restrictions of OWL ontology (on classes and properties).

The scripts developed in this project conform to XSLT 3.0 and can be executed with a corresponding XSLT engine of choice. A recommendation is to use Saxon-HE, but it is not the only one.

The input eProcurement conceptual model is available in the eProcurement Ontology project on GitHub. Note that the XMI (v.2.5.1) output is generated with Enterprise Architect and was not tested with outputs from other software (although, XMI is an OMG standard). But, this does not restrict the current scripts to this project alone and any UML model that conforms to the specified UML conventions can be transformed into a formal ontology.

We assume that the users of this project are familiar with XML, UML and XSLT technologies and know how to perform an XSLT transformation.

• /src - source code of the XSLT scripts generating the HTML conventions report.

  • /common , /html-conventions-lib, /reasoning-layer-lib and /shacl-shape-lib contain modules loaded by the main files.
  • /static contains JS and CSS styles refereed by HTML reports. It should be copied to wherever the report is saved in order to ensure proper display.
  • config-parameters.xsl - the configurations file that may be adjusted as necessary.
  • html-conventions-report.xsl - source code of the XSLT scripts generating the HTML conventions report.
  • owl-core.xsl - Transformation script for the core ontology
  • shacl-shapes.xsl - Transformation script for the SHACL shapes
  • owl-restrictions.xsl - Transformation script for the ontology intensional definitions based on the class and property restrictions

• /test - contains unit tests for each XSL module ensuring the correct implementation.

  • /test/unitTests - contain XSpec unit tests
  • /test/testData - test data used in the unit tests

You are more than welcome to help expand and mature this project.

When contributing to this repository, please first discuss the change you wish to make via issue, email, or any other method with the owners of this repository before making a change.

Please note we adhere to Apache code of conduct, please follow it in all your interactions with the project.

The documents, such as reports and specifications, available in the /doc folder, are licenced under a CC BY 4.0 licence.

The XSLT (stylesheets) and other scripts are licenced under GNU GPLv3 licence.