DAML-S

Advertising the Services

<?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 process "http://www.daml.org/services/daml-s/2001/10/Process">
  <!ENTITY service "http://www.daml.org/services/daml-s/2001/10/Service">
  <!ENTITY profile "http://www.daml.org/services/daml-s/2001/10/Profile"> 
  <!ENTITY country "http://www.daml.ri.cmu.edu/ont/Country.daml">
  <!ENTITY concepts "http://www.daml.ri.cmu.edu/ont/DAML-S/concepts.daml">
  <!ENTITY congo "http://www.daml.org/services/daml-s/2001/10/Congo.daml">
  <!ENTITY time "http://www.ai.sri.com/daml/ontologies/sri-basic/1-0/Time.daml">
  <!ENTITY xsd "http://www.w3.org/2000/10/XMLSchema.xsd">
  <!ENTITY DEFAULT "http://www.daml.org/services/daml-s/2001/10/CongoProfile.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:congo=   "&congo;#"
  xmlns:xsd=     "&xsd;#"
  xmlns=         "&DEFAULT;#">
 
  <daml:Ontology about="">
    <daml:versionInfo>
      $Id: CongoProfile.daml,v 1.5 2002/03/20 01:45:09 martin Exp $
    </daml:versionInfo>
    <rdfs:comment>
      DAML-S Coalition: CongoBuy Example for DAML-S release 0.6, 15th Sept 2001
      Profile description
 
    </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:imports rdf:resource="&congo;" />
    <daml:imports rdf:resource="&concepts;" />
    <daml:imports rdf:resource="&time;" />
  </daml:Ontology>

  <!-- ################################################################### -->
  <!-- # Instance Definition of BravoAir Reservation Agent Advertisement # -->
  <!-- ################################################################### -->

  <service:ServiceProfile rdf:ID="Profile_Congo_BookBuying_Service">
    <service:isPresentedBy rdf:resource="congo;#Congo_BookBuying_Agent"/>

    <profile:serviceName>Congo_BookBuying_Agent</profile:serviceName>
    <profile:textDescription>
        This agentified service provides the opportunity to browse a
        book selling site and buy books there
    </profile:textDescription>

    <profile:providedBy>
      <profile:ServiceProvider rdf:ID="CongoBuy">
        <profile:name>CongoBuy</profile:name>
        <profile:phone>412 268 8780 </profile:phone>
        <profile:fax>412 268 5569 </profile:fax>
        <profile:email>Bravo@Bravoair.com</profile:email>
        <profile:physicalAddress>
            somewhere 2,
            OnWeb,
            Montana 52321,
            USA
        </profile:physicalAddress>
        <profile:webURL>
            http://www.daml.org/services/daml-s/2001/05/CongoBuy.html
        </profile:webURL>
      </profile:ServiceProvider>
    </profile:providedBy>

    <profile:geographicRadius rdf:resource="&country;#UnitedStates"/>
    <profile:qualityRating rdf:resource="&concepts;#qualityRatingGood"/>
    <profile:has_process rdf:resource="&congo;#CongoBuy"/>

    <input> 
      <profile:ParameterDescription rdf:ID="BookTitle"> 
        <profile:parameterName> bookTitle </profile:parameterName>
        <profile:restrictedTo rdf:resource="&xsd;#string"/>
        <profile:refersTo rdf:resource="&congo;#bookName"/>
      </profile:ParameterDescription>
    </input>

    <input> 
      <profile:ParameterDescription rdf:ID="SignInInfo"> 
        <profile:parameterName> signInInfo </profile:parameterName>
        <profile:restrictedTo rdf:resource="&congo;#SignInData"/>
        <profile:refersTo rdf:resource="&congo;#signInInfo"/>
      </profile:ParameterDescription>
    </input>

    <input> 
      <profile:ParameterDescription rdf:ID="CreateAcctInfo"> 
        <profile:parameterName> createAcctInfo </profile:parameterName>
        <profile:restrictedTo rdf:resource="&congo;#CreateAcct"/>
        <profile:refersTo rdf:resource="&congo;#createAcctInfo"/>
      </profile:ParameterDescription>
    </input>

    <input> 
      <profile:ParameterDescription rdf:ID="CreditCardNumber"> 
        <profile:parameterName> creditCardNumber </profile:parameterName>
        <profile:restrictedTo rdf:resource="&xsd;#decimal"/>
        <profile:refersTo rdf:resource="&congo;#creditCardNumber"/>
      </profile:ParameterDescription>
    </input>

    <input> 
      <profile:ParameterDescription rdf:ID="CreditCardType"> 
        <profile:parameterName> creditCardType </profile:parameterName>
        <profile:restrictedTo rdf:resource="&congo;#CreditCardType"/>
        <profile:refersTo rdf:resource="&congo;#creditCardType"/>
      </profile:ParameterDescription>
    </input>

    <input> 
      <profile:ParameterDescription rdf:ID="CreditCardExpirationDate"> 
        <profile:parameterName> creditCardExpirationDate </profile:parameterName>
        <profile:restrictedTo rdf:resource="&time;#Time"/>
        <profile:refersTo rdf:resource="&congo;#creditCardExpirationDate"/>
      </profile:ParameterDescription>
    </input>

    <input> 
      <profile:ParameterDescription rdf:ID="DeliveryAddress"> 
        <profile:parameterName> deliveryAddress </profile:parameterName>
        <profile:restrictedTo rdf:resource="&xsd;#string"/>
        <profile:refersTo rdf:resource="&congo;#deliveryAddress"/>
      </profile:ParameterDescription>
    </input>

    <input> 
      <profile:ParameterDescription rdf:ID="PackagingSelection"> 
        <profile:parameterName> packagingSelection </profile:parameterName>
        <profile:restrictedTo rdf:resource="&congo;#PackagingType"/>
        <profile:refersTo rdf:resource="&congo;#packagingSelection"/>
      </profile:ParameterDescription>
    </input>

    <input> 
      <profile:ParameterDescription rdf:ID="DeliveryType"> 
        <profile:parameterName> DeliveryType </profile:parameterName>
        <profile:restrictedTo rdf:resource="&congo;#DeliveryType"/>
        <profile:refersTo rdf:resource="&congo;#DeliveryType"/>
      </profile:ParameterDescription>
    </input>

    
    <output> 
      <profile:ParameterDescription rdf:ID="EReceipt"> 
        <profile:parameterName> EReceipt </profile:parameterName>
        <profile:restrictedTo rdf:resource="&congo;#EReceipt"/>
        <profile:refersTo rdf:resource="&congo;#congoBuyReceipt"/>
      </profile:ParameterDescription>
    </output>

    <output> 
      <profile:ParameterDescription rdf:ID="ShippingOrder"> 
        <profile:parameterName> ShippingOrder </profile:parameterName>
        <profile:restrictedTo rdf:resource="&congo;#ShippingOrder"/>
        <profile:refersTo rdf:resource="&congo;#congoBuyShippingOrder"/>
      </profile:ParameterDescription>
    </output>
    
    <output> 
      <profile:ParameterDescription rdf:ID="AccountType"> 
        <profile:parameterName> AccountType </profile:parameterName>
        <profile:restrictedTo rdf:resource="&congo;#CreateAcctOutputType"/>
        <profile:refersTo rdf:resource="&congo;#createAcctOutput"/>
      </profile:ParameterDescription>
    </output>

    <!-- Preconditions -->

    <precondition> 
      <profile:ConditionDescription rdf:ID="AcctExists"> 
        <profile:conditionName> AcctExists </profile:conditionName>
        <profile:statement rdf:resource="&congo;#AcctExists"/>
        <profile:refersTo rdf:resource="&congo;#congoBuyAcctExistsPrecondition"/>
      </profile:ConditionDescription>
    </precondition>

    <precondition> 
      <profile:ConditionDescription rdf:ID="CreditExists"> 
        <profile:conditionName> CreditExists </profile:conditionName>
        <profile:statement rdf:resource="&congo;#CreditExists"/>
        <profile:refersTo rdf:resource="&congo;#congoBuyCreditExistsPrecondition"/>
      </profile:ConditionDescription>
    </precondition>

    <effect> 
      <profile:ConditionDescription rdf:ID="BuyEffectType"> 
        <profile:conditionName> BuyEffectType </profile:conditionName>
        <profile:statement rdf:resource="&congo;#BuyEffectType"/>
        <profile:refersTo rdf:resource="&congo;#congoBuyEffect"/>
      </profile:ConditionDescription>
    </effect>
   
  </service:ServiceProfile>
</rdf:RDF>

José M. Vidal .

22 of 26