# $Id: water.a.n3.txt 268 2004-04-19 14:50:02Z josd $

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rivers: <http://www.chine.org/geography/river#>.
@prefix : <water#> .
@prefix geo: <???#>.

:BodyOfWater owl:equivalentClass :LakeOceanSea.
:BodyOfWater rdfs:subClassOf :NaturallyOccurringWaterSource.

:River rdfs:subClassOf :Stream.
:River owl:disjointWith :Brook.
:River owl:disjointWith :Rivulet.
:River owl:disjointWith :Tributary.

:Stream rdfs:subClassOf :NaturallyOccurringWaterSource.
:BodyOfWater rdfs:subClassOf :NaturallyOccurringWaterSource.
:Brook rdfs:subClassOf :Stream.
:River rdfs:subClassOf :Stream.
:Tributary rdfs:subClassOf :Stream.

:Rivulet rdfs:subClassOf :Brook.
:Lake rdfs:subClassOf :BodyOfWater.
:Ocean rdfs:subClassOf :BodyOfWater.
:Sea rdfs:subClassOf :BodyOfWAter.
:Ocean rdfs:subClassOf :BodyOfWater.

:connectsTo a owl:SymmetricProperty.
:connectsTo rdfs:domain :NaturallyOccurringWaterSource.
:connectsTo rdfs:range :NaturallyOccurringWaterSource.

:containedIn a owl:TransitiveProperty.
:Sea :containedIn :BodyOfWater.

:emptiesInto a owl:FunctionalProperty.
:River emptiesInto :BodyOfWater.
:feedsFrom owl:inverseOf :emptiesInto.
:feedsFrom a owl:InverseFunctionalProperty.
:BodyOfWater :feedsFrom :River.
:River rdfs:subClassOf :Stream.

:Cx a owl:Restriction; owl:onProperty :emptiesInto; owl:allValuesFrom :Sea.
:Flueve owl:intersectionOf (:River :Cx).
:Flueve rdfs:subClassOf :River.
:Flueve rdfs:subClassOf :Cx.

:Cy a owl:Restriction; owl:onProperty :emptiesInto; owl:allValuesFrom :River.
:Cz owl:unionOf (:Cx :Cy).
:Rivière owl:intersectionOf (:River :Cz).

:NaturallyOccurringWaterSource owl:intersectionOf (:WaterSource [owl:complementOf :ManMadeWaterSource]).

:Kyoto-Protected-River rdfs:subClassOf :River; owl:oneOf (rivers:Yantze rivers:Mississippi rivers:Nile rivers:Amazon).
rivers:Yantze a geo:River.
rivers:Mississippi a geo:River.
rivers:Nile a geo:River.
rivers:Amazon a geo:River.