Linked.Archi ArchiMate 4.0 Derivation Rules
SHACL Rules (sh:SPARQLRule) implementing ArchiMate 4.0 derivation rules. Derived relationships are annotated with confidence level and provenance. Draft — the full derivation matrix needs validation against the ArchiMate 4.0 spec.
Linked.Archi
CONSTRUCT { $this am4:composedOf ?c . } WHERE { $this am4:composedOf ?b . ?b am4:composedOf ?c . FILTER NOT EXISTS { $this am4:composedOf ?c . } }
DR1: Composition chain
If A is composed of B and B is composed of C, then A is composed of C.
CONSTRUCT { $this am4:aggregates ?c . } WHERE { $this am4:aggregates ?b . ?b am4:aggregates ?c . FILTER NOT EXISTS { $this am4:aggregates ?c . } }
DR2: Aggregation chain
If A aggregates B and B aggregates C, then A aggregates C.
CONSTRUCT { $this am4:serves ?c . } WHERE { $this am4:assignedTo ?b . ?b am4:serves ?c . FILTER NOT EXISTS { $this am4:serves ?c . } }
DR3: Assignment + Serving → Serving
If A is assigned to B and B serves C, then A serves C.
CONSTRUCT { $this am4:realizes ?c . } WHERE { $this am4:realizes ?b . ?b am4:realizes ?c . FILTER NOT EXISTS { $this am4:realizes ?c . } }
DR4: Realization chain
If A realizes B and B realizes C, then A realizes C.