[DL] Benchmark for the ALCN DL

Adam Meissner ameis at rose.man.poznan.pl
Sun Mar 27 14:40:55 CEST 2011


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

More information about the dl mailing list