# Base: http://example.org/report
@prefix xipo:    <http://www.example.com/IPO> .
@prefix ns1:     <http://www.w3.org/2001/XMLSchema#> .
@prefix r:       <http://www.example.com/Report> .
@prefix ns2:     <http://example.org#> .
@prefix r_:      <http://www.example.com/Report#> .
@prefix xipo_:   <http://www.example.com/IPO#> .
@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 :        <#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

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

rdf:value
      a       owl:DatatypeProperty , rdf:Property .

r_:purchaseReport
      a       owl:ObjectProperty ;
      rdfs:range
              [ a       owl:Class ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:allValuesFrom r_:PartsType ;
                          owl:onProperty r_:parts
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:allValuesFrom r_:RegionsType ;
                          owl:onProperty r_:regions
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:maxCardinality "1"^^ns1:int ;
                          owl:onProperty ns2:periodEnding
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:maxCardinality "1"^^ns1:int ;
                          owl:onProperty ns2:period
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:allValuesFrom ns1:date ;
                          owl:onProperty ns2:periodEnding
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:cardinality "1"^^ns1:int ;
                          owl:onProperty r_:parts
                        ] ;
                rdfs:subClassOf
                        [ a       owl:Restriction ;
                          owl:cardinality "1"^^ns1:int ;
                          owl:onProperty r_:regions
                        ]
              ] .

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

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

r_:zip
      a       owl:ObjectProperty , rdf:Property .

r_:regions
      a       owl:ObjectProperty , rdf:Property .

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

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

r_:part
      a       owl:ObjectProperty , rdf:Property .

r_:parts
      a       owl:ObjectProperty , rdf:Property .

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

r_:PartsType
      a       owl:Class ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:minCardinality "1"^^ns1:int ;
                owl:onProperty r_:part
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom
                        [ a       owl:Class ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom xipo_:SKU ;
                                    owl:onProperty ns2:number
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:maxCardinality "1"^^ns1:int ;
                                    owl:onProperty ns2:number
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom ns1:string ;
                                    owl:onProperty rdf:value
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:cardinality "1"^^ns1:int ;
                                    owl:onProperty rdf:value
                                  ]
                        ] ;
                owl:onProperty r_:part
              ] .

r_:RegionsType
      a       owl:Class ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom
                        [ a       owl:Class ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:maxCardinality "1"^^ns1:int ;
                                    owl:onProperty ns2:code
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:minCardinality "1"^^ns1:int ;
                                    owl:onProperty r_:part
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom
                                            [ a       owl:Class ;
                                              rdfs:subClassOf
                                                      [ a       owl:Restriction ;
                                                        owl:allValuesFrom xipo_:SKU ;
                                                        owl:onProperty ns2:number
                                                      ] ;
                                              rdfs:subClassOf
                                                      [ a       owl:Restriction ;
                                                        owl:maxCardinality "1"^^ns1:int ;
                                                        owl:onProperty ns2:quantity
                                                      ] ;
                                              rdfs:subClassOf
                                                      [ a       owl:Restriction ;
                                                        owl:allValuesFrom ns1:positiveInteger ;
                                                        owl:onProperty ns2:quantity
                                                      ] ;
                                              rdfs:subClassOf
                                                      [ a       owl:Restriction ;
                                                        owl:maxCardinality "1"^^ns1:int ;
                                                        owl:onProperty ns2:number
                                                      ]
                                            ] ;
                                    owl:onProperty r_:part
                                  ] ;
                          rdfs:subClassOf
                                  [ a       owl:Restriction ;
                                    owl:allValuesFrom ns1:positiveInteger ;
                                    owl:onProperty ns2:code
                                  ]
                        ] ;
                owl:onProperty r_:zip
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:minCardinality "1"^^ns1:int ;
                owl:onProperty r_:zip
              ] .