[DL] description logics complexity navigator

Uli Sattler sattler at cs.man.ac.uk
Fri May 9 12:23:34 CEST 2008

On 6 May 2008, at 20:54, Yvonne Violet Shashoua wrote:

> I was recently looking at the description logics complexity  
> navigator, and it seems like the base language it chooses for you is  
> always ALC.  Is there any way to get complexity information from it  
> about other description logics like AL, EL, or ALB? ---

as for now, no - but we are thinking of extending it so that it  
includes sub-boolean DLs.

Cheers, Uli

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