Linked.Archi

Linked.Archi ArchiMate 4.0 Derivation Rules

SHACL Shapes

https://meta.linked.archi/archimate4/derivation#

v4.0 draft am4deriv: Kalin Maldzhanski Linked.Archi Modified: 2026-04-29 License

SHACL Rules (sh:SPARQLRule) implementing ArchiMate 4.0 derivation rules. Derived relationships are annotated with confidence level via a custom property and provenance via PROV-O (prov:wasGeneratedBy, prov:wasDerivedFrom). Draft — the full derivation matrix needs validation against the ArchiMate 4.0 spec.

Contents

CrossDomain_CoreToMotivation — target: Element

SPARQL constraint: Cross-domain restriction: derived relationship from Core to Motivation must be influence or association. Violation 
            SELECT $this ?rel ?target WHERE {
                $this ?rel ?target .
                <<$this ?rel ?target>> :derivationCertainty ?cert .
                {
                    $this rdf:type/rdfs:subClassOf* am4:CommonDomainElement .
                } UNION {
                    $this rdf:type/rdfs:subClassOf* am4:BusinessDomainElement .
                } UNION {
                    $this rdf:type/rdfs:subClassOf* am4:ApplicationDomainElement .
                } UNION {
                    $this rdf:type/rdfs:subClassOf* am4:TechnologyDomainElement .
                }
                ?target rdf:type/rdfs:subClassOf* am4:MotivationElement .
                FILTER(?rel NOT IN (am4:influences, am4:associatedWith))
            }

CrossDomain_ImplToMotivation — target: ImplementationAndMigrationDomainElement

SPARQL constraint: Cross-domain restriction: derived relationship from Implementation & Migration to Motivation must be assignment, realization, influence, or association. Violation 
            SELECT $this ?rel ?target WHERE {
                $this ?rel ?target .
                <<$this ?rel ?target>> :derivationCertainty ?cert .
                ?target rdf:type/rdfs:subClassOf* am4:MotivationElement .
                FILTER(?rel NOT IN (am4:assignedTo, am4:realizes, am4:influences, am4:associatedWith))
            }

CrossDomain_ImplToStrategy — target: ImplementationAndMigrationDomainElement

SPARQL constraint: Cross-domain restriction: derived relationship from Implementation & Migration to Strategy must be association or realization. Violation 
            SELECT $this ?rel ?target WHERE {
                $this ?rel ?target .
                <<$this ?rel ?target>> :derivationCertainty ?cert .
                ?target rdf:type/rdfs:subClassOf* am4:StrategyElement .
                FILTER(?rel NOT IN (am4:associatedWith, am4:realizes))
            }

CrossDomain_MotivationOutward — target: MotivationElement

SPARQL constraint: Cross-domain restriction: derived relationship from Motivation to Core/Strategy must be association. Violation 
            SELECT $this ?rel ?target WHERE {
                $this ?rel ?target .
                <<$this ?rel ?target>> :derivationCertainty ?cert .
                {
                    ?target rdf:type/rdfs:subClassOf* am4:CommonDomainElement .
                } UNION {
                    ?target rdf:type/rdfs:subClassOf* am4:BusinessDomainElement .
                } UNION {
                    ?target rdf:type/rdfs:subClassOf* am4:ApplicationDomainElement .
                } UNION {
                    ?target rdf:type/rdfs:subClassOf* am4:TechnologyDomainElement .
                } UNION {
                    ?target rdf:type/rdfs:subClassOf* am4:StrategyElement .
                }
                FILTER(?rel != am4:associatedWith)
            }

CrossDomain_StrategyToCore — target: StrategyElement

SPARQL constraint: Cross-domain restriction: derived relationship from Strategy to Core must be association. Violation 
            SELECT $this ?rel ?target WHERE {
                $this ?rel ?target .
                <<$this ?rel ?target>> :derivationCertainty ?cert .
                {
                    ?target rdf:type/rdfs:subClassOf* am4:CommonDomainElement .
                } UNION {
                    ?target rdf:type/rdfs:subClassOf* am4:BusinessDomainElement .
                } UNION {
                    ?target rdf:type/rdfs:subClassOf* am4:ApplicationDomainElement .
                } UNION {
                    ?target rdf:type/rdfs:subClassOf* am4:TechnologyDomainElement .
                }
                FILTER(?rel != am4:associatedWith)
            }

DR1-CompositionChain

DR2-AggregationChain

DR3-AssignmentServing

DR4-RealizationChain

DR5-StructuralDynamic — target: Element

DR6-StructuralFlowOpposite — target: Element

DR7-TriggeringStructural — target: Element

DR8-TriggeringTransitivity — target: Element

PDR1-SpecializationForward

PDR10-FlowTransitivity

PDR11-TriggeringStructuralReverse

PDR12-GroupingDerivation — target: Grouping

PDR2-SpecializationReverse

PDR3-SpecializationSourceInheritance

PDR4-SpecializationTargetInheritance

PDR5-StructuralDependencyAtSource — target: Element

PDR6-StructuralDependencyFromSource — target: Element

PDR7-DependencyChain — target: Element

PDR8-FlowStructural

PDR9-StructuralDynamicReverse — target: Element

Source: linked-archi-meta • Linked.Archi