# baseURI: http://example.com/priva.shapes
# imports: http://datashapes.org/dash
# imports: http://example.com/priva

@prefix : <http://example.com/priva#> .
@prefix dash: <http://datashapes.org/dash#> .
@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 spin: <http://spinrdf.org/spin#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

:BigSpace
  rdf:type sh:NodeShape ;
  sh:property :BigSpace-area ;
  sh:property :BigSpace-hasPump ;
.
:BigSpace-area
  rdf:type sh:PropertyShape ;
  sh:path :area ;
  sh:class xsd:float ;
.
:BigSpace-hasPump
  rdf:type sh:PropertyShape ;
  sh:path :hasPump ;
  sh:class :BigPump ;
.
:SmallSpace
  rdf:type sh:NodeShape ;
  sh:property :SmallSpace-hasPump ;
.
:SmallSpace-hasPump
  rdf:type sh:PropertyShape ;
  sh:path :hasPump ;
  sh:class :SmallPump ;
.
:Space
  rdf:type sh:NodeShape ;
  sh:property :Space-area ;
  sh:property :Space-hasPump ;
.
:Space-area
  rdf:type sh:PropertyShape ;
  sh:path :area ;
  sh:class xsd:float ;
.
:Space-hasPump
  rdf:type sh:PropertyShape ;
  sh:path :hasPump ;
  sh:class :Pump ;
.
<http://example.com/priva.shapes>
  rdf:type owl:Ontology ;
  owl:imports <http://datashapes.org/dash> ;
  owl:imports <http://example.com/priva> ;
.