Dear All, (01)
Two EU projects ScadaOnWeb and S-TEN applied some Semantic Web technologies
to process control. The approach taken was:
- define a class of thing (perhaps a class of activity or state); and
- announce that you want exactly one member. (02)
For supervisory control of an electricity network, the class could be:
- generation by generator G where the output increases to x kw before t1 and
continues at at least x kw until t2. (03)
For purchase of a pizza the class could be:
- deliver pizza with lots of basil to address A before time t and receive
payment on delivery of amount m. (04)
This is only the beginning. The actor capable of actually creating a
physical individual member of the class has to decide what to do. This
depends upon a) what is possible, b) the status of the request - how urgent
is it, how important is the actor making the request. (05)
The actor capable of creating a physical individual member the class may:
- define a class of thing;
- announce that it proposes to create a member. (06)
If the proposed class is a subclass of the requested class, then all is OK.
(Under English law this can be an offer and an acceptance, and hence a
contract.) But perhaps it is not possible to provide the requested power by
the requested time. Perhaps the basil has run out. We are now into
negotiation, with perhaps a new request and a new proposal. (07)
A vocabulary is needed to cover these transactions. This is a bit more than
a vocabulary to do with web services because it is concerned with the world
outside the web - opening and closing valves, baking pizzas, collecting
money, etc.. (08)
The vocabulary needs to allow statements such as:
- "I want a member of class C";
- "I can create a member of class C";
- "I intend to create a member of class C". (09)
A statement such as:
- "I have created a member of class C"
is less useful. You need to check yourself - do your instruments show that
the power is being supplied, did the pizza arrive? You need a statement that
you can trust of the form "x exists and is a member of C". (010)
Best regards,
David (011)
At 16:18 07/06/2009 -0700, you wrote:
>see below
>Dick McCullough
>http://mkrmke.org
> ----- Original Message -----
> From: paola.dimaio@xxxxxxxxx
> To: [ontolog-forum]
> Cc: KR-language
> Sent: Sunday, June 07, 2009 3:04 PM
> Subject: Re: [ontolog-forum] Semantic v. Pragmatic Web
>
>
> thanks Richard
>
> I dont remember last time I used my dos interface, but will try
> when I find it (surely even vista must have it)
> RHM>
> I recommend using Cygwin interface instead -- you'll like it.
> thing for the browser generation, web services is what make sense , any
reason why mkr is not used to support a web service ?
> RHM>
> My web hosting service doesn't allow me to execute mKE.
>
> In the command below I cant see where I can say 'margherita, large'
> RHM>
> do buy od large margherita done;
> mKR uses phrases, not just single words.
>
> # KEHOME/test/buy.html
> # Jun/7/2009
> buy is method with
> format = [product:1],
> meaning = {
> let browser = C:/Program Files/Internet Explorer/iexplore.exe;
> let google = 'http://www.google.com/products?q=';
> ! "${browser}" "${google}$1" done;
> };
>
> To execute from command prompt
>
> $ ke -s
> ke$ do read from test/buy.html done;
> ke$ do buy od pizza done;
> ke$ exit;
> $
>
>
>
>
> Dick McCullough
> http://mkrmke.org
> ----- Original Message -----
> From: paola.dimaio@xxxxxxxxx
> To: [ontolog-forum]
> Sent: Sunday, June 07, 2009 2:38 AM
> Subject: Re: [ontolog-forum] Semantic v. Pragmatic Web
>
>
> Use the mKR language to buy your pizza.
>
> it would be good to see some mkr based web service
> lots of basil on mine please
>
> PDM (012)
============================================================
David Leal
CAESAR Systems Limited
registered office: 29 Somertrees Avenue, Lee, London SE12 0BS
registered in England no. 2422371
tel: +44 (0)20 8857 1095
mob: +44 (0)77 0702 6926
e-mail: david.leal@xxxxxxxxxxxxxxxxxxx
web site: http://www.caesarsystems.co.uk
============================================================ (013)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (014)
|