<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE uridef[
  <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns">
  <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema">
  <!ENTITY daml "http://www.daml.org/2001/03/daml+oil">
  <!ENTITY service "http://www.daml.org/services/daml-s/2001/05/Service">
  <!ENTITY process "http://www.daml.org/services/daml-s/2001/05/Process">
  <!ENTITY profile "http://www.daml.org/services/daml-s/2001/05/Profile">
  <!ENTITY date "http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Date.daml">
  <!ENTITY softagents "http://www.daml.ri.cmu.edu/ont/SoftAgents.daml">
  <!ENTITY realtor "http://www.daml.ri.cmu.edu/ont/Realtor.daml">
  <!ENTITY state "http://www.daml.ri.cmu.edu/ont/USRegionState.daml">
  <!ENTITY DEFAULT "http://www.daml.ri.cmu.edu/ont/CheapyCarHire.daml">
  <!ENTITY THIS "http://www.daml.ri.cmu.edu/ont/CheapyCarHire.daml">
]>
 
<!--
This document uses entity types as a shorthand for URIs.
Download the source for a version with unexpanded entities.
  -->
 
<rdf:RDF
  xmlns:rdf=    "&rdf;#"
  xmlns:rdfs=   "&rdfs;#"
  xmlns:daml=   "&daml;#"
  xmlns:service= "&service;#"
  xmlns:process= "&process;#"
  xmlns:profile= "&profile;#"
  xmlns:realtor= "&realtor;#"
  xmlns:softagents= "&softagents;#"
  xmlns=        "&DEFAULT;#">
 
  <daml:Ontology about="">
    <daml:versionInfo>
      $Id: &DEFAULT;, v 1.0 2001/07/09 13:04:17 terryp Exp $
    </daml:versionInfo>
    <rdfs:comment>
      Profile Descriptions (adverts) for CheapyCarHire Car Rental Service.
    </rdfs:comment>
    <daml:imports rdf:resource="&rdf;" />
    <daml:imports rdf:resource="&rdfs;" />
    <daml:imports rdf:resource="&daml;" />
    <daml:imports rdf:resource="&service;" />
    <daml:imports rdf:resource="&process;" />
    <daml:imports rdf:resource="&profile;" />
  </daml:Ontology>

  <!-- ################################################################### -->
  <!-- # Instance Definition of CheapyCarHire Reservation Agent Service ## -->
  <!-- ################################################################### -->

  <service:Service rdf:ID="CheapyCarHire_Agent">
    <service:presents>
      <profile:Advertisement rdf:about="#CheapyCarHire_Agent_Advertisement"/>
    </service:presents>
  </service:Service>

  <!-- ################################################################### -->
  <!-- # Instance Definition of CheapyCarHire Reservation Agent Properties -->
  <!-- ################################################################### -->

  <!-- ####################### -->
  <!-- # Pre Conditions ###### -->
  <!-- ####################### -->

  <!-- ####################### -->
  <!-- # Access Conditions ### -->
  <!-- ####################### -->

  <rdf:Property rdf:ID="haveLicense">
    <rdfs:subPropertyOf rdf:resource="&profile;#accesscondition"/> 
    <rdfs:domain rdf:resource="#CheapyCarHire_Agent_Advertisement"/>
    <rdfs:range rdf:resource="&realtor;#PADriversLicense"/>
  </rdf:Property>

  <!-- ####################### -->
  <!-- # Inputs ############## -->
  <!-- ####################### -->

  <rdf:Property rdf:ID="date">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/> 
    <rdfs:range rdf:resource="&date;#Date"/>
    <rdfs:domain rdf:resource="#CheapyCarHire_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

  <rdf:Property rdf:ID="location">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/> 
   <rdfs:range rdf:resource="&realtor;#address"/>
    <rdfs:domain rdf:resource="#CheapyCarHire_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

  <rdf:Property rdf:ID="size">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/> 
    <rdfs:range rdf:resource="&realtor;#EconomyCar"/>
    <rdfs:domain rdf:resource="#CheapyCarHire_Agent_Advertisement"/>
  </rdf:Property>

  <!-- ####################### -->
  <!-- # Outputs ############# -->
  <!-- ####################### -->

  <rdf:Property rdf:ID="costPerDay">
    <rdfs:subPropertyOf rdf:resource="&profile;#output" />
    <rdfs:range rdf:resource="&realtor;#UnitCost"/>
    <rdfs:domain rdf:resource="#CheapyCarHire_Agent_Advertisement"/>
  </rdf:Property>

  <rdf:Property rdf:ID="nearestSizeAvailable">
    <rdfs:subPropertyOf rdf:resource="&profile;#output"/> 
    <rdfs:range rdf:resource="&realtor;#CarSize"/>
    <rdfs:domain rdf:resource="#CheapyCarHire_Agent_Advertisement"/>
  </rdf:Property>

  <!-- ####################### -->
  <!-- # Conditional Outputs # -->
  <!-- ####################### -->

  <!-- ####################### -->
  <!-- # Effects ############# -->
  <!-- ####################### -->

  <!-- ################################################################### -->
  <!-- # Instance Definition of CheapyCarHire Agent Advertisement ######## -->
  <!-- ################################################################### -->

  <profile:Advertisement rdf:ID="CheapyCarHire_Agent_Advertisement">
    <profile:serviceName>CheapyCarHire </profile:serviceName>
    <profile:textDescription>
      This agentified service provides Car Hire information
    </profile:textDescription>
    <profile:qualityRating>Reliable</profile:qualityRating>

    <profile:providedBy>
      <profile:ServiceProvider rdf:ID="CheapyCar">
	<profile:name>Cheapy Car Services</profile:name>
	<profile:phone rdf:ID="work">412 268 8780 </profile:phone>
	<profile:fax>412 268 5569 </profile:fax>
	<profile:email>reservation@cheapycar.com</profile:email>
	<profile:physicalAddress>
	  Downthe Drain 1,
	  Teetering Cliff Hights,
	  Florida 12321,
	  USA
	</profile:physicalAddress>
	<profile:webURL>
          http://www.daml.ri.cmu.edu/ont/TaskModeler/TM-ont-index.html#CheapyCarHire
	</profile:webURL>
      </profile:ServiceProvider>
    </profile:providedBy>

    <profile:geographicRadius rdf:resource="&state;#Mid-Atlantic"/>

    <profile:communicationThru>
      <softagents:RetsinaCommunicator>
        <softagents:ans>midas</softagents:ans>
        <softagents:transport>KQML</softagents:transport>
        <softagents:protocolspec>
          http://www.daml.ri.cmu.edu/ont/TaskModeler/TM-ont-index.html#CheapyCarHire
	</softagents:protocolspec>
      </softagents:RetsinaCommunicator>
    </profile:communicationThru>

  </profile:Advertisement>
</rdf:RDF>
