@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 ship:  <http://www.workingontologist.org/Examples/Chapter8/Ship#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .

<http://www.workingontologist.org/Examples/Chapter8/Ship>
        rdf:type  owl:Ontology .

ship:Berengaria ship:maidenVoyage  "1913-06-16"^^xsd:date ; rdfs:label "Berengaria" .

ship:QEII ship:nextDeparture  "2010-03-04"^^xsd:date ; rdfs:label "QEII" .

ship:Vessel rdf:type  owl:Class ; rdfs:label "Vessel" .

ship:DeployedVessel rdf:type  owl:Class ; rdfs:label "DeployedVessel" .

ship:InServiceVessel rdf:type  owl:Class ; rdfs:label "InServiceVessel" .

ship:OutOfServiceVessel rdf:type  owl:Class ; rdfs:label "OutOfServiceVessel" .

ship:DeployedVessel rdfs:subClassOf  ship:Vessel ; rdfs:label "DeployedVessel" .

ship:InServiceVessel rdfs:subClassOf  ship:Vessel ; rdfs:label "InServiceVessel" .

ship:OutOfServiceVessel         rdfs:subClassOf  ship:Vessel .

ship:maidenVoyage rdfs:domain  ship:DeployedVessel ; rdfs:label "maiden voyage" .

ship:nextDeparture rdfs:domain  ship:InServiceVessel ; rdfs:label "next departure" .

ship:decommissionedDate rdfs:domain  ship:OutOfServiceVessel ; rdfs:label "decommissioned date" .

ship:destructionDate rdfs:domain  ship:OutOfServiceVessel ; rdfs:label "destruction date" .

ship:Captain rdfs:subClassOf  ship:Officer ; rdfs:label "Captain" .

ship:Commander rdfs:subClassOf  ship:Officer ; rdfs:label "Commander" .

ship:LieutenantCommander rdfs:subClassOf  ship:Officer ; rdfs:label "Lieutenant Commander" .

ship:Lieutenant rdfs:subClassOf  ship:Officer ; rdfs:label "Lieutenant" .

ship:Ensign rdfs:subClassOf  ship:Officer ; rdfs:label "Ensign" .

ship:hasCommander rdfs:range  ship:Captain ; rdfs:label "has commander" .

ship:DepartingVessel rdf:type  rdfs:Class ; rdfs:subClassOf ship:Vessel; rdfs:label "Departing vessel" .

ship:nextDeparture rdfs:domain  ship:DepartingVessel ; rdfs:label "next departure" ; 
        rdfs:domain  ship:DepartingVessel ;
        rdfs:domain  ship:InServiceVessel .

ship:QEII ship:maidenVoyage  "1969-05-02"^^xsd:date ; rdfs:label "QEII" ;
        ship:nextDeparture  "2010-03-04"^^xsd:date ;
        ship:hasCommander   ship:Warwick. ship:Warwick rdfs:label "Warwick" .

ship:Berengaria  ship:maidenVoyage  "1913-06-16"^^xsd:date ; rdfs:label "Berengaria"; 
        ship:decommissionedDate  "1938-11-07"^^xsd:date ;
        ship:hasCommander      ship:Johnson. ship:Johnson rdfs:label "Johnson"  .

ship:Titanic  ship:maidenVoyage  "1912-04-10"^^xsd:date ; rdfs:label "Titanic" ;
        ship:destructionDate  "1912-04-14"^^xsd:date ;
        ship:hasCommander     ship:Smith. ship:Smith rdfs:label "Smith"  .

ship:Constitution  ship:maidenVoyage  "1798-07-22"^^xsd:date ; rdfs:label "Constitution" ;
        ship:nextDeparture  "2009-01-12"^^xsd:date ;
        ship:hasCommander   ship:Preble. ship:Preble rdfs:label "Preble"  .

rdf:type rdfs:label "type" .
rdfs:subClassOf rdfs:label "subclass" .