DAML Layer

From: Stefan Decker ([email protected])
Date: 05/29/01


Hi,

please find an updated DAML Layer document at
http://www-db.stanford.edu/~stefan/daml/2001/05/29/damllayer.html

Updates: distinction between Integrity Constraint
Checking and deduction rules added, a couple of integrity constraints 
derived from
DAML+OIL constructs added, suggestions from last telecon integrated,
a lot of spelling errors removed.

All the best,

	Stefan


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