Untitled :: model2owl documentation

Transformation of UML connectors

In this section are specified transformation rules for UML association, generalisation and dependency connectors. Table 1 provides an overview of the section coverage.

Table 1. Transformation rules overview for UML connectors
UML element	Rules in core ontology layer	Rules in data shape layer	Rules in reasoning layer
Association	Rule R.01	Rule R.02
Association domain			Rule R.03
Association range		Rule R.05	Rule R.04
Association multiplicity		Rule R.08	Rule R.06, Rule R.07
Association asymmetry		Rule R.10	Rule R.09
Association inverse			Rule R.11
Dependency	Rule R.01	Rule R.02
Dependency domain			Rule R.03
Dependency range		Rule R.13	Rule R.12
Dependency multiplicity		Rule R.08	Rule R.06, Rule R.07
Class generalisation	Rule R.14
Property generalisation	Rule R.15
Class equivalence			Rule R.16
Property equivalence			Rule R.17
Disjoint classes			Rule R.18
Realisation	Rule R.19

Unidirectional association

A binary Association specifies a semantic relationship between two member ends represented by properties. Please note that in accordance with specification [uml2.5], the association end names are not obligatory. However, we adhere to the UML conventions , where specification of at one member ends, for unidirectional association, and two member ends, for bidirectional association, is mandatory. Moreover, provision of a connector (general) name is discouraged.

Figure 1. Visual representation of a UML unidirectional association (on the left) and an OWL property with cardinality restriction on domain class (on the right)

Rule R.01. Unidirectional association — in core ontology layer

Specify object property declaration axiom for the target end of the association/dependency.

Ideally, in the implementation, this rule would be combined with the relevant rules (those for the core ontology layer) in the Transformation of UML descriptors section, to provide labels and documentation for the property at the time of its creation.

Listing 1. Property declaration in Turtle syntax

:relationName a owl:ObjectProperty .

Listing 2. Property declaration in RDF/XML syntax

<owl:ObjectProperty rdf:about = "http://base.onto.uri/relationName">
</owl:ObjectProperty>

Rule R.02. Unidirectional association — in data shape layer

Specify PropertyShape declaration axiom for each association/dependency.

Ideally, in the implementation, this rule would be combined with the relevant rules (those for the data shape layer) in the Transformation of UML descriptors section, to provide labels and documentation for the property shape at the time of its creation.

For handling bidirectional associations refer to the Bidirectional association section.

Listing 3. PropertyShape declaration for associations in Turtle syntax

@prefix : <http://base.onto.uri/> .
@prefix shape: <http://base.shape.uri/> .
@prefix sh: <http://www.w3.org/ns/shacl#> .

shape:ClassName
  sh:property shape:ClassName-relationName ;
.
shape:ClassName-relationName a sh:PropertyShape ;
  sh:path :relationName ;
.

Listing 4. PropertyShape declaration for associations in RDF/XML syntax

<rdf:Description rdf:about = "http://base.shape.uri/ClassName">
    <sh:property rdf:resource = "http://base.shape.uri/ClassName-relationName"/>
</rdf:Description>
<sh:PropertyShape rdf:about = "http://base.shape.uri/ClassName-relationName">
    <sh:path rdf:resource = "http://base.onto.uri/relationName"/>
</sh:PropertyShape>

Association source

Rule R.03. Association source — in reasoning layer

Specify object property domain for the target end of the association/dependency.

Listing 5. Domain specification in Turtle syntax

:relationName
  rdfs:domain :ClassName ;
.

Listing 6. Domain specification in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/relationName">
    <rdfs:domain rdf:resource = "http://base.onto.uri/ClassName"/>
</rdf:Description>

Listing 7. Object property domain specification for reused relations in Turtle syntax

:relationName
  rdfs:domain [
    rdf:type owl:Class ;
    owl:unionOf (
      :ClassName1
      :ClassName2
    )
  ]
.

Listing 8. Object property domain specification for reused relations in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/relationName">
    <rdfs:domain>
        <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
                <rdf:Description rdf:about="http://base.onto.uri/ClassName1"/>
                <rdf:Description rdf:about="http://base.onto.uri/ClassName2"/>
            </owl:unionOf>
        </owl:Class>
    </rdfs:domain>
</rdf:Description>

Association target

Rule R.04. Association target — in reasoning layer

Specify object property range for the target end of the association.

Listing 9. Range specification in Turtle syntax

