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
This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:54 UTC