an RDFS-aware model theory for DAML+OIL

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

• Next message: Peter F. Patel-Schneider: "including labels and comments in the ``definition'' of DAML+OIL"
• Previous message: Peter F. Patel-Schneider: "problems caused by the delay in the starting of the webont wg"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

I have spent the last couple of days trying to understand the new model
theory for RDFS.    Once I did that, I tried to modify the DAM+OIL model
theory to fit it.  

Here are the fruits of my labour.

peter

• Text/Html attachment: daml_oil-model.html

• Next message: Peter F. Patel-Schneider: "including labels and comments in the ``definition'' of DAML+OIL"
• Previous message: Peter F. Patel-Schneider: "problems caused by the delay in the starting of the webont wg"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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