From: Deborah Mcguinness (dlm@ksl.stanford.edu)
Date: 01/11/01
The axiomatic semantics has been updated to reflect the updates posted on http://www.cs.man.ac.uk/~horrocks/daml+oil/ the semantics directory is: http://www.ksl.Stanford.EDU/people/dlm/daml-semantics/ and the direct link to the html file is: http://www.ksl.Stanford.EDU/people/dlm/daml-semantics/daml+oil-axioms-010111.htm
This archive was generated by hypermail 2.1.4 : 04/02/02 EST