# Base: http://example.org/address.owl
@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#> .

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

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

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

ns2:postcode
      a       rdf:Property .

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

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

ipo_:USState
      a       owl:Class ;
      owl:equivalentClass
              [ a       owl:DataRange ;
                owl:oneOf ("AK"^^ns1:string "AL"^^ns1:string "AR"^^ns1:string "PA"^^ns1:string)
              ] .

ipo_:USAddress
      a       owl:Class ;
      rdfs:subClassOf ipo_:Address ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:city
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:zip
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:street
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:string ;
                owl:onProperty ns2:street
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:positiveInteger ;
                owl:onProperty ns2:zip
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ipo_:USState ;
                owl:onProperty ns2:state
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:string ;
                owl:onProperty ns2:name
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:name
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:state
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:string ;
                owl:onProperty ns2:city
              ] .

ipo_:UKAddress
      a       owl:Class ;
      rdfs:subClassOf ipo_:Address ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:street
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:positiveInteger ;
                owl:onProperty ns2:exportCode
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:postcode
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:string ;
                owl:onProperty ns2:street
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:city
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:string ;
                owl:onProperty ns2:name
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:name
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:string ;
                owl:onProperty ns2:city
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:maxCardinality "1"^^ns1:int ;
                owl:onProperty ns2:exportCode
              ] .

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

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

ipo_:Address
      a       owl:Class ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:string ;
                owl:onProperty ns2:city
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:name
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:street
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:string ;
                owl:onProperty ns2:street
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom ns1:string ;
                owl:onProperty ns2:name
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:cardinality "1"^^ns1:int ;
                owl:onProperty ns2:city
              ] .