small error in S&AS

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/