@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix mon: <http://www.semwebtech.org/mondial/10/meta#>.
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#>.
@prefix : <foo://bla/>.
:LongitudeT owl:equivalentClass [ a rdfs:Datatype; owl:onDatatype xsd:decimal;
   owl:withRestrictions ( [xsd:minExclusive -180] [xsd:maxInclusive 180] ) ] .
:LatitudeT owl:equivalentClass [ a rdfs:Datatype; owl:onDatatype xsd:decimal;
  owl:withRestrictions ( [ xsd:minInclusive -90] [xsd:maxInclusive 90] ) ] .
:EasternLongitudeT  owl:equivalentClass [a rdfs:Datatype;
  owl:onDatatype :LongitudeT; owl:withRestrictions ( [xsd:minInclusive 0] ) ] .
:EasternHemispherePlace owl:equivalentClass [a owl:Restriction;
  owl:onProperty mon:longitude; owl:someValuesFrom :EasternLongitudeT].
mon:longitude rdfs:range :LongitudeT.
mon:latitude rdfs:range :LatitudeT.
:Berlin a mon:City; :name "Berlin"; mon:longitude 13.3; mon:latitude 52.45 .
#:Atlantis a mon:City; :name "Atlantis"; mon:longitude -200; mon:latitude 100 .
:Lisbon a mon:City; :name "Lisbon"; mon:longitude -9.1; mon:latitude 38.7 .
