Framework for specifying "reasonable" properties

From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 06/19/01


Dear All,

As promised, here is something we wrote that (I hope) identifies the
problem a little more clearly and suggests a possible solution:

http://www.cs.man.ac.uk/~horrocks/Publications/download/2000/DL00-interfaces.ps.gz

Ian


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