@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix iadopt: <https://w3id.org/iadopt/ont/> .
@prefix shape: <https://w3id.org/iadopt/shacl/> .

shape:VariableShape
  a sh:NodeShape ;
  sh:targetClass iadopt:Variable ;
  sh:closed false ;

  sh:property [
    sh:message "Variable needs to have exactly one Property." ;
    sh:path iadopt:hasProperty ;
    sh:minCount 1 ;
    sh:maxCount 1 ;
    sh:nodeKind sh:BlankNodeOrIRI ;
  ] ;

  sh:property [
    sh:message "Variable needs to have exactly one ObjectOfInterest." ;
    sh:path iadopt:hasObjectOfInterest ;
    sh:minCount 1 ;
    sh:maxCount 1 ;
    sh:nodeKind sh:BlankNodeOrIRI ;
  ] ;

  sh:property [
    sh:message "Variable can have up to one Matrix." ;
    sh:path iadopt:hasMatrix ;
    sh:minCount 0 ;
    sh:maxCount 1 ;
    sh:nodeKind sh:BlankNodeOrIRI ;
  ] ;

  sh:property [
    sh:message "Variable can have an arbitrary number of ContextObjects." ;
    sh:path iadopt:hasContextObject ;
    sh:minCount 0 ;
    sh:nodeKind sh:BlankNodeOrIRI ;
  ] ;

  sh:property [
    sh:message "Variables can have up to one StatisticalModifier." ;
    sh:path iadopt:hasStatisticalModifier ;
    sh:minCount 0 ;
    sh:maxCount 1 ;
    sh:nodeKind sh:BlankNodeOrIRI ;
  ] ;

  sh:property [
    sh:message "All Constraints of a Variable have to be concepts." ;
    sh:path iadopt:hasConstraint ;
    sh:minCount 0 ;
    sh:nodeKind sh:BlankNodeOrIRI ;
  ] ;

  sh:property [
    sh:message "All constraints of a `Variable` have to be instances of Constraint." ;
    sh:path iadopt:hasConstraint ;
    sh:class iadopt:Constraint ;
  ] ;

 sh:sparql [
    a sh:SPARQLConstraint ;
    sh:message "Variable must be assigned a proper URI." ;
    sh:declare [
      sh:prefix "iadopt" ;
      sh:namespace "https://w3id.org/iadopt/ont/"^^xsd:anyURI ;
    ] ;
    sh:prefixes iadopt: ;
    sh:select """
      PREFIX iadopt: <https://w3id.org/iadopt/ont/>
      SELECT $this
      WHERE {
        ?this iadopt:hasProperty $prop .
        FILTER (!isURI(?this))
      }
      """ ;
  ] ;
  .



shape:ConstraintShape
  a sh:NodeShape ;
  sh:targetClass iadopt:Constraint ;
  sh:closed false ;

  sh:property [
    sh:message "Constraint needs to be linked from at least one Variable." ;
    sh:path [ sh:inversePath iadopt:hasConstraint ] ;
    sh:minCount 1 ;
    sh:nodeKind sh:IRI ;
    sh:class iadopt:Variable ;
  ] ;

  sh:property [
    sh:message "Constraint needs to constrain at least one entity." ;
    sh:path iadopt:constrains ;
    sh:minCount 1 ;
    sh:nodeKind sh:IRI ;
  ] ;

  sh:sparql [
    a sh:SPARQLConstraint ;
    sh:message "Constraints of a Variable need to constrain only entities of the same Variable." ;
    sh:declare [
      sh:prefix "iadopt" ;
      sh:namespace "https://w3id.org/iadopt/ont/"^^xsd:anyURI ;
    ] ;
    sh:prefixes iadopt: ;
    sh:select """
      PREFIX iadopt: <https://w3id.org/iadopt/ont/>
      SELECT $this ?constrained
      WHERE {
        ?var iadopt:hasConstraint $this .
        $this iadopt:constrains ?constrained .
        FILTER NOT EXISTS { ?var (iadopt:hasObjectOfInterest|iadopt:hasMatrix|iadopt:hasContextObject|iadopt:hasProperty|iadopt:hasStatisticalModifier) ?constrained }
      }
      """ ;
  ] ;

  .



shape:SystemShape
  a sh:NodeShape ;
  sh:targetClass iadopt:System ;
  sh:closed false ;

  sh:property [
    sh:message "System class can not be used in isolation." ;
    sh:path rdf:type ;
    sh:minCount 1 ;
    sh:or (
      [ sh:class iadopt:SymmetricSystem ; ]
      [ sh:class iadopt:AsymmetricSystem ; ]
    ) ;
  ] ;
  .



