[DL] Benchmark for the ALCN DL

[Adam Meissner]

Hi,

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.

Regards,

Adam Meissner