DQL semantics

From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 03/04/02


A preliminary proposal for a formalisation of the semantics of DQL can
be found at:

http://www.cs.man.ac.uk/~horrocks/Private/DAML/DQL-semantics.pdf

Regards, 

Ian and Sergio


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