W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2008

matching existing existentials in the consequent.

From: Jeff Thompson <jeff@thefirst.org>
Date: Fri, 11 Apr 2008 09:27:43 -0700
Message-ID: <47FF917F.4050000@thefirst.org>
To: cwm talk <public-cwm-talk@w3.org>

Consider the following:

alice a CatLover.
bob a CatLover.
bob owns fluffy.
fluffy a Cat.
{?x a CatLover} => {?x owns [a Cat]}.

As expected, cwm --think knows that alice is a CatLover, so asserts that she
owns [a Cat]:

:alice a :CatLover; :owns [a :Cat].

However, bob already owns Fluffy who is a Cat, but cwm seems to ignore this and asserts that
he owns another Cat:

:bob a :CatLover; :owns :fluffy, [a :Cat].

I ask because cwm will match existing existentials in the antecedent, so shouldn't
it also match them in the consequent, and just leave it as bob owns Fluffy without
adding another assertion?

- Jeff
Received on Friday, 11 April 2008 16:28:19 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:05 UTC