<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns="http://127.0.0.1/ontology/MedicalFlightCompanyOntology.owl#"
  xml:base="http://127.0.0.1/ontology/MedicalFlightCompanyOntology.owl">
  <owl:Ontology rdf:about=""/>
  <owl:Class rdf:ID="Country"/>
  <owl:Class rdf:ID="ListOfFlights">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="List"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Room">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="Ward"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="SeatNumber">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="Number"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="AirportGate"/>
  <owl:Class rdf:ID="Position"/>
  <owl:Class rdf:ID="Disease"/>
  <owl:Class rdf:ID="PublicOrganisation">
    <owl:disjointWith>
      <owl:Class rdf:ID="MedicalOrganisation"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="CommercialOrganisation"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="Organisation"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="BookingNumber">
    <rdfs:subClassOf rdf:resource="#Number"/>
    <owl:disjointWith>
      <owl:Class rdf:ID="HealthInsuranceNumber"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="CreditCardNumber"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="TelephoneNumber"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="FlightNumber"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="InsuranceCompany">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#CommercialOrganisation"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Creditcard"/>
  <owl:Class rdf:ID="OperatingRoom">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Ward"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="GpsPosition">
    <rdfs:subClassOf rdf:resource="#Position"/>
  </owl:Class>
  <owl:Class rdf:ID="Flight"/>
  <owl:Class rdf:ID="EmergencyStation">
    <owl:disjointWith>
      <owl:Class rdf:ID="HealthInsurance"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Hospital"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#MedicalOrganisation"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="AccountName"/>
  <owl:Class rdf:ID="Physician">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="Person"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#FlightNumber">
    <owl:disjointWith>
      <owl:Class rdf:about="#TelephoneNumber"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#CreditCardNumber"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#Number"/>
    <owl:disjointWith rdf:resource="#BookingNumber"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#HealthInsuranceNumber"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#TelephoneNumber">
    <rdfs:subClassOf rdf:resource="#Number"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#HealthInsuranceNumber"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#CreditCardNumber"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FlightNumber"/>
    <owl:disjointWith rdf:resource="#BookingNumber"/>
  </owl:Class>
  <owl:Class rdf:ID="City"/>
  <owl:Class rdf:ID="PersonName">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="Name"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Treatment"/>
  <owl:Class rdf:ID="Airline"/>
  <owl:Class rdf:about="#HealthInsuranceNumber">
    <owl:disjointWith rdf:resource="#BookingNumber"/>
    <rdfs:subClassOf rdf:resource="#Number"/>
    <owl:disjointWith rdf:resource="#FlightNumber"/>
    <owl:disjointWith rdf:resource="#TelephoneNumber"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#CreditCardNumber"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="Address"/>
  <owl:Class rdf:ID="Account"/>
  <owl:Class rdf:about="#Hospital">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#MedicalOrganisation"/>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#EmergencyStation"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#HealthInsurance"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="Patient">
    <rdfs:subClassOf rdf:resource="#Person"/>
  </owl:Class>
  <owl:Class rdf:about="#Ward">
    <rdfs:subClassOf rdf:resource="#Hospital"/>
  </owl:Class>
  <owl:Class rdf:ID="Airport"/>
  <owl:Class rdf:about="#HealthInsurance">
    <rdfs:subClassOf rdf:resource="#InsuranceCompany"/>
    <owl:disjointWith rdf:resource="#EmergencyStation"/>
    <owl:disjointWith rdf:resource="#Hospital"/>
  </owl:Class>
  <owl:Class rdf:ID="AccountPassword"/>
  <owl:Class rdf:ID="Diagnosis"/>
  <owl:Class rdf:ID="Costs"/>
  <owl:Class rdf:about="#CommercialOrganisation">
    <owl:disjointWith rdf:resource="#PublicOrganisation"/>
    <rdfs:subClassOf rdf:resource="#Organisation"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#MedicalOrganisation"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="Symptom"/>
  <owl:Class rdf:ID="Region">
    <rdfs:subClassOf rdf:resource="#Country"/>
  </owl:Class>
  <owl:Class rdf:ID="DateTime"/>
  <owl:Class rdf:ID="FlightCategory"/>
  <owl:Class rdf:about="#MedicalOrganisation">
    <owl:disjointWith rdf:resource="#CommercialOrganisation"/>
    <rdfs:subClassOf rdf:resource="#PublicOrganisation"/>
    <owl:disjointWith rdf:resource="#PublicOrganisation"/>
  </owl:Class>
  <owl:Class rdf:about="#CreditCardNumber">
    <owl:disjointWith rdf:resource="#FlightNumber"/>
    <owl:disjointWith rdf:resource="#BookingNumber"/>
    <owl:disjointWith rdf:resource="#TelephoneNumber"/>
    <owl:disjointWith rdf:resource="#HealthInsuranceNumber"/>
    <rdfs:subClassOf rdf:resource="#Number"/>
  </owl:Class>
  <owl:ObjectProperty rdf:ID="Flight_hasArrivalAirport">
    <rdfs:domain rdf:resource="#Flight"/>
    <rdfs:range rdf:resource="#Airport"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Flight_hasDepartureAirport">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    <rdfs:domain rdf:resource="#Flight"/>
    <rdfs:range rdf:resource="#Airport"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Organisation_isAt">
    <rdfs:range rdf:resource="#GpsPosition"/>
    <rdfs:domain rdf:resource="#Organisation"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Disease_medicatedByTreatment">
    <rdfs:range rdf:resource="#Treatment"/>
    <rdfs:domain rdf:resource="#Disease"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Flight_isProvidedByAirline">
    <rdfs:range rdf:resource="#Airline"/>
    <rdfs:domain rdf:resource="#Flight"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Address_isInCountry">
    <rdfs:range rdf:resource="#Country"/>
    <rdfs:domain rdf:resource="#Address"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Person_livesAt">
    <rdfs:range rdf:resource="#Address"/>
    <rdfs:domain rdf:resource="#Person"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="CreditCard_hasCreditCardNumber">
    <rdfs:domain rdf:resource="#Creditcard"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
    <rdfs:range rdf:resource="#CreditCardNumber"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Flight_hasFlightNumber">
    <rdfs:range rdf:resource="#FlightNumber"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
    <rdfs:domain rdf:resource="#Flight"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Flight_hasDepartureDateTime">
    <rdfs:domain rdf:resource="#Flight"/>
    <rdfs:range rdf:resource="#DateTime"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Flight_hasCosts">
    <rdfs:range rdf:resource="#Costs"/>
    <rdfs:domain rdf:resource="#Flight"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Organisation_hasAddress">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    <rdfs:range rdf:resource="#Address"/>
    <rdfs:domain rdf:resource="#Organisation"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="Flight_startsAtAirportGate">
    <rdfs:domain rdf:resource="#Flight"/>
    <rdfs:range rdf:resource="#AirportGate"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="ListOfFlights_consistsOf">
    <rdfs:range rdf:resource="#Flight"/>
    <rdfs:domain rdf:resource="#ListOfFlights"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:ID="City_hasAirport">
    <rdfs:domain rdf:resource="#City"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
    <rdfs:range rdf:resource="#Airport"/>
  </owl:ObjectProperty>
  <owl:DatatypeProperty rdf:ID="City_hasZipCode">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
    <rdfs:domain rdf:resource="#City"/>
  </owl:DatatypeProperty>
  <owl:FunctionalProperty rdf:ID="Airport_isAt">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:range rdf:resource="#GpsPosition"/>
    <rdfs:domain rdf:resource="#Airport"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="Address_isInCity">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:range rdf:resource="#City"/>
    <rdfs:domain rdf:resource="#Address"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="Account_hasAccountName">
    <rdfs:domain rdf:resource="#Account"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
    <rdfs:range rdf:resource="#AccountName"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="Disease_hasSymptom">
    <rdfs:domain rdf:resource="#Disease"/>
    <rdfs:range rdf:resource="#Symptom"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="Flight_hasArrivalDateTime">
    <rdfs:range rdf:resource="#DateTime"/>
    <rdfs:domain rdf:resource="#Flight"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="Person_isAt">
    <rdfs:range rdf:resource="#GpsPosition"/>
    <rdfs:domain rdf:resource="#Person"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="Patient_hasDisease">
    <rdfs:domain rdf:resource="#Patient"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:range rdf:resource="#Disease"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="Patient_hasMedicalFlightAccount">
    <rdfs:range rdf:resource="#Account"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:domain rdf:resource="#Patient"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="Address_hasPosition">
    <rdfs:range rdf:resource="#GpsPosition"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:domain rdf:resource="#Address"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="Person_hasName">
    <rdfs:range rdf:resource="#PersonName"/>
    <rdfs:domain rdf:resource="#Person"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:ID="Organisation_hasTelephoneNumber">
    <rdfs:domain rdf:resource="#Organisation"/>
    <rdfs:range rdf:resource="#TelephoneNumber"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:InverseFunctionalProperty rdf:ID="Person_hasCreditCard">
    <rdfs:domain rdf:resource="#Person"/>
    <rdfs:range rdf:resource="#Creditcard"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:InverseFunctionalProperty>
  <owl:InverseFunctionalProperty rdf:ID="Account_hasAccountPassword">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:range rdf:resource="#AccountPassword"/>
    <rdfs:domain rdf:resource="#Account"/>
  </owl:InverseFunctionalProperty>
</rdf:RDF>

<!-- Created with Protege (with OWL Plugin 2.1, Build 284)  http://protege.stanford.edu -->
