Comments on: How Distinguished is Your Variable? http://clarkparsia.com/weblog/2007/12/20/how-distinguished-is-your-variable/ Make lots of money through stealth in shadows Sat, 06 Sep 2008 18:25:25 +0000 http://wordpress.org/?v=2.6 By: syosi http://clarkparsia.com/weblog/2007/12/20/how-distinguished-is-your-variable/#comment-7323 syosi Wed, 16 Jan 2008 20:13:40 +0000 http://clarkparsia.com/weblog/2007/12/20/how-distinguished-is-your-variable/#comment-7323 I don't know about other tools but cwm (http://www.w3.org/2000/10/swap/doc/cwm) is an rdf processor that consistently treats bnodes as existential variables. Cwm has a forward chaining rule engine. I'm not sure how much what you said applies, because cwm does not understand owl. A rule like {?X a :Parent} => {?X :hasChild []} . does what is expected, that every parent has a (possibly different) child. I don’t know about other tools but cwm (http://www.w3.org/2000/10/swap/doc/cwm) is an rdf processor that consistently treats bnodes as existential variables. Cwm has a forward chaining rule engine. I’m not sure how much what you said applies, because cwm does not understand owl. A rule like

{?X a :Parent} => {?X :hasChild []} .

does what is expected, that every parent has a (possibly different) child.

]]> By: syosi http://clarkparsia.com/weblog/2007/12/20/how-distinguished-is-your-variable/#comment-8564 syosi Wed, 16 Jan 2008 17:13:40 +0000 http://clarkparsia.com/weblog/2007/12/20/how-distinguished-is-your-variable/#comment-8564 I don't know about other tools but cwm (<a href="http://www.w3.org/2000/10/swap/doc/cwm">http://www.w3.org/2000/10/swap/doc/cwm</a>) is an rdf processor that consistently treats bnodes as existential variables. Cwm has a forward chaining rule engine. I'm not sure how much what you said applies, because cwm does not understand owl. A rule like<br><br>{?X a :Parent} => {?X :hasChild []} .<br><br>does what is expected, that every parent has a (possibly different) child. I don’t know about other tools but cwm (http://www.w3.org/2000/10/swap/doc/cwm) is an rdf processor that consistently treats bnodes as existential variables. Cwm has a forward chaining rule engine. I’m not sure how much what you said applies, because cwm does not understand owl. A rule like

{?X a :Parent} => {?X :hasChild []} .

does what is expected, that every parent has a (possibly different) child.

]]> By: syosi http://clarkparsia.com/weblog/2007/12/20/how-distinguished-is-your-variable/#comment-8188 syosi Wed, 16 Jan 2008 17:13:40 +0000 http://clarkparsia.com/weblog/2007/12/20/how-distinguished-is-your-variable/#comment-8188 I don't know about other tools but cwm (<a href="http://www.w3.org/2000/10/swap/doc/cwm">http://www.w3.org/2000/10/swap/doc/cwm</a>) is an rdf processor that consistently treats bnodes as existential variables. Cwm has a forward chaining rule engine. I'm not sure how much what you said applies, because cwm does not understand owl. A rule like<br><br>{?X a :Parent} => {?X :hasChild []} .<br><br>does what is expected, that every parent has a (possibly different) child. I don’t know about other tools but cwm (http://www.w3.org/2000/10/swap/doc/cwm) is an rdf processor that consistently treats bnodes as existential variables. Cwm has a forward chaining rule engine. I’m not sure how much what you said applies, because cwm does not understand owl. A rule like

{?X a :Parent} => {?X :hasChild []} .

does what is expected, that every parent has a (possibly different) child.

]]>