Some bad news, and some good news, on the MT revision.

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