- From: Guus Schreiber <[email protected]>
- Date: Wed, 02 Jul 2003 16:11:31 +0200
- To: "Peter F. Patel-Schneider" <[email protected]>
- CC: WebOnt WG <[email protected]>
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: [email protected] Home page: http://www.cs.vu.nl/~guus/ Received on Wednesday, 2 July 2003 10:40:20 UTC