<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.daml.org/2000/10/daml-ont#" 
         xmlns:daml="http://www.daml.org/2000/10/daml-ont#" 
         xmlns:a="https://www.daml.org/actionitems/actionitems-20000905.rdfs#" 
         xmlns:num="http://www.daml.org/2000/10/daml-num.daml#" 
	 xmlns:time="http://www.kestrel.edu/DAML/2000/12/TIME.daml#"
	 xmlns:resource="http://www.kestrel.edu/DAML/2000/12/RESOURCE.daml#"
	 xmlns:capacity="http://www.kestrel.edu/DAML/2000/12/CAPACITY.daml#"
	 xmlns:operation="http://www.kestrel.edu/DAML/2000/12/OPERATION.daml#"
         xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" 
         xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">

	<!-- mark DAML program action item 12 as complete -->
	<rdf:Description about="https://www.daml.org/actionitems/12.rdf">
		<a:state>closed</a:state>
		<a:Action parseType="Resource">
			<a:status>available at http://www.kestrel.edu/DAML/2000/12/TIME.daml</a:status>
			<a:date>12-14-2000 17:44</a:date>
			<a:by>becker@kestrel.edu</a:by>
		</a:Action>
 	</rdf:Description>

	<!--  	Does importing an ontology adds a new recognizable namespace
		or we still need to declare the namespace and use the corresponding 
		tag to refer to resources
	-->

	<Ontology about="">
	   <versionInfo>$Id$</versionInfo>
	   <comment>
	   Kestrel Scheduling Ontology 	
	   </comment>
	   <imports resource="http://www.daml.org/2000/10/daml-ont"/>
	   <imports resource="http://www.kestrel.edu/DAML/2000/12/TIME.daml"/>
	   <imports resource="http://www.kestrel.edu/DAML/2000/12/DEMAND.daml"/>
	   <imports resource="http://www.kestrel.edu/DAML/2000/12/CAPACITY.daml"/>
	   <imports resource="http://www.kestrel.edu/DAML/2000/12/RESOURCE.daml"/>
	   <imports resource="http://www.kestrel.edu/DAML/2000/12/OPERATION.daml"/>
	</Ontology>


	<time:Time-Point ID="timeZero"/>
	<time:Time-Point ID="currentTime"/>
	<time:Time-Point ID="timeInfinite"/>
	<time:Time-Point ID="timeHorizon"/>
	<time:Calendar ID="gregorianCalendar"/>
	<!-- 
	Time-Unit are just literals. Do I also need to represent
   	the literal for plural? 
	-->
	<time:TimeUnit ID="second"/>
	<time:TimeUnit ID="minute"/>
	<time:TimeUnit ID="hour"/>
	<time:TimeUnit ID="day"/>
	<time:TimeUnit ID="week"/>
	<time:TimeUnit ID="month"/>
	<time:TimeUnit ID="year"/>
	<time:Month ID="January"/>
	<time:Month ID="February"/>
	<time:Month ID="March"/>
	<time:Month ID="April"/>
	<time:Month ID="May"/>
	<time:Month ID="June"/>
	<time:Month ID="July"/>
	<time:Month ID="August"/>
	<time:Month ID="September"/>
	<time:Month ID="October"/>
	<time:Month ID="November"/>
	<time:Month ID="December"/>
	<time:Day-Of-The-Week ID="Monday"/>
	<time:Day-Of-The-Week ID="Tuesday"/>
	<time:Day-Of-The-Week ID="Wednesday"/>
	<time:Day-Of-The-Week ID="Thursday"/>
	<time:Day-Of-The-Week ID="Friday"/>
	<time:Day-Of-The-Week ID="Saturday"/>
	<time:Day-Of-The-Week ID="Sunday"/>


	<operation:OperationStatus ID="unscheduled" />
  	<operation:OperationStatus ID="scheduled" />
  	<operation:OperationStatus ID="in-process" />
  	<operation:OperationStatus ID="completed" />
  	<operation:OperationStatus ID="unschedulable" />
  	<operation:OperationStatus ID="rejected" />
  	<operation:OperationStatus ID="cancelled" />
  	<operation:OperationStatus ID="interrupted" />

   	<operation:Operation-Connetive ID="OR" />
   	<operation:Operation-Connetive ID="AND" />


	<resource:Aircraft ID="C-5" />
	<resource:Aircraft ID="C-141" />
	<resource:Aircraft ID="C-130" />
	<resource:Aircraft ID="KC-10" />
	<resource:Aircraft ID="KC-135" />


</rdf:RDF>
