# baseURI: http://www.modelservers.org/ontologies/hellingbaan
# imports: http://spinrdf.org/spin
# imports: http://www.modelservers.org/public/ontologies/cmo/cmo.ttl

@prefix : <http://www.modelservers.org/ontologies/hellingbaan#> .
@prefix cmo: <http://www.modelservers.org/public/ontologies/cmo/cmo.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 sp: <http://spinrdf.org/sp#> .
@prefix spin: <http://spinrdf.org/spin#> .
@prefix spl: <http://spinrdf.org/spl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://www.modelservers.org/ontologies/hellingbaan>
  rdf:type owl:Ontology ;
  owl:imports <http://spinrdf.org/spin> ;
  owl:imports <http://www.modelservers.org/public/ontologies/cmo/cmo.ttl> ;
  owl:versionInfo "Created with TopBraid Composer"^^xsd:string ;
.
:Hellingbaan
  rdf:type owl:Class ;
  spin:constructor [
      rdf:type sp:Construct ;
      sp:templates (
          [
            sp:object :HellingbaanLaag ;
            sp:predicate rdf:type ;
            sp:subject spin:_this ;
          ]
        ) ;
      sp:where (
          [
            sp:object [
                sp:varName "hoogte"^^xsd:string ;
              ] ;
            sp:predicate :hoogte ;
            sp:subject spin:_this ;
          ]
          [
            rdf:type sp:Filter ;
            sp:expression [
                rdf:type sp:lt ;
                sp:arg1 [
                    sp:varName "hoogte"^^xsd:string ;
                  ] ;
                sp:arg2 "0.25"^^xsd:float ;
              ] ;
          ]
        ) ;
    ] ;
  rdfs:subClassOf owl:Thing ;
  rdfs:subClassOf [
      rdf:type owl:Restriction ;
      owl:allValuesFrom [
          rdf:type rdfs:Datatype ;
          owl:onDatatype xsd:float ;
          owl:withRestrictions (
              [
                xsd:maxInclusive "1.0"^^xsd:float ;
              ]
            ) ;
        ] ;
      owl:onProperty :hoogte ;
    ] ;
  rdfs:subClassOf [
      rdf:type owl:Restriction ;
      owl:allValuesFrom [
          rdf:type rdfs:Datatype ;
          owl:onDatatype xsd:float ;
          owl:withRestrictions (
              [
                xsd:minInclusive "1.1"^^xsd:float ;
              ]
            ) ;
        ] ;
      owl:onProperty :breedte ;
    ] ;
.
:HellingbaanHoog
  rdf:type owl:Class ;
  rdfs:subClassOf :Hellingbaan ;
  owl:equivalentClass [
      rdf:type owl:Class ;
      owl:intersectionOf (
          :Hellingbaan
          [
            rdf:type owl:Restriction ;
            owl:allValuesFrom [
                rdf:type rdfs:Datatype ;
                owl:onDatatype xsd:float ;
                owl:withRestrictions (
                    [
                      xsd:minExclusive "0.5"^^xsd:float ;
                    ]
                  ) ;
              ] ;
            owl:onProperty :hoogte ;
          ]
        ) ;
    ] ;
.
:HellingbaanLaag
  rdf:type owl:Class ;
  rdfs:subClassOf :Hellingbaan ;
  owl:equivalentClass [
      rdf:type owl:Class ;
      owl:intersectionOf (
          :Hellingbaan
          [
            rdf:type owl:Restriction ;
            owl:allValuesFrom [
                rdf:type rdfs:Datatype ;
                owl:onDatatype xsd:float ;
                owl:withRestrictions (
                    [
                      xsd:maxExclusive "0.25"^^xsd:float ;
                    ]
                  ) ;
              ] ;
            owl:onProperty :hoogte ;
          ]
        ) ;
    ] ;
.
:HellingbaanMiddel
  rdf:type owl:Class ;
  rdfs:subClassOf :Hellingbaan ;
  owl:equivalentClass [
      rdf:type owl:Class ;
      owl:intersectionOf (
          :Hellingbaan
          [
            rdf:type owl:Restriction ;
            owl:allValuesFrom [
                rdf:type rdfs:Datatype ;
                owl:onDatatype xsd:float ;
                owl:withRestrictions (
                    [
                      xsd:minInclusive "0.25"^^xsd:float ;
                    ]
                    [
                      xsd:maxInclusive "0.50"^^xsd:float ;
                    ]
                  ) ;
              ] ;
            owl:onProperty :hoogte ;
          ]
        ) ;
    ] ;
.
:Hellingbaan_1
  rdf:type :Hellingbaan ;
  :hoogte "0.10"^^xsd:float ;
.
:breedte
  rdf:type owl:DatatypeProperty ;
  cmo:hasExponents "1,0,0,0,0,0,0"^^xsd:string ;
  cmo:hasUnit "metre"^^xsd:string ;
  rdfs:subPropertyOf cmo:length ;
.
:hellingshoek
  rdf:type owl:DatatypeProperty ;
  rdfs:subPropertyOf cmo:planeAngle ;
.
:hoogte
  rdf:type owl:DatatypeProperty ;
  rdfs:subPropertyOf cmo:length ;
.