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 Friday, 4 July 2003 09:09:19 UTC