<?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 time "http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Time.daml">
  <!ENTITY softagents "http://www.daml.ri.cmu.edu/ont/SoftAgents.daml">
  <!ENTITY realtor "http://www.daml.ri.cmu.edu/ont/Realtor.daml">
  <!ENTITY city "http://www.daml.ri.cmu.edu/ont/USCity.daml">
  <!ENTITY DEFAULT "http://www.daml.ri.cmu.edu/ont/PITRealtorAgent.daml">
  <!ENTITY THIS "http://www.daml.ri.cmu.edu/ont/PITRealtorAgent.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/06 16:20:34 terryp Exp $
    </daml:versionInfo>
    <rdfs:comment>
      Profile Descriptions (adverts) for PITRealtorAgent
 
    </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 the PIT Realtor Agent Service ############ -->
  <!-- ################################################################### -->

  <service:Service rdf:ID="PITRealtor_Agent">
    <service:presents>
      <profile:Advertisement rdf:about="PITRealtor_Agent_Advertisement"/>
    </service:presents>
  </service:Service>

  <!-- ################################################################### -->
  <!-- # Instance Definition of PIT Realtor Agent Properties ############# -->
  <!-- ################################################################### -->

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

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

  <rdf:Property rdf:ID="studentID">
    <rdfs:subPropertyOf rdf:resource="&profile;#accesscondition"/>
    <rdfs:range rdf:resource="&rdfs;#Literal"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
  </rdf:Property>

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

  <rdf:Property rdf:ID="initialDate">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <rdfs:range rdf:resource="&date;#Date"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
  </rdf:Property>

  <rdf:Property rdf:ID="numberRooms">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <rdfs:range rdf:resource="&rdfs;#integer"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>
   
  <rdf:Property rdf:ID="unit">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <rdfs:range rdf:resource="&realtor;#Unit"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>
   
  <rdf:Property rdf:ID="priceRange">
    <rdfs:subPropertyOf rdf:resource="&profile;#input"/>
    <rdfs:range rdf:resource="&realtor;#RentRanges"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>
   
  <!-- ####################### -->
  <!-- # Outputs ############# -->
  <!-- ####################### -->

  <rdf:Property rdf:ID="price">
    <rdfs:subPropertyOf rdf:resource="&profile;#output"/>
    <rdfs:range rdf:resource="&realtor;#Rent"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>
   
  <rdf:Property rdf:ID="includesElectricity">
    <rdfs:subPropertyOf rdf:resource="&profile;#output"/>
    <rdfs:range rdf:resource="&realtor;#PublicUtility"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

  <rdf:Property rdf:ID="includesGas">
    <rdfs:subPropertyOf rdf:resource="&profile;#output"/>
    <rdfs:range rdf:resource="&realtor;#PublicUtility"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

  <rdf:Property rdf:ID="includesWater">
    <rdfs:subPropertyOf rdf:resource="&profile;#output"/>
    <rdfs:range rdf:resource="&realtor;#PublicUtility"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

  <rdf:Property rdf:ID="includesLaundry">
    <rdfs:subPropertyOf rdf:resource="&profile;#output"/>
    <rdfs:range rdf:resource="&realtor;#Facility"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

  <rdf:Property rdf:ID="hasParking">
    <rdfs:subPropertyOf rdf:resource="&profile;#output"/>
    <rdfs:range rdf:resource="&realtor;#OffStreetParking"/>
    <rdfs:domain rdf:resource="#PITRealtor_Agent_Advertisement"/>
    <daml:cardinality>1</daml:cardinality>
  </rdf:Property>

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

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

  <!-- ################################################################### -->
  <!-- # Instance Definition of PIT Realtor Agent Advertisement ########## -->
  <!-- ################################################################### -->

  <profile:Advertisement rdf:ID="PITRealtor_Agent_Advertisement">
    <profile:serviceName>PITRealtor_Agent</profile:serviceName>
    <profile:textDescription>

      This PIT based agentified service provides housing information
      around the PIT Campus.
    </profile:textDescription>
    <profile:qualityRating>Good</profile:qualityRating>

    <profile:providedBy>
      <profile:ServiceProvider rdf:ID="PIT">
	<profile:name>Pittsburgh University</profile:name>
	<profile:phone rdf:ID="work">412 273 7808 </profile:phone>
	<profile:fax>412 273 9565 </profile:fax>
	<profile:email>housing@pit.edu</profile:email>
	<profile:webURL>
	  http://www.daml.ri.cmu.edu/ont/TaskModeler/TM-ont-index.html#PITRealtorAgent</profile:webURL>
      </profile:ServiceProvider>
    </profile:providedBy>

    <profile:geographicRadius rdf:resource="&city;#pittsburghpa"/>

    <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#PITRealtorAgent
	</softagents:protocolspec>
      </softagents:RetsinaCommunicator>
    </profile:communicationThru>

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