:relationName
  rdfs:range :ClassName ;
.

Listing 10. Range specification in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/relationName">
    <rdfs:range rdf:resource = "http://base.onto.uri/ClassName"/>
</rdf:Description>

Listing 11. Object property range specification for reused relations in Turtle syntax

:relationName
  rdfs:range [
    rdf:type owl:Class ;
    owl:unionOf (
      :OtherClass1
      :OtherClass2
    )
  ]
.

Listing 12. Object property range specification for reused relations in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/relationName">
    <rdfs:range>
        <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
                <rdf:Description rdf:about="http://base.onto.uri/OtherClass1"/>
                <rdf:Description rdf:about="http://base.onto.uri/OtherClass2"/>
            </owl:unionOf>
        </owl:Class>
    </rdfs:range>
</rdf:Description>

Rule R.05. Association range shape — in data shape layer

Within the SHACL PropertyShape corresponding to an association relation linked to a given source UML Class, specify property constraints indicating the range class.

Listing 13. Property class constraint in Turtle syntax

@prefix : <http://base.onto.uri/> .
@prefix shape: <http://base.shape.uri/> .
@prefix sh: <http://www.w3.org/ns/shacl#> .

shape:ClassName-relationName
  sh:class :OtherClass ;
.

Listing 14. Property class constraint in RDF/XML syntax

<rdf:Description rdf:about = "http://base.shape.uri/ClassName-relationName">
    <sh:class rdf:resource = "http://base.onto.uri/OtherClass"/>
</rdf:Description>

Association multiplicity

Rule R.06. Association multiplicity — in reasoning layer

For the association/dependency target multiplicity, where min and max are different than ``*'' (any) and multiplicity is not [1..1], specify a subclass axiom where the source class specialises an anonymous restriction of properties formulated according to cases provided by rule:attribute-rc-multiplicity.

Listing 15. Min cardinality restriction in Turtle syntax

:ClassName
  rdfs:subClassOf [ a owl:Restriction ;
    owl:minCardinality "1"^^xsd:integer;
    owl:onProperty :relationName ;
  ] ;
.

Listing 16. Min cardinality restriction in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/ClassName">
    <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource = "http://base.onto.uri/relationName"/>
            <owl:minCardinality rdf:datatype="http://www.w3.org...#integer" >1</owl:cardinality>
        </owl:Restriction>
    </rdfs:subClassOf>
</rdf:Description>

Rule R.07. Association multiplicity "one" — in reasoning layer

If the association/dependency multiplicity is exactly one, i.e. [1..1], specify a functional property axiom like in rule:attribute-rc-multiplicity-one.

Listing 17. Declaring a functional property in Turtle syntax

:relationName a owl:FunctionalProperty .

Listing 18. Declaring a functional property in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/relationName">
    <rdf:type rdf:resource = "http://...owl#FunctionalProperty"/>
</rdf:Description>

Rule R.08. Association multiplicity — in data shape layer

Within the SHACL PropertyShape corresponding to an association/dependency relation linked to a given source UML Class, specify property constraints indicating minimum and maximum cardinality, according to cases provided by rule:attribute-ds-multiplicity.

Listing 19. Min cardinality constraint in Turtle syntax

@prefix shape: <http://base.shape.uri/> .
@prefix sh: <http://www.w3.org/ns/shacl#> .

shape:ClassName-relationName
  sh:minCount 1 ;
.

Listing 20. Min cardinality constraint in RDF/XML syntax

<rdf:Description rdf:about = "http://base.shape.uri/ClassName-relationName">
    <sh:minCount rdf:datatype="http://www.w3.org...#integer"
      >1</sh:minCount>
</rdf:Description>

Recursive association

In case of recursive associations, that are from one class to itself, (depicted in Figure 2), the transformation rules must be applied as in the case of regular unidirectional association, which are from Rule R.01 to Rule R.07. In addition, the association must be marked as asymmetric expressed in Rule R.10 and Rule R.09.

Figure 2. Visual representation of a UML recursive association (on the left) and OWL recursive properties with cardinality restrictions on domain class (on the right)

Rule R.09. Association asymmetry — in reasoning layer

Specify an asymmetric object property axiom for each end of a recursive association.

Listing 21. Declaring an asymmetric property in Turtle syntax

:relatesTo a owl:AsymmetricProperty .

