daml+oil syntax checker

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


Dear All,

Further to our discussion in last week's teleconf regarding a syntax
checker for daml+oil, Sean has made a preliminary version available
for you to try at:

    http://img.cs.man.ac.uk/oil/checker

Before going public with this it needs a bit more testing and an
upgrade to the new Jena parser so that it will handle the
daml:collection parseType. Currently it is just running on Sean's
desktop, so the service may not be 100% reliable. Let me/Sean know if
you have any problems or comments.

Regards, Ian


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