RE: OWL guide problem?

Jeremy is correct.  I thought it was corrected some time
ago.  Now fixed.

- Mike

-----Original Message-----
From: Jeremy Carroll [mailto:jjc@hplb.hpl.hp.com] 
Sent: Friday, July 04, 2003 8:09 AM
To: Dave Reynolds; www-webont-wg@w3.org
Cc: JEREMY CARROLL (E-mail)
Subject: OWL guide problem?





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 Monday, 7 July 2003 09:53:28 UTC