Listing 22. Declaring an asymmetric property in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/relatesTo">
    <rdf:type rdf:resource = "http://...owl#AsymmetricProperty"/>
</rdf:Description>

Rule R.10. Association asymmetry — in data shape layer

Within the SHACL Node Shape corresponding to the UML Class, specify SPARQL constraint selecting instances connected by the object property in a reciprocal manner.

Listing 23. Adding details to a NodeShape for an asymmetric property in Turtle syntax

@prefix : <http://base.onto.uri/> .
@prefix shape: <http://base.shape.uri/> .
@prefix sh: <http://www.w3.org/ns/shacl#> .

shape:ClassName
  sh:sparql [
    sh:select """
      SELECT ?this ?that
      WHERE {
        ?this :relatesTo ?that .
        ?that :relatesTo ?this .
      }
    """ ;
  ] ;
.

Listing 24. Adding details to a NodeShape for an asymmetric property in RDF/XML syntax

<rdf:Description rdf:about = "http://base.shape.uri/ClassName">
    <sh:sparql rdf:parseType="Resource">
        <sh:select>
          SELECT ?this ?that
          WHERE {
            ?this :relatesTo ?that .
            ?that :relatesTo ?this .}
        </sh:select>
    </sh:sparql>
</rdf:Description>

Bidirectional association

The bidirectional associations should be treated, both on source and target ends, like two unidirectional associations (see Figure 3). The transformation rules from Rule R.01 and Rule R.02, and all the other rules for unidirectional associations shown in Table 1 must be applied to both ends. In addition to those rules, the inverse relation axiom must be specified.

Figure 3. Visual representation of a UML bidirectional association (on the left) and OWL properties with cardinality restrictions on domain class (on the right)

Rule R.11. Association inverse — in reasoning layer

Specify an inverse object property axiom between the source and target ends of the bidirectional association.

Listing 25. Declaring an inverse property in Turtle syntax

:relatesTo owl:inverseOf :isRelatedTo .

Listing 26. Declaring an inverse property in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/relatesTo">
    <owl:inverseOf rdf:resource = "http://base.onto.uri/isRelatedTo"/>
</rdf:Description>

Unidirectional dependency

In general the UML dependency connectors should be transformed by the rules specified for UML association connectors (see Table 1).

The following two rules, concerning the transformation of dependency targets, are different from the rules for the transformation of association targets.

Rule R.12. Dependency target — in reasoning layer

Specify object property range for the target end of the dependency.

Listing 27. Range specification in Turtle syntax

:relationName
  rdfs:range skos:Concept ;
.

Listing 28. Range specification in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/relationName">
    <rdfs:range rdf:resource = ".../02/skos/core#Concept"/>
</rdf:Description>

In OWL we want to state only that the range of a Dependency connector is a skos:Concept, without committing to a specific list. We do this additional restriction in the data shape.

Rule R.13. Dependency range shape — in data shape layer

Within the SHACL PropertyShape corresponding to a dependency relation linked to a given source UML Class, specify property constraints indicating the range class.

Listing 29. Property class constraint in Turtle syntax

@prefix : <http://base.onto.uri/> .
@prefix shape: <http://base.shape.uri/> .
@prefix sh: <http://www.w3.org/ns/shacl#> .

shape:ClassName-relationName
  sh:class :EnumerationName ;
.

Listing 30. Property class constraint in RDF/XML syntax

<rdf:Description rdf:about = "http://base.shape.uri/ClassName-relationName">
    <sh:class rdf:resource = "http://base.onto.uri/EnumerationName"/>
</rdf:Description>

Class generalisation

Generalisation [uml2.5] defines specialization relationship between Classifiers. In case of UML Classes it relates a more specific Class to a more general Class.

Figure 4. Visual representation of UML generalisation (on the left) and OWL subclass relation (on the right)

UML generalisation set [uml2.5] groups generalisations; incomplete and disjoint constraints indicate that the set is not complete and its specific Classes have no common instances. The UML conventions specify that all sibling classes are by default disjoint, therefore even if no generalisation set is provided it is assumed to be implicit. Sibling classes will be declared disjoint with one another in the reasoning layer (see Rule R.18).

Rule R.14. Class generalisation — in core ontology layer

Specify subclass axiom for the generalisation between UML Classes.

Listing 31. Subclass declaration in Turtle syntax

:ClassName rdfs:subClassOf :SuperClass.
:OtherClass rdfs:subClassOf :SuperClass.

