
<!-- Processed by Id: cwm.py,v 1.29 2001/02/28 20:45:26 timbl Exp -->
<!--     using base file:/daml/itinerary/itinerary-ont.n3-->


<rdf:RDF xmlns="http://www.daml.org/2001/06/itinerary/itinerary-ont#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:airport="http://www.daml.ri.cmu.edu/ont/AirportCodes.daml#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2000/10/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:airline="file:/daml/itinerary/icao.daml#">

    <daml:Ontology rdf:about="">
        <daml:versionInfo>$Id: itinerary-ont.n3,v 1.1 2001/06/11 13:36:56 mdean Exp $</daml:versionInfo>
        <rdfs:comment>Travel Itinerary</rdfs:comment>
    </daml:Ontology>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#A300">
    </Class>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#A320">
    </Class>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#A340">
    </Class>

    <rdfs:Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Aircraft">
        <daml:oneOf rdf:parseType="Resource">
            <first xmlns="http://www.daml.org/2000/12/daml+oil#"
                rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#A300"/>
            <rest xmlns="http://www.daml.org/2000/12/daml+oil#"
                rdf:parseType="Resource">
                <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#A320"/>
                <rest rdf:parseType="Resource">
                    <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#A340"/>
                    <rest rdf:parseType="Resource">
                        <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#B727"/>
                        <rest rdf:parseType="Resource">
                            <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#B737"/>
                            <rest rdf:parseType="Resource">
                                <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#B747"/>
                                <rest rdf:parseType="Resource">
                                    <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#B757"/>
                                    <rest rdf:parseType="Resource">
                                        <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#B767"/>
                                        <rest rdf:parseType="Resource">
                                            <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#B777"/>
                                            <rest rdf:resource="http://www.daml.org/2000/12/daml+oil#nil"/>
                                        </rest>
                                    </rest>
                                </rest>
                            </rest>
                        </rest>
                    </rest>
                </rest>
            </rest>
        </daml:oneOf>
    </rdfs:Class>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#B727">
    </Class>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#B737">
    </Class>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#B747">
    </Class>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#B757">
    </Class>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#B767">
    </Class>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#B777">
    </Class>

    <Meal rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Breakfast">
    </Meal>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Business">
    </Class>

    <rdfs:Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Class">
        <daml:oneOf rdf:parseType="Resource">
            <first xmlns="http://www.daml.org/2000/12/daml+oil#"
                rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#First"/>
            <rest xmlns="http://www.daml.org/2000/12/daml+oil#"
                rdf:parseType="Resource">
                <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#Business"/>
                <rest rdf:parseType="Resource">
                    <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#Coach"/>
                    <rest rdf:resource="http://www.daml.org/2000/12/daml+oil#nil"/>
                </rest>
            </rest>
        </daml:oneOf>
    </rdfs:Class>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Coach">
    </Class>

    <Meal rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Dinner">
    </Meal>

    <Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#First">
    </Class>

    <rdfs:Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Flight">
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#arrive"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#timeInstant"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#class"/>
            <daml:toClass rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#Class"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#duration"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#timeDuration"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#aircraft"/>
            <daml:toClass rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#Aircraft"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#miles"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#integer"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#seat"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"/>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#meal"/>
            <daml:toClass rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#Meal"/>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#airline"/>
            <daml:toClass rdf:resource="icao.daml#Airline"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#flight"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#origin"/>
            <daml:toClass rdf:resource="http://www.daml.ri.cmu.edu/ont/AirportCodes.daml#AirportCode"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#destination"/>
            <daml:toClass rdf:resource="http://www.daml.ri.cmu.edu/ont/AirportCodes.daml#AirportCode"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#depart"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#timeInstant"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
    </rdfs:Class>

    <rdfs:Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#HotelReservation">
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#hotelName"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#address"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#checkin"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#date"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#checkout"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#date"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#rate"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#decimal"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#confirmation"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#smoking"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#boolean"/>
            <daml:maxCardinality>1</daml:maxCardinality>
        </rdfs:subClassOf>
    </rdfs:Class>

    <rdfs:Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Itinerary">
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#passenger"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#rln"/>
            <daml:toClass rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#RecordLocatorNumber"/>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#flight"/>
            <daml:toClass rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#Flight"/>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#hotel"/>
            <daml:toClass rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#HotelReservation"/>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#rentalCar"/>
            <daml:toClass rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#RentalCar"/>
        </rdfs:subClassOf>
    </rdfs:Class>

    <Meal rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Lunch">
    </Meal>

    <rdfs:Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Meal">
        <daml:oneOf rdf:parseType="Resource">
            <first xmlns="http://www.daml.org/2000/12/daml+oil#"
                rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#Breakfast"/>
            <rest xmlns="http://www.daml.org/2000/12/daml+oil#"
                rdf:parseType="Resource">
                <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#Lunch"/>
                <rest rdf:parseType="Resource">
                    <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#Dinner"/>
                    <rest rdf:parseType="Resource">
                        <first rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#Snack"/>
                        <rest rdf:resource="http://www.daml.org/2000/12/daml+oil#nil"/>
                    </rest>
                </rest>
            </rest>
        </daml:oneOf>
    </rdfs:Class>

    <rdfs:Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#RecordLocatorNumber">
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#airline"/>
            <daml:toClass rdf:resource="icao.daml#Airline"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.daml.org/2001/03/daml+oil#Restriction"/>
            <daml:onProperty rdf:resource="http://www.daml.org/2001/06/itinerary/itinerary-ont#rloc"/>
            <daml:toClass rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"/>
            <daml:cardinality>1</daml:cardinality>
        </rdfs:subClassOf>
    </rdfs:Class>

    <rdfs:Class rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#RentalCar">
    </rdfs:Class>

    <Meal rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#Snack">
    </Meal>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#address">
    </daml:DatatypeProperty>

    <daml:ObjectProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#airline">
    </daml:ObjectProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#arrive">
    </daml:DatatypeProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#checkin">
    </daml:DatatypeProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#checkout">
    </daml:DatatypeProperty>

    <daml:ObjectProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#class">
    </daml:ObjectProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#confirmation">
    </daml:DatatypeProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#depart">
    </daml:DatatypeProperty>

    <daml:ObjectProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#destination">
    </daml:ObjectProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#duration">
    </daml:DatatypeProperty>

    <rdfs:Property rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#flight">
    </rdfs:Property>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#hotel">
    </daml:DatatypeProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#hotelName">
    </daml:DatatypeProperty>

    <daml:ObjectProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#meal">
    </daml:ObjectProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#miles">
    </daml:DatatypeProperty>

    <daml:ObjectProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#origin">
    </daml:ObjectProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#passenger">
    </daml:DatatypeProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#rate">
    </daml:DatatypeProperty>

    <daml:ObjectProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#rentalCar">
    </daml:ObjectProperty>

    <daml:ObjectProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#rln">
    </daml:ObjectProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#rloc">
    </daml:DatatypeProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#seat">
    </daml:DatatypeProperty>

    <daml:DatatypeProperty rdf:about="http://www.daml.org/2001/06/itinerary/itinerary-ont#smoking">
    </daml:DatatypeProperty>
</rdf:RDF>