shape:SymmetricSystemShape
  a sh:NodeShape ;
  sh:targetClass iadopt:SymmetricSystem ;
  sh:closed false ;

  sh:property [
    sh:message "SymmetricSystems can not be instances of AsymmetricSystem." ;
    sh:path rdf:type ;
    sh:not [
      sh:hasValue iadopt:AsymmetricSystem ;
    ]
  ] ;

  sh:property [
    sh:message "SymmetricSystems can not use asymmetric properties." ;
    sh:path [ sh:alternativePath (
      iadopt:hasSource
      iadopt:hasTarget
      iadopt:hasNumerator
      iadopt:hasDenominator
    ) ];
    sh:maxCount 0;
  ] ;

  sh:property [
    sh:message "SymmetricSystems have to have at least two uses of hasPart." ;
    sh:path iadopt:hasPart ;
    sh:minCount 2 ;
    sh:nodeKind sh:BlankNodeOrIRI ;
  ] ;
  .



shape:AsymmetricSystemShape
  a sh:NodeShape ;
  sh:targetClass iadopt:AsymmetricSystem ;
  sh:closed false ;

  sh:property [
    sh:message "AsymmetricSystems can not be instances of SymmetricSystem." ;
    sh:path rdf:type ;
    sh:not [
      sh:hasValue iadopt:SymmetricSystem ;
    ]
  ] ;

  sh:property [
    sh:message "AsymmetricSystems can not use symmetric properties." ;
    sh:path iadopt:hasPart ;
    sh:maxCount 0;
  ] ;

  sh:property [
    sh:message "AsymmetricSystems have to use at least two of the asymmetric properties." ;
    sh:path [ sh:alternativePath (
      iadopt:hasSource
      iadopt:hasTarget
      iadopt:hasNumerator
      iadopt:hasDenominator
    ) ];
    sh:minCount 2;
  ] ;

  .


shape:AsymmetricSystemShape_hasSource
  a sh:NodeShape ;
  sh:targetSubjectsOf iadopt:hasSource ;
  sh:closed false ;

  sh:property [
    sh:message "Use of hasSource allows for only hasTarget but not other asymmetric properties." ;
    sh:path [ sh:alternativePath (
      iadopt:hasNumerator
      iadopt:hasDenominator
    ) ];
    sh:maxCount 0;
  ] ;

  sh:property [
    sh:message "Use of hasSource requires at least one use of hasTarget." ;
    sh:path iadopt:hasTarget;
    sh:minCount 1;
  ] ;
  .


shape:AsymmetricSystemShape_hasTarget
  a sh:NodeShape ;
  sh:targetSubjectsOf iadopt:hasTarget ;
  sh:closed false ;

  sh:property [
    sh:message "Use of hasTarget allows for only hasSource but not other asymmetric properties." ;
    sh:path [ sh:alternativePath (
      iadopt:hasNumerator
      iadopt:hasDenominator
    ) ];
    sh:maxCount 0;
  ] ;

  sh:property [
    sh:message "Use of hasTarget requires at least one use of hasSource." ;
    sh:path iadopt:hasTarget;
    sh:minCount 1;
  ] ;
  .


shape:AsymmetricSystemShape_hasNumerator
  a sh:NodeShape ;
  sh:targetSubjectsOf iadopt:hasNumerator ;
  sh:closed false ;

  sh:property [
    sh:message "Use of hasNumerator allows for only hasDenominator but not other asymmetric properties." ;
    sh:path [ sh:alternativePath (
      iadopt:hasSource
      iadopt:hasTarget
    ) ];
    sh:maxCount 0;
  ] ;

  sh:property [
    sh:message "Use of hasNumerator requires exactly one use of hasDenominator." ;
    sh:path iadopt:hasDenominator;
    sh:minCount 1;
    sh:maxCount 1;
  ] ;
  .


shape:AsymmetricSystemShape_hasDenominator
  a sh:NodeShape ;
  sh:targetSubjectsOf iadopt:hasDenominator ;
  sh:closed false ;

  sh:property [
    sh:message "Use of hasDenominator allows for only hasNumerator but not other asymmetric properties." ;
    sh:path [ sh:alternativePath (
      iadopt:hasSource
      iadopt:hasTarget
    ) ];
    sh:maxCount 0;
  ] ;

  sh:property [
    sh:message "Use of hasDenominator requires exactly one use of hasNumerator." ;
    sh:path iadopt:hasNumerator;
    sh:minCount 1;
    sh:maxCount 1;
  ] ;
  .