Listing 32. Subclass declaration in RDF/XML syntax

<owl:Class rdf:about = "http://base.onto.uri/ClassName">
    <rdfs:subClassOf rdf:resource = "http://base.onto.uri/SuperClass"/>
</owl:Class>
<owl:Class rdf:about = "http://base.onto.uri/OtherClass">
    <rdfs:subClassOf rdf:resource = "http://base.onto.uri/SuperClass"/>
</owl:Class>

Property generalisation

Generalisation [uml2.5] defines specialization relationship between Classifiers. In case of the UML associations it relates a more specific Association to more general Association.

Figure 5. Visual representation of UML property generalisation (on the left) and OWL sub-property relation (on the right)

Rule R.15. Property generalisation — in core ontology layer

Specify sub-property axiom for the generalisation between UML association/dependency connectors.

Listing 33. Property specialisation in Turtle syntax

:hasSister rdfs:subPropertyOf :relatesTo .
:isSisterOf rdfs:subPropertyOf :isRelatedTo .

Listing 34. Property specialisation in RDF/XML syntax

<owl:ObjectProperty rdf:about = "http://base.onto.uri/hasSister">
    <rdfs:subPropertyOf rdf:resource = "http://base.onto.uri/relatesTo"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about = "http://base.onto.uri/isSisterOf">
    <rdfs:subPropertyOf rdf:resource = "http://base.onto.uri/isRelatedTo"/>
</owl:ObjectProperty>

Class equivalence

Figure 6. Visual representation of UML class equivalence (on the left) and OWL class equivalence (on the right)

Rule R.16. Equivalent classes — in reasoning layer

Specify equivalent class axiom for the generalisation with <<equivalent>> or <<complete>> stereotype between UML Classes.

Listing 35. Class equivalence in Turtle syntax

:ClassName owl:equivalentClass :SuperClass.

Listing 36. Class equivalence in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/ClassName">
    <owl:equivalentClass rdf:resource = "http://base.onto.uri/SuperClass"/>
</rdf:Description>

Property equivalence

Rule R.17. Equivalent properties — in reasoning layer

Specify equivalent property axiom for the generalisation with <<equivalent>> or <<complete>> stereotype between UML properties.

Listing 37. Property equivalence in Turtle syntax

:hasSister owl:equivalentProperty :relatesTo .
:isSisterOf owl:equivalentProperty :isRelatedTo .

Listing 38. Property equivalence in RDF/XML syntax

<rdf:Description rdf:about = "http://base.onto.uri/hasSister">
  <owl:equivalentProperty rdf:resource = "http://base.onto.uri/relatesTo"/>
</rdf:Description>
<rdf:Description rdf:about = "http://base.onto.uri/isSisterOf">
  <owl:equivalentProperty rdf:resource = "http://base.onto.uri/isRelatedTo"/>
</rdf:Description>

Disjoint classes

Rule R.18. Disjoint classes — in reasoning layer

Specify a disjoint classes axiom for all "sibling" classes, i.e. for multiple UML Classes that have generalisation connectors to the same UML Class.

For the generalisation relations depicted in Figure 4, the generated output should have the following form.

Listing 39. Disjoint classes declaration in Turtle syntax

[ a owl:AllDisjointClasses ;
  owl:members  ( :ClassName :OtherClass )
] .

Listing 40. Disjoint classes declaration in RDF/XML syntax

<rdf:Description>
    <rdf:type rdf:resource="http://...owl#AllDisjointClasses"/>
    <owl:members rdf:parseType="Collection">
        <rdf:Description rdf:about="http://base.onto.uri/ClassName"/>
        <rdf:Description rdf:about="http://base.onto.uri/OtherClass"/>
    </owl:members>
</rdf:Description>

Realisation relations

Realisation defines a relationship between an Object element and a UML Class or Enumeration element. At the moment we only provide transformation rules for UML Realization connectors that connect to UML Classes.

Rule R.19. Class realisation — in core ontology layer

Declare an individual with a specified class as its type, for a UML Realization connector between a UML Object and a UML Class.

Listing 41. Individual declaration in Turtle syntax

:ObjectName a owl:NamedIndividual, :ClassName .

Listing 42. Individual declaration in RDF/XML syntax

<owl:NamedIndividual rdf:about="http://base.onto.uri/ObjectName">
    <rdf:type rdf:resource="http://base.onto.uri/ClassName"/>
</owl:NamedIndividual>