@prefix : <http://www.semwebtech.de/mondial/10/meta#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix owl11: <http://www.w3.org/2006/12/owl11#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.

## alt 

:Country a owl:Class.
:Province a owl:Class.
:City a owl:Class.

:name rdfs:domain :MondialThing.
:carCode rdfs:domain :Country.

:Country rdfs:subClassOf :AdministrativeArea.
:Province rdfs:subClassOf :AdministrativeArea;
   rdfs:subClassOf :AdministrativeSubdivision;
   owl:disjointWith :Country.
:City rdfs:subClassOf :AdministrativeSubdivision;
   rdfs:subClassOf :Place;
   owl:disjointWith :Country;
   owl:disjointWith :Province.

# Countries, Provinces, Cities:

:hasProvince a owl:InverseFunctionalProperty; rdfs:domain :Country.
:hasProvince owl:inverseOf :isProvinceOf.
:isProvinceOf rdfs:subPropertyOf :belongsTo.
:cityIn rdfs:subPropertyOf :belongsTo.
:hasCity owl:inverseOf :cityIn.

:belongsTo rdfs:range :AdministrativeArea.

:capital a owl:FunctionalProperty;
  rdfs:domain :AdministrativeArea;
  rdfs:range :City;
  owl:inverseOf :isCapitalOf.


## neu

:belongsTo a owl:TransitiveProperty; owl:inverseOf :hasProvOrCity.

:City a owl:Class; owl:equivalentClass
 [a owl:Restriction; owl:onProperty :belongsTo; owl:maxCardinality 1; owl11:onClass :Country].
:City a owl:Class; owl:equivalentClass
 [a owl:Restriction; owl:onProperty :isCapitalOf; owl:maxCardinality 1; owl11:onClass :Country].

:city1 a :City; :cityIn :prov1.
:city1 a :City; :cityIn :prov2.
:prov1 a :Province.
:prov2 a :Province.
:country1 :hasProvince :prov1.
:country2 :hasProvince :prov2.

:name a owl:FunctionalProperty.
:country1 :name "A".
:country2 :name "B".