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.

Received on Friday, 4 July 2003 09:09:19 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:54 UTC