AAS-Shape.ttl

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@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 dcterms: <http://purl.org/dc/terms/> .
@prefix rami: <https://w3id.org/i40/rami#> .


# author: Sebastian Bader (sebastian.bader@iais.fraunhofer.de)
# Resources: 
#	RAMI Ontology: https://vocol.iais.fraunhofer.de/rami/
# 	W3C recommendation: https://www.w3.org/TR/shacl/
#	SHACL syntax checking: http://shacl.org/playground/
#	SHACL Advanced Features: https://w3c.github.io/data-shapes/shacl-af/

<#AasShape>
    a sh:NodeShape ;
    sh:targetClass rami:AdminShell ;
    sh:property [
      sh:path rdf:type ;
      sh:minCount 1 ; # this statement is redundant as each instance of type ids:Rule has at least one class relation (type).
	  #sh:message ""@en ;
    ] ;
	sh:constraint [
		sh:nodeKind sh:URI ;
		sh:message "Each AAS object must be a URI."@en ;
	] ;
    sh:property [
      sh:path rami:derivedFrom ;
      sh:class rami:AdminShell ;
      sh:minCount 0 ;
      sh:maxCount 1 ;
      sh:severity sh:Violation ;
      sh:message "Each AAS must be derived from either exactly 1 or none other AAS."@en ;
    ] ;
    sh:property [
      sh:path rami:security ;
      sh:class rami:Security ;
      sh:minCount 1 ;
      sh:maxCount 1 ;
      sh:severity sh:Violation ;
      sh:message "Each AAS must be related to exactly one Security element through the security relation."@en ;
    ] ;
    sh:property [
      sh:path rami:asset ;
      sh:class rami:Asset ;
      sh:minCount 1 ;
      sh:maxCount 1 ;
      sh:severity sh:Violation ;
      sh:message "Each AAS must be related to exactly one Asset through the asset relation."@en ;
    ] ;
    # sh:property [
    #   sh:path rami:hasSubmodel ;
    #   sh:class rami:Submodel ;
    #   sh:minCount 0 ;
    #   #sh:message ""@en ;
    # ] ; #otherwise the property is redundant, because it inherits also from DataSpecification
    sh:property [
      sh:path rami:conceptDescription ;
      sh:class rami:ConceptDescription ;
      sh:minCount 0 ;
      #sh:message ""@en ;
    ] ;
    sh:property [
      sh:path rami:hasView ;
      sh:class rami:View ;
      sh:minCount 0 ; #Perhaps sh:minCount has to be 1 (see "AAS in detail", p. 65 Figure 33)
      #sh:message ""@en ;
    ] ;
    sh:property [
      sh:path rami:hasKind ;
      sh:class rami:AssetKind ;
      sh:minCount 1 ;
      sh:maxCount 1 ;
      sh:severity sh:Violation ;
      sh:message "Each AAS must be either of kind instance or type."@en ;
    ] ;
	sh:constraint [
		sh:nodeKind sh:URI ;
		sh:message "Each AAS object must be a URI."@en ;
	] ;
	# AAS inherits from Identifiable
    sh:property [
      sh:path rami:administration ;
      sh:minCount 0 ;
      sh:maxCount 1 ;
	  sh:class rami:AdministrativeInformation ;
      sh:severity sh:Violation ;
      sh:message ""@en ;
    ] ;
    sh:property [
      sh:path rami:id ;
      sh:minCount 0 ;
      sh:message "An identifiable entity can have a rami:id."@en ; 
    ] ;
  # Identifiable inherits from Referable
  sh:property [
        sh:path rami:idShort ; 
        sh:valueDatatype xsd:string ;
        sh:minCount 0 ;
        sh:maxCount 1 ;
        sh:severity sh:violation ;
        sh:message "..."@en ; 
    ] ;

    sh:property [
        sh:path rami:category ;
        sh:valueDatatype xsd:string ;
        sh:minCount 0 ;
        sh:maxCount 1 ;
        sh:severity sh:violation ;
        sh:message "..."@en ;
    ] ;

    sh:property [
        sh:path rami:description ;
        sh:valueDatatype xsd:langString ;
        sh:minCount 0 ;
        sh:maxCount 1 ;
        sh:severity sh:violation ;
        sh:message "..."@en ;
    ] ;

    sh:property [
        sh:path rami:parent ;
        sh:class rami:Referable ;
        sh:minCount 0 ;
        sh:maxCount 1 ;
        sh:severity sh:violation ;
        sh:message "..."@en ;
    ] ;


	# AAS inherits from DataSpecification
    sh:property [
      sh:path rami:hasDataSpecification ;
      sh:class rami:Reference ;
      sh:minCount 0 ;
	    sh:nodeKind sh:IRI ; # class Reference is not part of the ontology
      sh:severity sh:Violation ;
      sh:message "rami:hasDataSpecification must point to a proper URI."@en ;
    ] ;
    sh:property [
      sh:path rami:hasSubmodel ;
      sh:class rami:Submodel ;
      sh:minCount 0 ;
      sh:message "A DataSpecification entity can have a rami:hasSubmodel relation to a rami:Submodel."@en ; 
    ] .