SPARQL constraint: Appendix B.4 does not allow this derivation: {?value}. Violation
SELECT $this ?value WHERE {
$this arch:source ?_a ; arch:target ?_b ; rdf:type/arch:unqualifiedForm ?_relationship .
FILTER(?_relationship != am:specializes) # B.4 is not applied to specialization
OPTIONAL { $this prov:wasDerivedFrom ?_premise1 , ?_premise2 . FILTER(STR(?_premise1) < STR(?_premise2))
?_premise1 arch:source|arch:target ?_via . ?_premise2 arch:source|arch:target ?_via .
FILTER(?_via != ?_a && ?_via != ?_b) }
BIND(IF(EXISTS { ?_a rdf:type/rdfs:subClassOf* arch:QualifiedRelationship }, "R", IF(EXISTS { ?_a rdf:type/rdfs:subClassOf* ?_junction . FILTER(?_junction IN (am:Junction_And, am:Junction_Or)) }, "J", IF(EXISTS { ?_a rdf:type/rdfs:subClassOf* am:MotivationElement }, "M", IF(EXISTS { ?_a rdf:type/rdfs:subClassOf* am:StrategyLayerElement }, "S", IF(EXISTS { ?_a rdf:type/rdfs:subClassOf* am:ImplementationAndMigrationLayerElement }, "I", "C"))))) AS ?_from)
BIND(IF(EXISTS { ?_b rdf:type/rdfs:subClassOf* arch:QualifiedRelationship }, "R", IF(EXISTS { ?_b rdf:type/rdfs:subClassOf* ?_junction . FILTER(?_junction IN (am:Junction_And, am:Junction_Or)) }, "J", IF(EXISTS { ?_b rdf:type/rdfs:subClassOf* am:MotivationElement }, "M", IF(EXISTS { ?_b rdf:type/rdfs:subClassOf* am:StrategyLayerElement }, "S", IF(EXISTS { ?_b rdf:type/rdfs:subClassOf* am:ImplementationAndMigrationLayerElement }, "I", "C"))))) AS ?_to)
BIND(IF(BOUND(?_via), IF(EXISTS { ?_via rdf:type/rdfs:subClassOf* arch:QualifiedRelationship }, "R", IF(EXISTS { ?_via rdf:type/rdfs:subClassOf* ?_junction . FILTER(?_junction IN (am:Junction_And, am:Junction_Or)) }, "J", IF(EXISTS { ?_via rdf:type/rdfs:subClassOf* am:MotivationElement }, "M", IF(EXISTS { ?_via rdf:type/rdfs:subClassOf* am:StrategyLayerElement }, "S", IF(EXISTS { ?_via rdf:type/rdfs:subClassOf* am:ImplementationAndMigrationLayerElement }, "I", "C"))))), ?_unbound) AS ?_through)
BIND(EXISTS { ?_a rdf:type/rdfs:subClassOf* am:PassiveStructureElement } AS ?_passiveFrom)
BIND(EXISTS { ?_b rdf:type/rdfs:subClassOf* am:PassiveStructureElement } AS ?_passiveTo)
BIND(EXISTS { ?_a rdf:type/rdfs:subClassOf* ?_fromKind . FILTER(?_fromKind IN (am:Grouping, am:Location, am:Plateau)) } AS ?_fromGathers)
BIND(IF(BOUND(?_via), EXISTS { ?_via rdf:type/rdfs:subClassOf* ?_viaKind . FILTER(?_viaKind IN (am:Grouping, am:Location)) }, ?_unbound) AS ?_viaGroups)
BIND(COALESCE(IF(?_from IN ("I", "C", "S") && ?_to = "M" && ?_relationship NOT IN (am:assignedTo, am:realizes, am:influences, am:associatedWith), "from Core, Strategy or Implementation and Migration to Motivation, only assignment, realization, influence or association", IF(?_from = "M" && ?_to IN ("I", "C", "S") && ?_relationship != am:associatedWith, "from Motivation to Core, Strategy or Implementation and Migration, only association", IF(?_from IN ("I", "C") && ?_to = "S" && ?_relationship NOT IN (am:realizes, am:associatedWith), "from Core or Implementation and Migration to Strategy, only realization or association", IF(?_from = "S" && ?_to IN ("I", "C") && ?_relationship != am:associatedWith, "from Strategy to Core or Implementation and Migration, only association", IF(?_from = "I" && ?_to = "C" && ?_relationship NOT IN (am:realizes, am:associatedWith), "from Implementation and Migration to Core, only realization or association", IF(?_from = "C" && ?_to = "I" && ?_relationship NOT IN (am:assignedTo, am:associatedWith), "from Core to Implementation and Migration, only assignment or association", IF(?_to = "R" && ?_fromGathers && ?_relationship NOT IN (am:composedOf, am:aggregates, am:associatedWith), "from a grouping, location or plateau to a relationship, only composition, aggregation or association", IF(?_to = "R" && !?_fromGathers && ?_relationship != am:associatedWith, "from any other element to a relationship, only association", IF(?_from = "R" && ?_relationship != am:associatedWith, "from a relationship, only association", IF(?_relationship = am:influences && ?_to != "M", "influence only to Motivation", IF(?_relationship = am:accesses && !?_passiveTo, "access only to passive structure", IF(!?_passiveFrom && ?_passiveTo && ?_relationship NOT IN (am:accesses, am:assignedTo, am:associatedWith), "to passive structure from anything else, only access, assignment or association", IF(?_passiveFrom && ?_passiveTo && ?_relationship NOT IN (am:realizes, am:associatedWith), "between passive structure, only realization or association", IF(?_passiveFrom && !?_passiveTo && ?_relationship NOT IN (am:realizes, am:influences, am:associatedWith), "from passive structure to anything else, only realization, influence or association", IF(BOUND(?_through) && ?_from != "J" && ?_through != "J" && ?_to != "J" && ?_through != ?_from && ?_through != ?_to && !(?_from = "I" && ?_through = "C" && ?_to IN ("M", "S")), "not through an element of a domain neither end is in (but Core between Implementation and Migration and Motivation or Strategy)", IF(BOUND(?_viaGroups) && ?_from = "I" && ?_to IN ("M", "S") && ?_viaGroups, "from Implementation and Migration to Motivation or Strategy, not through a grouping or location", "")))))))))))))))), "") AS ?value)
FILTER(?value != "")
}
