Framework for specifying "reasonable" properties

From: Ian Horrocks ([email protected])
Date: 06/19/01

• Next message: Mike Dean: "[Automated theorem prover finds inconsistencies in DAML+OIL]"
• Previous message: Mike Dean: "Joint Committee telecon today 19 June"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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

• Next message: Mike Dean: "[Automated theorem prover finds inconsistencies in DAML+OIL]"
• Previous message: Mike Dean: "Joint Committee telecon today 19 June"
• 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