layering DAML+OIL on top of RDF model theory

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 11/21/01


Here is a technical challenge.

Is it possible to layer a model theory for DAML+OIL on top of a model
theory for RDF?  What would this mean?  How would it work?

Note that the current model theory for DAML+OIL is *not* layered on top of
a model theory for RDF.

peter

PS: Am I actually expecting an answer?  Well not really, I'm expecting that
someone (me?) will have to work to determine the answer, but it would be
nice if this had been done already.  :-)


This archive was generated by hypermail 2.1.4 : 04/02/02 EST