DAML Layer

From: Stefan Decker (stefan@db.stanford.edu)
Date: 05/29/01


please find an updated DAML Layer document at

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,


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