W3C home > Mailing lists > Public > www-webont-wg@w3.org > November 2003

miscellaneous-011

From: Evren Sirin <evren@cs.umd.edu>
Date: Tue, 11 Nov 2003 03:07:34 -0500
Message-ID: <3FB098C6.6070907@cs.umd.edu>
To: www-webont-wg@w3.org

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT