OneStepBackward

OneStepBackward.ttl

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 owl: <http://www.w3.org/2002/07/owl#>
prefix ex: <http://example.com/ns#>
prefix s: <http://schema.org/>


ex:OneStep a sh:NodeShape ;
  sh:targetClass ex:OneStep ;
  sh:property [
    sh:path ( ex:activate [ sh:inversePath ex:activate ] ex:moveon ) ;
    sh:minCount 1
  ] .


ex:TwoSequence a sh:NodeShape ;
  sh:targetClass ex:TwoSequence ;
  sh:property [
    sh:path ( ex:first ex:second ) ;
    sh:minCount 1
  ] .

ex:OneSequence a sh:NodeShape ;
  sh:targetClass ex:OneSequence ;
  sh:property [
    sh:path ( ex:first ) ;
    sh:minCount 1
  ] .

ex:ClassicPath a sh:NodeShape ;
  sh:targetClass ex:ClassicPath ;
  sh:property [
    sh:path ex:first ;
    sh:minCount 1
  ] .

ex:InverseUnitPath a sh:NodeShape ;
  sh:targetClass ex:InverseUnitPath ;
  sh:property [
    sh:path [ sh:inversePath ex:first ] ;
    sh:minCount 1
  ] .