From 937558a21da8d5f313060db095ea5d9fe82453ba Mon Sep 17 00:00:00 2001 From: csnyulas Date: Sat, 24 Jun 2023 11:00:16 +0300 Subject: [PATCH] Added transformation rule for realisation relation R.19. --- .../pages/transformation/transf-rules2.adoc | 34 +++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/docs/modules/ROOT/pages/transformation/transf-rules2.adoc b/docs/modules/ROOT/pages/transformation/transf-rules2.adoc index 282dbb08..296be22a 100644 --- a/docs/modules/ROOT/pages/transformation/transf-rules2.adoc +++ b/docs/modules/ROOT/pages/transformation/transf-rules2.adoc @@ -23,6 +23,7 @@ In this section are specified transformation rules for UML association, generali |Class equivalence | | |<> |Property equivalence | | |<> |Disjoint classes | | |<> +|Realisation |<> | | |=== [[sec:association-uni]] @@ -620,3 +621,36 @@ For the generalisation relations depicted in xref:fig:generalisation-visual[], t ---- |=== + +[[sec:realisation]] +=== 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. + +//.Visual representation of UML realisation (on the left) and OWL instanceOf relation (on the right) +//[#fig:realisation-visual] +//image::fxxx.png[xxx] + + +[#rule:realisation-class-core,source,XML,caption='',title='{example-caption} {counter:rule-cnt:2.1}. Class realisation -- in core ontology layer',reftext='{example-caption} {rule-cnt}'] +==== +Declare an individual with a specified class as its type, for a UML Realization connector between a UML Object and a UML Class. +==== + +[cols="a,a", options="noheader"] +|=== +| +.Subclass declaration in Turtle syntax +[source,Turtle] +---- +:ObjectName a owl:NamedIndividual, :ClassName . +---- +| +.Subclass declaration in RDF/XML syntax +[source,XML] +---- + + + +---- +|===