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