- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Tue, 2 Dec 2003 20:46:23 +0000
- To: "Dickinson, Ian J" <Ian.Dickinson@hp.com>
- Cc: "'Jeremy Carroll'" <jjc@hplb.hpl.hp.com>, www-webont-wg@w3.org
On December 1, Dickinson, Ian J writes: > > From: Jeremy Carroll [mailto:jjc@hplb.hpl.hp.com] > > This is a general FYI. > > > > Ian Dickinson has noticed that the DIG interface makes the > > unique names > > assumption, and hence cannot be used very easily (if at all) > > for OWL, in its current generation. > To be fair, Ian was told about the UNA by the DIG implementors, rather than > noticed for himself. > > My plan is to complete the Jena interface to DIG reasoners anyway, as there > are still some significant reasoning tasks that an external DL engine, > accessed via DIG, can assist Jena users with. I am told that work is in the > pipeline to move current freeware DL reasoners to OWL-DL compliance, so the > utility of the Jena+external DIG reasoners will increase over time anyway. > This won't occur in time for OWL's recommendation status though. > > Regards, > Ian >
Received on Tuesday, 2 December 2003 15:51:30 UTC