- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Wed, 23 Apr 2008 09:34:19 +0100
- To: Bijan Parsia <bparsia@cs.man.ac.uk>
- CC: Michael Schneider <schneid@fzi.de>, Alan Ruttenberg <alanruttenberg@gmail.com>, public-owl-wg@w3.org
Bijan Parsia wrote: >> "OWL-x conform" reasoners *MUST NOT* infer non-entailments of OWL-x. > > I thought, in essence, this was the F2F resolution. > me too I hope there is somewhere to record my -epsilon .... :) J
Received on Wednesday, 23 April 2008 08:35:14 UTC