DAML Layer

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

Next message: Stefan Decker: "Re: rule proto-proposal"
Previous message: pat hayes: "Re: rule proto-proposal"
In reply to: Ian Horrocks: "Re: rule proto-proposal"
Next in thread: pat hayes: "Re: rule proto-proposal"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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

Next message: Stefan Decker: "Re: rule proto-proposal"
Previous message: pat hayes: "Re: rule proto-proposal"
In reply to: Ian Horrocks: "Re: rule proto-proposal"
Next in thread: pat hayes: "Re: rule proto-proposal"
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