Re: Rules (was Re: Ambiguous names. was: Re: URL +1, LSID -1)

Bijan Parsia wrote:
> Eric, I would be very much interested in some more details about the 
> sort of rules used and how they are used. I personally tend to 
> distinguish between the use of rules in modeling and the use of rules 
> for data munging tasks. Obviously, where you draw this boundary can be a 
> matter of taste and situation, but it seems to be a useful distinction. 
> It's unclear to me where the rules you describe fall.
> 
> There is some effort coming out of OWLED 2007 to improve the 
> infrastructure situation (from implementation to documentation) with 
> regard to rules and OWL, so any information you can give on use patterns 
> and needs would be very helpful. (Also, C&P has a summer intern working 
> on rule support in Pellet and having real uses would be nicely 
> motivating :)).

See http://expasy.org/sprot/hamap/unirules.html.

Example rule: http://expasy.org/unirules/MF_00344.