W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

Re: TEST, SEM: test cases for dark triples

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 25 Apr 2002 06:04:52 -0400
To: jos.deroo.jd@belgium.agfa.com
Cc: jjc@hplb.hpl.hp.com, www-webont-wg@w3.org
Message-Id: <20020425060452D.pfps@research.bell-labs.com>
From: jos.deroo.jd@belgium.agfa.com
Subject: Re: TEST, SEM: test cases for dark triples
Date: Tue, 23 Apr 2002 16:28:07 +0200

> 
> [...]
> 
> > > OWL-entails
> > >
> > >   :John a ( owl:Restriction _:x owl:onProperty :child owl:hasClass _:x ) .
> 
> [...]

> the () are indeed regular owl lists

But then :John becomes an instance of the list given above.
This is not a valid consequence, or, at least, does not appear to me to be
a valid consequence in any version of OWL/FOWL/DAML+OIL that I am familiar
with.

Are you indeed deducing that :John is a member of an object that is an
instance of daml:List?  If so, please let me know what sort of logical
system you have implemented in your rules.

peter
Received on Thursday, 25 April 2002 06:05:32 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:49 GMT