# Saved by TopBraid on Tue Oct 05 15:45:35 PDT 2010
# baseURI: http://example.org/test/tsm/2010-10-05/qudt

@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 tsm-qudt:  <http://example.org/test/tsm/2010-10-05/qudt#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .

<http://example.org/test/tsm/2010-10-05/qudt>
      rdf:type owl:Ontology ;
      owl:versionInfo "Created with TopBraid Composer"^^xsd:string .

tsm-qudt:DegreeFahrenheit
      rdf:type rdfs:Datatype ;
      owl:equivalentClass
              [ rdf:type rdfs:Datatype ;
                owl:onDatatype xsd:double ;
                owl:withRestrictions
                        ([ xsd:minExclusive "0"^^xsd:double
                          ])
              ] .

tsm-qudt:DegreeFahrenheit2
      rdf:type rdfs:Datatype ;
      rdfs:subClassOf xsd:double .

tsm-qudt:casingTemperature
      rdf:type owl:DatatypeProperty ;
      rdfs:range
              [ rdf:type rdfs:Datatype ;
                owl:onDatatype tsm-qudt:DegreeFahrenheit ;
                owl:withRestrictions
                        ([ xsd:minExclusive "1"^^xsd:double
                          ])
              ] ;
      rdfs:range
              [ rdf:type rdfs:Datatype ;
                owl:onDatatype tsm-qudt:DegreeFahrenheit2 ;
                owl:withRestrictions
                        ([ xsd:minExclusive "0"^^xsd:double
                          ])
              ] .

owl:Thing
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom
                        [ rdf:type rdfs:Datatype ;
                          owl:onDatatype tsm-qudt:DegreeFahrenheit ;
                          owl:withRestrictions
                                  ([ xsd:minExclusive "9"^^xsd:double
                                    ])
                        ] ;
                owl:onProperty tsm-qudt:casingTemperature
              ] ;
      rdfs:subClassOf
              [ rdf:type owl:Restriction ;
                owl:allValuesFrom
                        [ rdf:type rdfs:Datatype ;
                          owl:onDatatype tsm-qudt:DegreeFahrenheit2 ;
                          owl:withRestrictions
                                  ([ xsd:minExclusive "4"^^xsd:double
                                    ])
                        ] ;
                owl:onProperty tsm-qudt:casingTemperature
              ] .

[]    rdf:type rdfs:Datatype ;
      owl:onDatatype <http://data.nasa.gov/qudt/owl/unit#DegreeFahrenheit> .

[]    rdf:type rdfs:Datatype ;
      owl:onDatatype owl:Thing .

[]    rdf:type rdfs:Datatype ;
      owl:onDatatype tsm-qudt:DegreeFahrenheit .

[]    rdf:type rdfs:Datatype ;
      owl:onDatatype tsm-qudt:DegreeFahrenheit .