# Base: http://example.org/substitution
@prefix ipo:     <http://www.example.com/IPO> .
@prefix ns1:     <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 ipo_:    <http://www.example.com/IPO#> .
@prefix :        <#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

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

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

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

ipo_:customerComment
      a       owl:DatatypeProperty , rdf:Property ;
      rdfs:range ns1:string ;
      rdfs:subPropertyOf ipo_:comment .

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

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

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

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

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

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

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

<>    a       owl:Ontology ;
      rdfs:comment "International Purchase order schema for Example.com Copyright 2000 Example.com. All rights reserved."@en ;
      owl:imports <http://example.org/address.owl> .

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

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

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

ipo_:shipComment
      a       owl:DatatypeProperty , rdf:Property ;
      rdfs:range ns1:string ;
      rdfs:subPropertyOf ipo_:comment .

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

ipo_:Items
      a       owl:Class ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom
                        [ a       owl:Class ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:maxCardinality "2"^^ns1:int ;
                                    owl:onProperty ipo_:shipComment
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:maxCardinality "2"^^ns1:int ;
                                    owl:onProperty ipo_:customerComment
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom ns1:date ;
                                    owl:onProperty ns2:shipDate
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:cardinality "1"^^ns1:int ;
                                    owl:onProperty ns2:partNum
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom ns1:string ;
                                    owl:onProperty ns2:productName
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom ns1:positiveInteger ;
                                    owl:onProperty ns2:quantity
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:cardinality "1"^^ns1:int ;
                                    owl:onProperty ns2:productName
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom ns1:decimal ;
                                    owl:onProperty ns2:USPrice
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:maxCardinality "2"^^ns1:int ;
                                    owl:onProperty ipo_:comment
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:maxCardinality "1"^^ns1:int ;
                                    owl:onProperty ns2:shipDate
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom ipo_:SKU ;
                                    owl:onProperty ns2:partNum
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:cardinality "1"^^ns1:int ;
                                    owl:onProperty ns2:USPrice
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:cardinality "1"^^ns1:int ;
                                    owl:onProperty ns2:quantity
                                  ]
                        ] ;
                owl:onProperty ns2:item
              ] .