<?xml version="1.0" encoding="WINDOWS-1252"?>
<rdf:RDF  xmlns:owl       = "http://www.w3.org/2002/07/owl#"
xmlns:rdfs      = "http://www.w3.org/2000/01/rdf-schema#"
xmlns:rdf       = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:service   = "http://www.daml.org/services/owl-s/1.1/Service.owl#"
xmlns:process   = "http://www.daml.org/services/owl-s/1.1/Process.owl#"
xmlns:profile    = "http://www.daml.org/services/owl-s/1.1/Profile.owl#"
xmlns:grounding = "http://www.daml.org/services/owl-s/1.1/Grounding.owl#"
xmlns:expr      = "http://www.daml.org/services/owl-s/1.1/generic/Expression.owl#"
xmlns:pddlexpr  = "http://127.0.0.1/ontology/PDDLExpression.owl#"

xml:base        = "http://127.0.0.1/services/1.1/book__ShoppingCartservice.owls">

<owl:Ontology rdf:about="">
<owl:imports rdf:resource="http://127.0.0.1/ontology/Service.owl" />
<owl:imports rdf:resource="http://127.0.0.1/ontology/Process.owl" />
<owl:imports rdf:resource="http://127.0.0.1/ontology/Profile.owl" />
<owl:imports rdf:resource="http://127.0.0.1/ontology/Grounding.owl" />
<owl:imports rdf:resource="http://127.0.0.1/ontology/Expression.owl" />
<owl:imports rdf:resource="http://127.0.0.1/ontology/PDDLExpression.owl" />
<owl:imports rdf:resource="http://127.0.0.1/ontology/books.owl" />
<owl:imports rdf:resource="http://127.0.0.1/ontology/ShoppingCart.owl" />
<owl:imports rdf:resource="http://127.0.0.1/ontology/ontosem.owl" />
</owl:Ontology>

<service:Service rdf:ID="BOOK__SERVICE">
<service:presents rdf:resource="#BOOK__PROFILE"/>
<service:describedBy rdf:resource="#BOOK__PROCESS"/>
<service:supports rdf:resource="#BOOK__GROUNDING"/>
</service:Service>

<profile:Profile rdf:ID="BOOK__PROFILE">
<service:isPresentedBy rdf:resource="#BOOK__SERVICE"/>
<profile:serviceName xml:lang="en">
BookCartService
</profile:serviceName>
<profile:textDescription xml:lang="en">
This service adds the requested book by the user who intends to buy it into the users shopping cart. The service first checks whether the book is available in the stock.
</profile:textDescription>
<profile:hasInput  rdf:resource="#_BOOK"/>

<profile:has_process rdf:resource="BOOK__PROCESS" /></profile:Profile>

<!--<process:ProcessModel rdf:ID="BOOK__PROCESS_MODEL">
<service:describes rdf:resource="#BOOK__SERVICE"/>
<process:hasProcess rdf:resource="#BOOK__PROCESS"/>
</process:ProcessModel>-->

<process:AtomicProcess rdf:ID="BOOK__PROCESS">
<service:describes rdf:resource="#BOOK__SERVICE"/>
<process:hasInput  rdf:resource="#_BOOK"/>
<process:hasPrecondition>
          <pddlexpr:PDDL-Expression>
            <expr:expressionBody rdf:datatype="http://www.w3.org/2001/XMLSchema#string">
				(http://127.0.0.1/ontology/ontosem.owl#be-available ?http://127.0.0.1/services/1.1/book__ShoppingCartservice.owls#_BOOK)
			</expr:expressionBody>
          </pddlexpr:PDDL-Expression>
</process:hasPrecondition>
<process:hasResult>
          <process:Result>
            <process:hasEffect>
              <pddlexpr:PDDL-Expression>
                <expr:expressionBody rdf:datatype="http://www.w3.org/2001/XMLSchema#string">
				(http://127.0.0.1/ontology/ShoppingCart.owl#ShoppingCartRequestItems ?http://127.0.0.1/services/1.1/book__ShoppingCartservice.owls#_BOOK)     
				</expr:expressionBody>
              </pddlexpr:PDDL-Expression>
            </process:hasEffect>
          </process:Result>
</process:hasResult>
</process:AtomicProcess>

<process:Input rdf:ID="_BOOK">
<process:parameterType rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://127.0.0.1/ontology/books.owl#Book</process:parameterType>
<rdfs:label></rdfs:label>
</process:Input>

<grounding:WsdlGrounding rdf:ID="BOOK__GROUNDING">
<service:supportedBy rdf:resource="#BOOK__SERVICE"/>
<grounding:hasAtomicProcessGrounding>
      <grounding:WsdlAtomicProcessGrounding rdf:ID="BOOK__AtomicProcessGrounding"/>
    </grounding:hasAtomicProcessGrounding>
</grounding:WsdlGrounding>

<grounding:WsdlAtomicProcessGrounding rdf:about="#BOOK__AtomicProcessGrounding">
    <grounding:wsdlDocument rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
    >http://127.0.0.1/wsdl/Book.wsdl</grounding:wsdlDocument>
    <grounding:owlsProcess rdf:resource="#BOOK__PROCESS"/>
    <grounding:wsdlOperation>
      <grounding:WsdlOperationRef>
        <grounding:operation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/wsdl/Book#get</grounding:operation>
        <grounding:portType rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/wsdl/Book#BookSoap</grounding:portType>
      </grounding:WsdlOperationRef>
    </grounding:wsdlOperation>
    <grounding:wsdlInputMessage rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
    >http://127.0.0.1/wsdl/Book#getRequest</grounding:wsdlInputMessage>
    <grounding:wsdlOutputMessage rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
    >http://127.0.0.1/wsdl/Book#getResponse</grounding:wsdlOutputMessage>
    <grounding:wsdlInput>
      <grounding:WsdlInputMessageMap>
        <grounding:owlsParameter rdf:resource="#_BOOK"/>
        <grounding:wsdlMessagePart rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI"
        >http://127.0.0.1/wsdl/Book#_BOOK</grounding:wsdlMessagePart>
        <grounding:xsltTransformationString>None (XSL)</grounding:xsltTransformationString>
      </grounding:WsdlInputMessageMap>
    </grounding:wsdlInput>
  </grounding:WsdlAtomicProcessGrounding>

</rdf:RDF>
