# Base: http://example.org/po
@prefix ns1:     <http://tempuri.org/po.xsd#> .
@prefix xs:      <http://www.w3.org/2001/XMLSchema> .
@prefix ns2:     <http://example.org#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix daml:    <http://www.daml.org/2001/03/daml+oil#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xs_:     <http://www.w3.org/2001/XMLSchema#> .
@prefix :        <#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

ns1:USAddress
      a       owl:Class ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^xs_:int ;
                owl:onProperty ns1:city
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom xs_:string ;
                owl:onProperty ns1:city
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom xs_:decimal ;
                owl:onProperty ns1:zip
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^xs_:int ;
                owl:onProperty ns1:name
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:maxCardinality "1"^^xs_:int ;
                owl:onProperty ns2:country
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom xs_:string ;
                owl:onProperty ns1:state
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom xs_:string ;
                owl:onProperty ns1:name
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^xs_:int ;
                owl:onProperty ns1:street
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom xs_:NMTOKEN ;
                owl:onProperty ns2:country
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^xs_:int ;
                owl:onProperty ns1:zip
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom xs_:string ;
                owl:onProperty ns1:street
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^xs_:int ;
                owl:onProperty ns1:state
              ] .

<>    a       owl:Ontology ;
      rdfs:comment "Purchase order schema for Example.com. Copyright 2000 Example.com. All rights reserved."@en .

ns2:weightKg
      a       owl:DatatypeProperty , rdf:Property .

ns1:items
      a       owl:ObjectProperty , rdf:Property .

ns1:shipDate
      a       owl:DatatypeProperty , rdf:Property .

ns1:SKU
      a       owl:Class ;
      rdfs:subClassOf xs_:string .

ns2:partNum
      a       owl:DatatypeProperty , rdf:Property .

ns1:PurchaseOrderType
      a       owl:Class ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:USAddress ;
                owl:onProperty ns1:shipTo
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:Items ;
                owl:onProperty ns1:items
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:USAddress ;
                owl:onProperty ns1:billTo
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^xs_:int ;
                owl:onProperty ns1:billTo
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^xs_:int ;
                owl:onProperty ns1:shipTo
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom xs_:date ;
                owl:onProperty ns2:orderDate
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:maxCardinality "1"^^xs_:int ;
                owl:onProperty ns1:comment
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:maxCardinality "1"^^xs_:int ;
                owl:onProperty ns2:orderDate
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^xs_:int ;
                owl:onProperty ns1:items
              ] .

ns1:state
      a       owl:DatatypeProperty , rdf:Property .

ns2:orderDate
      a       owl:DatatypeProperty , rdf:Property .

ns2:shipBy
      a       owl:DatatypeProperty , rdf:Property .

ns1:productName
      a       owl:DatatypeProperty , rdf:Property .

ns1:street
      a       owl:DatatypeProperty , rdf:Property .

ns1:shipTo
      a       owl:ObjectProperty , rdf:Property .

ns2:country
      a       owl:DatatypeProperty , rdf:Property .

ns1:purchaseOrder
      a       owl:ObjectProperty ;
      rdfs:range ns1:PurchaseOrderType .

ns1:billTo
      a       owl:ObjectProperty , rdf:Property .

ns1:comment
      a       owl:DatatypeProperty , rdf:Property ;
      rdfs:range xs_:string .

ns1:quantity
      a       owl:DatatypeProperty , rdf:Property .

ns1:zip
      a       owl:DatatypeProperty , rdf:Property .

ns1:item
      a       owl:ObjectProperty , rdf:Property .

ns1:Items
      a       owl:Class ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom
                        [ a       owl:Class ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:maxCardinality "1"^^xs_:int ;
                                    owl:onProperty ns1:comment
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom xs_:decimal ;
                                    owl:onProperty ns2:weightKg
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom xs_:string ;
                                    owl:onProperty ns1:productName
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:maxCardinality "1"^^xs_:int ;
                                    owl:onProperty ns1:shipDate
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom
                                            [ a       owl:DataRange ;
                                              owl:oneOf ("air"^^xs_:string "land"^^xs_:string "any"^^xs_:string)
                                            ] ;
                                    owl:onProperty ns2:shipBy
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:maxCardinality "1"^^xs_:int ;
                                    owl:onProperty ns2:weightKg
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom xs_:decimal ;
                                    owl:onProperty ns1:USPrice
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:cardinality "1"^^xs_:int ;
                                    owl:onProperty ns1:quantity
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:cardinality "1"^^xs_:int ;
                                    owl:onProperty ns1:USPrice
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:cardinality "1"^^xs_:int ;
                                    owl:onProperty ns1:productName
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom xs_:positiveInteger ;
                                    owl:onProperty ns1:quantity
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom xs_:date ;
                                    owl:onProperty ns1:shipDate
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom ns1:SKU ;
                                    owl:onProperty ns2:partNum
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:cardinality "1"^^xs_:int ;
                                    owl:onProperty ns2:partNum
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:maxCardinality "1"^^xs_:int ;
                                    owl:onProperty ns2:shipBy
                                  ]
                        ] ;
                owl:onProperty ns1:item
              ] .

ns1:city
      a       owl:DatatypeProperty , rdf:Property .

ns1:name
      a       owl:DatatypeProperty , rdf:Property .

ns1:USPrice
      a       owl:DatatypeProperty , rdf:Property .