[DL] Benchmark for the ALCN DL

[Uli Sattler]

Hi, there should be some here:

http://owl.cs.manchester.ac.uk/repository/

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