trivially true predicate to have a kind of rule labeling statement

Tim and Dan,

There was a comment on rdf from you Dan to
have a trivially true predicate e.g. rdfs:fyi
and we currently are glad to use that as
a kind of rule labeling statement eg
{: rdfs:fyi :rule25. :a :b :c} => {:d :e :f}.
We have done that as a builtin, but I forgot
about cwm (such rules don't run with cwm)
and I don't know what you think about that...

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Sunday, 4 May 2003 13:52:33 UTC