From Semantic Web Standards
Jump to: navigation, search

Description Logic Complexity Navigator

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.)


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.