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

small error in S&AS

From: Guus Schreiber <schreiber@cs.vu.nl>
Date: Wed, 02 Jul 2003 16:11:31 +0200
Message-ID: <3F02E813.3050208@cs.vu.nl>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
CC: WebOnt WG <www-webont-wg@w3.org>

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 GMT

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