- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Tue, 2 Oct 2001 19:42:51 -0500
- To: w3c-rdfcore-wg@w3.org
- Cc: pfps@research.bell-labs.com
There was some wreckage from an old typo in my last message, so the notion of rdf-interpretation will be somewhat simpler than I thought it was going to be, and the revision is slightly delayed. Moreover, after discussions with Peter, I will need to make a slightly different, and less elegant, 'fix' to handle rdfs:Literal. The good news is that, inspired by the rdf/s model theory, Peter has rewritten the DAML+OIL model theory so as to more closely represent DAML+OIL as an extension of RDF. (His earlier model theory for DAML+OIL essentially ignored the RDFS classes, but this one integrates DAML classes with RDFS classes in a single semantics. ) We hope to keep this integration coherent, so that rdf/rdfs/daml will form an enlarging namespace sequence each including the previous ones, all built on a common core with a uniform model theory. If we can keep this going, the result will be very pretty indeed, and worth waiting for. Right now, the chief obstacle is how to handle literals in a way that can be extended to DAML+OIL. We will get back to y'all on that. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Tuesday, 2 October 2001 20:42:55 UTC