W3C home > Mailing lists > Public > public-ws-semann@w3.org > January 2007

Example of more readable rule descriptions

From: Ajith Ranabahu <ajith.ranabahu@gmail.com>
Date: Tue, 30 Jan 2007 12:09:04 -0500
Message-ID: <f43ea5790701300908u42a5f511m9e775db49243a0ff@mail.gmail.com>
To: public-ws-semann@w3.org

Hi,
Here is an example of the concise format of the rules

existsIn(?m, ?st) ∧ populatedBy(?st, ?pe) ∧ effectedBy(?pe, ?ef) ∧
computes(?ef, ?sf)
∧StochasticFunction(?sf) → isStochastic(?m, true)

This is extracted from the book chapter of Dr Miller at [1] page 18.

[1] http://chief.cs.uga.edu/~jam/jsim/DeMO/chapter/final2/millerChapter/miller.pdf

-- 
Ajith Ranabahu
Received on Tuesday, 30 January 2007 17:09:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 17 April 2012 12:14:27 GMT