- From: Rinke Hoekstra <hoekstra@few.vu.nl>
- Date: Tue, 9 Jun 2009 13:36:57 +0200
- To: OWL 2 <public-owl-wg@w3.org>
Hi all, The ESWC '09 paper by Luther et al [1] shows rather disappointing results -- timeouts, incomplete results etc. -- for mainstream DL reasoners on relatively simple ontologies (at least qua expressiveness). Perhaps we should consider adding some of the tests they describe to the OWL 2 test cases? They don't really fit neatly into any of the categories, as they are not targeted explicitly at testing language features. -Rinke [1] http://www.springerlink.com/content/m8684g73rg674m8u/ --- Drs Rinke Hoekstra Leibniz Center for Law | AI Department Faculty of Law | Faculty of Sciences Universiteit van Amsterdam | Vrije Universiteit Kloveniersburgwal 48 | De Boelelaan 1081a 1012 CX Amsterdam | 1081 HV Amsterdam +31-(0)20-5253499 | +31-(0)20-5987752 hoekstra@uva.nl | hoekstra@few.vu.nl Homepage: http://www.leibnizcenter.org/users/rinke
Received on Tuesday, 9 June 2009 11:37:30 UTC