[DL] DL complexity navigator

Evgeny Zolin ezolin at cs.man.ac.uk
Tue Sep 27 01:06:51 CEST 2005

Dear all,

Here is presented a tool that is useful to those dealing with Description


Many results on complexity of reasoning in various Description Logics (DL)
have been obtained, mostly during the last decade. However, all these facts
are spread among numerous papers, proceedings, reports, or even among
chapters of the DL Handbook. The web page [1] cited below allows you
to navigate through a variety of DLs and find out the results known about
the complexity of reasoning (and some other properties) of the selected DLs.
The results are given with references to papers where they were established.

This resource is under permanent development, hence it is incomplete
(and perhaps cannot be complete).
Comments and suggestions are welcome to the e-mail address below.

[1] http://www.cs.man.ac.uk/~ezolin/logic/complexity.html

Best regards,
Evgeny Zolin
School of Computer Science
The University of Manchester
ezolin at cs.man.ac.uk

More information about the dl mailing list