[DL] Benchmark for the ALCN DL

[Ian Horrocks]

I would advise against using T98 derived benchmarks as they are hopelessly outdated.

Ian


On 27 Mar 2011, at 13:40, Adam Meissner wrote:

> 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
> 
> ---
> **  You received this mail via the description logic mailing list; for more  **
> **  information, visit the description logic homepage at http://dl.kr.org/.  **