W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

OWL guide problem?

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 04 Jul 2003 14:08:35 +0100
Message-ID: <3F057C53.6020204@hplb.hpl.hp.com>
To: Dave Reynolds <der@hplb.hpl.hp.com>, www-webont-wg@w3.org
CC: "JEREMY CARROLL (E-mail)" <jeremy_carroll@hpl.hp.com>



Dave Reynolds wrote:

> Am I missing something or does the OWL Guide example ontology at:
> 
>   http://www.w3.org/2001/sw/WebOnt/guide-src/wine.owl
> 
> have duplicate entries for many of the Winery's in the final AllDifferent
> collection? Marietta for example.
> 
> Does that not make this an inconsistent document?
> 
> Dave
> 

This seems to be an error which is also in the editor's draft

This makes it inconsistent in OWL DL.

There is a further defect in the the OWL Full semantics, that leaves this 
as consistent in OWL Full.

I expect both problems will be fixed.

Jeremy
Received on Friday, 4 July 2003 09:09:19 GMT

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