@prefix : <http://benangmerah.net/ontology/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://benangmerah.net/ontology/WilayahOnt> .

<http://benangmerah.net/ontology/WilayahOnt> rdf:type owl:Ontology ;
                                             
                                             rdfs:comment "Indonesian Administrative Divisions Ontology" ;
                                             
                                             owl:priorVersion <http://sw.benangmerah.net/ontology/idn-adm-div/> .


#################################################################
#
#    Object Properties
#
#################################################################


###  http://benangmerah.net/ontology/contains

:contains rdf:type owl:ObjectProperty ,
                   owl:TransitiveProperty .



###  http://benangmerah.net/ontology/hasChild

:hasChild rdf:type owl:ObjectProperty ;
          
          rdfs:comment "Indicates that {object} is a child of {subject} in the hierarchy of administrative divisions." ;
          
          rdfs:domain :AdministrativeDivision ;
          
          rdfs:range :AdministrativeDivision ;
          
          rdfs:subPropertyOf :contains ;
          
          owl:inverseOf :hasParent .



###  http://benangmerah.net/ontology/hasLocationIn

:hasLocationIn rdf:type owl:ObjectProperty ;
               
               rdfs:comment "Indicates that {subject} has a physical location in the place identified by {object}." ;
               
               rdfs:range :Place ;
               
               rdfs:subPropertyOf :isInside ;
               
               rdfs:domain [ rdf:type owl:Class ;
                             owl:complementOf :Place
                           ] .



###  http://benangmerah.net/ontology/hasParent

:hasParent rdf:type owl:ObjectProperty ;
           
           rdfs:comment "Indicates that {object} is the parent of {subject} in the hierarchy of administrative divisions." ;
           
           rdfs:range :AdministrativeDivision ;
           
           rdfs:domain :AdministrativeDivision ;
           
           rdfs:subPropertyOf :isInside .



###  http://benangmerah.net/ontology/isInside

:isInside rdf:type owl:ObjectProperty ,
                   owl:TransitiveProperty .





#################################################################
#
#    Data properties
#
#################################################################


###  http://benangmerah.net/ontology/hasGovernmentCode

:hasGovernmentCode rdf:type owl:DatatypeProperty .



###  http://benangmerah.net/ontology/hasPostCode

:hasPostCode rdf:type owl:DatatypeProperty .





#################################################################
#
#    Classes
#
#################################################################


###  http://benangmerah.net/ontology/AdministrativeDivision

:AdministrativeDivision rdf:type owl:Class ;
                        
                        rdfs:subClassOf :Place ;
                        
                        rdfs:comment "An administrative division of a country, or of another administrative division." .



###  http://benangmerah.net/ontology/Desa

:Desa rdf:type owl:Class ;
      
      rdfs:label "Desa" ;
      
      rdfs:subClassOf :FourthOrderAdministrativeDivision ,
                      :IndonesianAdministrativeDivision .



###  http://benangmerah.net/ontology/Distrik

:Distrik rdf:type owl:Class ;
         
         rdfs:label "Distrik" ;
         
         rdfs:subClassOf :IndonesianAdministrativeDivision ,
                         :ThirdOrderAdministrativeDivision .



###  http://benangmerah.net/ontology/FirstOrderAdministrativeDivision

:FirstOrderAdministrativeDivision rdf:type owl:Class ;
                                  
                                  rdfs:subClassOf :AdministrativeDivision .



###  http://benangmerah.net/ontology/FourthOrderAdministrativeDivision

:FourthOrderAdministrativeDivision rdf:type owl:Class ;
                                   
                                   rdfs:subClassOf :AdministrativeDivision .



###  http://benangmerah.net/ontology/IndonesianAdministrativeDivision

:IndonesianAdministrativeDivision rdf:type owl:Class ;
                                  
                                  rdfs:subClassOf :AdministrativeDivision .



###  http://benangmerah.net/ontology/Kabupaten

:Kabupaten rdf:type owl:Class ;
           
           rdfs:label "Kabupaten" ;
           
           rdfs:subClassOf :IndonesianAdministrativeDivision ,
                           :SecondOrderAdministrativeDivision .



###  http://benangmerah.net/ontology/KabupatenAdministrasi

:KabupatenAdministrasi rdf:type owl:Class ;
                       
                       rdfs:label "Kabupaten Administratif" ;
                       
                       rdfs:subClassOf :Kabupaten .



###  http://benangmerah.net/ontology/Kecamatan

:Kecamatan rdf:type owl:Class ;
           
           rdfs:label "Kecamatan" ;
           
           rdfs:subClassOf :IndonesianAdministrativeDivision ,
                           :ThirdOrderAdministrativeDivision .



###  http://benangmerah.net/ontology/Kelurahan

:Kelurahan rdf:type owl:Class ;
           
           rdfs:label "Kelurahan" ;
           
           rdfs:subClassOf :FourthOrderAdministrativeDivision .



###  http://benangmerah.net/ontology/Kota

:Kota rdf:type owl:Class ;
      
      rdfs:label "Kota" ;
      
      rdfs:subClassOf :IndonesianAdministrativeDivision ,
                      :SecondOrderAdministrativeDivision .



###  http://benangmerah.net/ontology/KotaAdministrasi

:KotaAdministrasi rdf:type owl:Class ;
                  
                  rdfs:label "Kota Administrasi" ;
                  
                  rdfs:subClassOf :Kota .



###  http://benangmerah.net/ontology/Place

:Place rdf:type owl:Class .



###  http://benangmerah.net/ontology/PostCodeArea

:PostCodeArea rdf:type owl:Class ;
              
              rdfs:subClassOf :Place ;
              
              rdfs:comment "An area spanning places which share the same postcode." .



###  http://benangmerah.net/ontology/Provinsi

:Provinsi rdf:type owl:Class ;
          
          rdfs:label "Provinsi" ;
          
          rdfs:subClassOf :FirstOrderAdministrativeDivision ,
                          :IndonesianAdministrativeDivision .



###  http://benangmerah.net/ontology/PseudoAdministrativeDivision

:PseudoAdministrativeDivision rdf:type owl:Class ;
                              
                              rdfs:subClassOf :Place ;
                              
                              rdfs:comment "A place which indicates an area spanning multiple administrative divisions, without being part of the official hierarchy of administrative divisions." .



###  http://benangmerah.net/ontology/SecondOrderAdministrativeDivision

:SecondOrderAdministrativeDivision rdf:type owl:Class ;
                                   
                                   rdfs:subClassOf :AdministrativeDivision .



###  http://benangmerah.net/ontology/ThirdOrderAdministrativeDivision

:ThirdOrderAdministrativeDivision rdf:type owl:Class ;
                                  
                                  rdfs:subClassOf :AdministrativeDivision .



###  http://benangmerah.net/ontology/WilayahOnt/Country

<http://benangmerah.net/ontology/WilayahOnt/Country> rdf:type owl:Class ;
                                                     
                                                     rdfs:subClassOf :Place ;
                                                     
                                                     rdfs:comment "A country." .





#################################################################
#
#    General axioms
#
#################################################################


[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :FirstOrderAdministrativeDivision
                :FourthOrderAdministrativeDivision
                :SecondOrderAdministrativeDivision
                :ThirdOrderAdministrativeDivision
              )
] .
[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :Desa
                :Distrik
                :Kabupaten
                :Kecamatan
                :Kota
                :Provinsi
              )
] .




###  Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net