DLnavigator
| Name of the tool: | Description Logic Complexity Navigator |
|---|---|
| Home page: | http://owl.cs.manchester.ac.uk/navigator/ |
| Date of latest release: | |
| Programming language(s) that can be used with the tool: | |
| Relevant semantic web technologies: | OWL |
| Categories: | Development Environment |
| See also: | |
| Public mailing list: | |
| Preferred project URI: | |
| DOAP reference: | |
| Company or institution: | University of Manchester |
(Tool description last modified on 2009-12-10.)
Description
The Description Logic Complexity Navigator is a web page that allows to review the complexity of reasoning tasks of various description logics by adding or removing features. It includes a comprehensive list of references to the literature.