[DL] description logics complexity navigator

[Uli Sattler]

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