@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 oc:  <http://www.workingontologist.org/Examples/Chapter15/Ocean#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .

<http://www.workingontologist.org/Examples/Chapter15/Ocean>
        rdf:type  owl:Ontology .

 
oc:OceanPort a owl:Class ; rdfs:subClassOf oc:City ; rdfs:label "Ocean port" ;
  owl:equivalentClass [a owl:Restriction ; rdfs:label "connects to some Ocean" ;
                       owl:someValuesFrom oc:Ocean ;
		       owl:onProperty oc:connectsTo ] .


oc:OceanPort2 a owl:Class ;   rdfs:subClassOf oc:City ;
  rdfs:label "Ocean port" ;
  owl:equivalentClass [ a owl:Class ;  rdfs:label "(connects to some Ocean) and  City"  ; owl:intersectionOf _:bx] .
  _:bx rdf:first
			[a owl:Restriction ;
                       owl:someValuesFrom oc:Ocean ;
		       owl:onProperty oc:connectsTo];
		       rdf:next (oc:City) ;  rdfs:label "[connects to some Ocean, City]" .



oc:connectsTo rdfs:label "connects to" ; a owl:ObjectProperty .