small error in S&AS from Guus Schreiber on 2003-07-02 (www-webont-wg@w3.org from July 2003) (original) (raw)

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, 2 July 2003 10:40:20 UTC