[DL] Benchmark for the ALCN DL
horrocks at cs.man.ac.uk
Thu Mar 31 23:10:58 CEST 2011
I would advise against using T98 derived benchmarks as they are hopelessly outdated.
On 27 Mar 2011, at 13:40, Adam Meissner wrote:
> I am looking for a benchmark suite for DL with the ALCN language (strict). The set has to contain both satisfiable and unsatisfiable descriptions of concepts. Roughly speaking, it should be an "ALCN equivalent" of the T98-sat library. Could anybody point me to something like that? Thank you very much in advance.
> Adam Meissner
> ** You received this mail via the description logic mailing list; for more **
> ** information, visit the description logic homepage at http://dl.kr.org/. **
More information about the dl