- From: Bijan Parsia <bparsia@isr.umd.edu>
- Date: Wed, 5 Nov 2003 17:25:12 -0500
- To: public-sw-meaning@w3.org
Lynn caught at least one critical typo :) On Wednesday, November 5, 2003, at 05:04 PM, Bijan Parsia wrote: [snip] > bought_stock(B, StockOrder) :- > rdf(B, rdf:type, p:Client), > rdf(B, p:made, Order), > rdf(Order, rdf:type, p:BuyOrSellOrder), > rdf(Order, <http://www.example.org/Buy>, StockOrder), > rdf(StockOrder, p:number, Nr), > rdf(StockOrder, p:symbol, Symbol), > buy_stock(B, Symbol, Nr). > > Where buy_stock_for/3 s/buy_stock_for/buy_stock/ > actually calls the relevant web service (say) that buys, rather than > sells the stock. Interestingly, for this example, we can fairly easily > narrow down the interpretation of http://www.example.org/Buy by > connecting it (in RDF, OWL, and things like OWL-S) to actual code (or > a specific web service with a determined behavior). It's pretty clear > (pace the rest of the rats' nest of statements and code one would hope > would be present in a realistic example) what > http://www.example.org/Buy means *in the above code*, especially when > you compare it to the similar predicate: [snip] Cheers, Bijan.
Received on Wednesday, 5 November 2003 17:23:36 UTC