Re: miscellaneous-011

> The conclusions file for the test case miscellaneous-011 is claimed to
> be OWL DL but both our reasoner Pellet and Sean's validator thinks it is
> OWL Lite and I don't see why it is not Lite. Is this is an error in the
> manifest file or am I missing something?

You are right and it is now corrected in

Thanks for catching.

Jos De Roo, AGFA

Received on Tuesday, 11 November 2003 05:55:48 UTC