W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2007

Re: typo in OWL 1.1 syntax

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Thu, 11 Oct 2007 13:45:54 +0100
Message-Id: <02D5E435-2C85-450A-86CD-A6951BDBC08F@cs.man.ac.uk>
Cc: public-owl-dev@w3.org
To: Peter F. Patel-Schneider <pfps@research.bell-labs.com>

This is already fixed in the latest version (http://www.webont.org/ 
owl/1.1/owl_specification.html).

It is worth pointing out that the most update version reflecting post- 
submission bug fixes can be found in the OWLED space at:

http://www.webont.org/owl/1.1/

For those of us reviewing the documents (which I suppose is  
everyone), it will make more sense to look at these latest versions.

Ian


On 11 Oct 2007, at 11:40, Peter F. Patel-Schneider wrote:

>
> The production for individual is incorrectly stated as
>
> individualURI := 'Individual' '(' individualURI ')'
>
> it should be
>
> individual := 'Individual' '(' individualURI ')'
>
> peter
>
Received on Thursday, 11 October 2007 12:46:17 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:55 GMT