- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Wed, 06 Aug 2003 10:41:03 -0400 (EDT)
- 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 UTC