# baseURI: http://example.com/priva

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

<http://example.com/priva>
  rdf:type owl:Ontology ;
  spin:imports <http://topbraid.org/spin/owlrl-all> ;
  owl:versionInfo "Created with TopBraid Composer" ;
.
:BigPump
  rdf:type owl:Class ;
  rdfs:subClassOf :Pump ;
.
:BigPump_1
  rdf:type :BigPump ;
.
:BigSpace
  rdf:type owl:Class ;
  rdfs:subClassOf :Space ;
  rdfs:subClassOf [
      rdf:type owl:Restriction ;
      owl:allValuesFrom :BigPump ;
      owl:onProperty :hasPump ;
    ] ;
  rdfs:subClassOf [
      rdf:type owl:Restriction ;
      owl:allValuesFrom [
          rdf:type rdfs:Datatype ;
          owl:onDatatype xsd:float ;
          owl:withRestrictions (
              [
                xsd:minExclusive "150.0"^^xsd:float ;
              ]
            ) ;
        ] ;
      owl:onProperty :area ;
    ] ;
  owl:disjointWith :SmallSpace ;
.
:BigSpace_1
  rdf:type :BigSpace ;
  :area "100.0"^^xsd:float ;
  :hasPump :SmallPump_1 ;
.
:Pump
  rdf:type owl:Class ;
  rdfs:subClassOf owl:Thing ;
.
:SmallPump
  rdf:type owl:Class ;
  rdfs:subClassOf :Pump ;
  owl:disjointWith :BigPump ;
.
:SmallPump_1
  rdf:type :SmallPump ;
.
:SmallSpace
  rdf:type owl:Class ;
  rdfs:subClassOf :Space ;
  rdfs:subClassOf [
      rdf:type owl:Restriction ;
      owl:allValuesFrom :SmallPump ;
      owl:onProperty :hasPump ;
    ] ;
  owl:equivalentClass [
      rdf:type owl:Restriction ;
      owl:allValuesFrom [
          rdf:type rdfs:Datatype ;
          owl:onDatatype xsd:float ;
          owl:withRestrictions (
              [
                xsd:minInclusive "0.0"^^xsd:float ;
              ]
              [
                xsd:maxInclusive "150.0"^^xsd:float ;
              ]
            ) ;
        ] ;
      owl:onProperty :area ;
    ] ;
.
:Space
  rdf:type owl:Class ;
  rdfs:subClassOf owl:Thing ;
.
:area
  rdf:type owl:DatatypeProperty ;
  rdfs:domain :Space ;
  rdfs:range xsd:float ;
  rdfs:subPropertyOf owl:topDataProperty ;
.
:hasPump
  rdf:type owl:ObjectProperty ;
  rdfs:domain :Space ;
  rdfs:range :Pump ;
  rdfs:subPropertyOf owl:topObjectProperty ;
.
[
  rdf:type rdfs:Datatype ;
  owl:onDatatype :area ;
].
[
  rdf:type rdfs:Datatype ;
  owl:onDatatype :area ;
].