[DL] Benchmark for the ALCN DL

Uli Sattler sattler at cs.man.ac.uk
Fri Apr 1 19:04:53 CEST 2011

Hi, there should be some here:


(not benchmarks, but ALCN ontologies...)

Cheers, Uli

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/ 
> .  **

More information about the dl mailing list