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

Re: small error in S&AS

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 06 Aug 2003 10:41:03 -0400 (EDT)
Message-Id: <20030806.104103.46613233.pfps@research.bell-labs.com>
To: schreiber@cs.vu.nl
Cc: www-webont-wg@w3.org

Correct.

I just fixed it.

peter


From: Guus Schreiber <schreiber@cs.vu.nl>
Subject: small error in S&AS
Date: Wed, 02 Jul 2003 16:11:31 +0200

> Peter,
> 
> Reading thtrough Appendix A.2 of the editor's draf of S&AS I found:
> 
> [[
> Let RI' = CEXTI(I(owl:Thing)) + CEXTI(I(owl:ObjectProperty)) + 
> CEXTI(I(owl:IndividualProperty)) + CEXTI(I(owl:Class)) + 
> CEXTI(I(rdf:List)) + RI, where + is disjoint union.
> ]]
> 
> owl:IndividualProperty -> owl:DatatypeProperty
> 
> In fact, you probaly meant it to read:
> 
> [[
> Let RI' = CEXTI(I(owl:Thing)) + CEXTI(I(owl:DatatypeProperty)) + 
> CEXTI(I(owl:ObjectProperty)) + CEXTI(I(owl:Class)) + CEXTI(I(rdf:List)) 
> + RI, where + is disjoint union.
> ]]
> 
> as the text further down says:
> 
> [[
> In essence the first component of RI' is OWL individuals, the second 
> component of RI' is OWL datatype properties, the third component of RI' 
> is OWL object properties, ......
> ]]
> 
> Guus
> 
> -- 
> Free University Amsterdam, Computer Science
> De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
> Tel: +31 20 444 7739/7718
> E-mail: schreiber@cs.vu.nl
> Home page: http://www.cs.vu.nl/~guus/
> 
Received on Wednesday, 6 August 2003 10:41:19 GMT

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