<?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/Request_Car1.daml">
  <!ENTITY THIS "http://www.daml.ri.cmu.edu/ont/Request_Car1.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>
      Request for  Car Rental with both UK and US License.
    </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 Car Request 1 Properties ################# -->
  <!-- ################################################################### -->

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

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

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

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

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

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

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

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

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

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

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

  <!-- ################################################################### -->
  <!-- # Instance Definition of Car Request 1  ########################### -->
  <!-- ################################################################### -->

  <profile:Request rdf:ID="CarRentalRequest1">
    <profile:qualityRating>Reliable</profile:qualityRating>

    <profile:requestedBy>
      <profile:ServiceRequester rdf:ID="Bob_Smith">
	<profile:name>Bob Smith</profile:name>
	<profile:phone rdf:ID="home">412 542 2113 </profile:phone>
	<profile:email>bob@yahoo.co.uk</profile:email>
      </profile:ServiceRequester>
    </profile:requestedBy>

    <profile:geographicRadius rdf:resource="&state;#PA"/>

  </profile:Request>
</rdf:RDF>
