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?

Thanks,
Evren

---
> Evren Sirin evren@cs.umd.edu
> Graduate Research Assistant
> Computer Science Department
> Univ of Maryland, College Park, MD 20742
> Phone: (301) 405-7027, Fax: (301) 405-6707

Received on Tuesday, 11 November 2003 03:07:33 UTC