@prefix : <http://www.semwebtech.org/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#>.

# some declarations are intensionally redundant

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

:Continent a owl:Class.
:River a owl:Class.
:Lake a owl:Class.
:Sea a owl:Class.
:Mountain a owl:Class.
:Desert a owl:Class.
:Island a owl:Class.
:Language a owl:Class.
:Religion a owl:Class.
:EthnicGroup a owl:Class.

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

:PoliticalThing rdfs:subClassOf :MondialThing.
:GeographicalThing rdfs:subClassOf :MondialThing.
:AnthropoGeographicalThing rdfs:subClassOf :MondialThing;
   owl:disjointWith :GeographicalThing.

:PoliticalOrGeographicalThing owl11:disjointUnionOf 
     (:PoliticalThing :GeographicalThing);
   owl:disjointWith :AnthropoGeographicalThing.

:AdministrativeArea rdfs:subClassOf :Area;
   rdfs:subClassOf :PoliticalThing.
:AdministrativeSubdivision rdfs:subClassOf :AdministrativeArea.

: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.
:Organization rdfs:subClassOf :PoliticalThing;
   owl:disjointWith :Country;
   owl:disjointWith :Province;
   owl:disjointWith :City.

# Countries, Provinces, Cities:

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

:belongsTo rdfs:domain :AdministrativeSubdivision.
:belongsTo rdfs:range :AdministrativeArea.

:population rdfs:domain :PoliticalOrGeographicalThing.
:population rdfs:range xsd:nonNegativeInteger.

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

:populationGrowth rdfs:domain :AdministrativeArea; rdfs:range xsd:decimal.
:infantMortality rdfs:domain :AdministrativeArea; rdfs:range xsd:decimal.
:gdpTotal rdfs:domain :AdministrativeArea; rdfs:range xsd:decimal.
:gdpAgri rdfs:domain :AdministrativeArea; rdfs:range xsd:decimal.
:gdpInd rdfs:domain :AdministrativeArea; rdfs:range xsd:decimal.
:gdpServ rdfs:domain :AdministrativeArea; rdfs:range xsd:decimal.
:inflation rdfs:domain :AdministrativeArea; rdfs:range xsd:decimal.
:government rdfs:domain :Country; rdfs:range xsd:string.
:independenceDate rdfs:domain :Country; rdfs:range xsd:string.

:abbrev a owl:FunctionalProperty; rdfs:domain :Organization;
  rdfs:range xsd:string.
:established a owl:FunctionalProperty; 
  rdfs:domain :PoliticalThing.
:hasHeadq a owl:FunctionalProperty; 
  rdfs:domain :Organization; rdfs:range :City.

# Geographical Things

:Continent rdfs:subClassOf :Area;
  rdfs:subClassOf :GeographicalThing.
:Water rdfs:subClassOf :GeographicalThing;
  owl:disjointWith :Continent.
:River rdfs:subClassOf :Water;
  rdfs:subClassOf :Line.
:Lake rdfs:subClassOf :Water;
  rdfs:subClassOf :Area;
  rdfs:subClassOf :Place;
  owl:disjointWith :River.
:Sea rdfs:subClassOf :Water;
  rdfs:subClassOf :Area;
  rdfs:subClassOf :Place;
  owl:disjointWith :River;
  owl:disjointWith :Lake.
:Desert rdfs:subClassOf :GeographicalThing;
  rdfs:subClassOf :Area;
  owl:disjointWith :Continent;
  owl:disjointWith :Water.
:Island rdfs:subClassOf :GeographicalThing;
  rdfs:subClassOf :Area;
  rdfs:subClassOf :Place;
  owl:disjointWith :Continent;
  owl:disjointWith :Desert;
  owl:disjointWith :Water.
:Mountain rdfs:subClassOf :GeographicalThing;
  rdfs:subClassOf :Place;
  owl:disjointWith :Continent;
  owl:disjointWith :Water;
  owl:disjointWith :Desert;
  owl:disjointWith :Island.

:area rdfs:domain :Area; 
  rdfs:range xsd:decimal.

:length rdfs:domain :Line; 
  rdfs:range xsd:decimal.

:height rdfs:domain :Place; 
  rdfs:range xsd:decimal.

:longitude rdfs:domain :Place; 
  rdfs:range xsd:decimal.
:latitude rdfs:domain :Place; 
  rdfs:range xsd:decimal.

# Relationships

:Encompassed rdfs:subClassOf :RelationshipThing.
:isEncompassed a owl:FunctionalProperty;
  rdfs:domain :Encompassed; rdfs:range :Area.
:encompassedBy a owl:FunctionalProperty; 
  rdfs:domain :Encompassed; rdfs:range :Area.

:Membership rdfs:subClassOf :RelationshipThing.
:ofMember a owl:FunctionalProperty; rdfs:domain :Membership;
  rdfs:range :Country. 
:inOrganization a owl:FunctionalProperty; rdfs:domain :Membership;
  rdfs:range :Organization.

:isMember rdfs:domain :Country;
  rdfs:range :Organization;
  owl:inverseOf :hasMember.

# a border is a line between two areas (e.g. country/country,
#  sea/sea, country/sea)
 
:Border a owl:Class;
  rdfs:subClassOf :Line.
:bordering rdfs:domain :Border;
  rdfs:range :Area;
  owl:cardinality 2.

:flowsInto rdfs:domain :River;
  rdfs:range :Water.

:locatedIn rdfs:domain :GeographicalThing;
  rdfs:range :Area.

# Anthropogeographical things

:Language rdfs:subClassOf :AnthropoGeographicalThing.
:Religion rdfs:subClassOf :AnthropoGeographicalThing;
  owl:disjointWith :Language.
:EthnicGroup rdfs:subClassOf :AnthropoGeographicalThing;
  owl:disjointWith :Language;
  owl:disjointWith :Religion.

:AnthropoGeograpicalRelationship rdfs:subClassOf :RelationshipThing.
:SpokenBy rdfs:subClassOf :AnthropoGeograpicalRelationship.
:BelievedBy rdfs:subClassOf :AnthropoGeograpicalRelationship;
  owl:disjointWith :SpokenBy.
:EthnicProportion rdfs:subClassOf :AnthropoGeograpicalRelationship;
  owl:disjointWith :SpokenBy;
  owl:disjointWith :BelievedBy.

:speak a owl:FunctionalProperty; 
  rdfs:domain :SpokenBy; rdfs:range :Language.
:believe a owl:FunctionalProperty;
  rdfs:domain :BelievedBy; rdfs:range :Religion.
:belongToGroup a owl:FunctionalProperty; 
  rdfs:domain :EthnicProportion; rdfs:range :EthnicGroup.
:country rdfs:range :Country.
  
:percent a owl:FunctionalProperty; rdfs:range xsd:decimal.