Re: small error in S&AS

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/
>