- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Thu, 9 Mar 2006 20:52:43 +0100
- To: "'Francis McCabe'" <frankmccabe@mac.com>, <public-rif-wg@w3.org>
> As a straw man (YASM) one could imagine something like: > > <ruleset language="prolog" variant="ISO" topic="ancestor"> > ancestor(X,Y) :- parent(X,Y). > ancestor(X,Z) :- parent(X,Y), ancestor(Y,Z). > </ruleset> > > This would allow meta-tools to process rulesets and decide for > themselves whether to handle a given ruleset without trying to > actually parse the ruleset first. I think that this could be quite > useful in many cases of ruleset integration, but would not address > the semantic interoperability issues. In any case, this seems to be a useful fall-back solution for those cases where someone cannot (or does not want to) use the RIF for a complete mark-up. In UML this concept is called "Opaque Expression", and it is also employed in PRR. -Gerd
Received on Thursday, 9 March 2006 19:55:52 UTC