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 .... :) JReceived on Wednesday, 23 April 2008 08:35:14 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 23 April 2008 08:35:15 GMT