Example of more readable rule descriptions from Ajith Ranabahu on 2007-01-30 (public-ws-semann@w3.org from January 2007)

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

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 UTC