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

RE: OWL guide problem?

From: Smith, Michael K <michael.smith@eds.com>
Date: Mon, 7 Jul 2003 08:51:02 -0500
Message-ID: <87CE68334664A54C81F8DF312343A3FF01EF5D62@USPLM207>
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>, Dave Reynolds <der@hplb.hpl.hp.com>, www-webont-wg@w3.org
Cc: "JEREMY CARROLL (E-mail)" <jeremy_carroll@hpl.hp.com>

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 GMT

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