Description Logics

Description Logics are among the best candidates as ontology languages. More specifically, languages like the Ontology Web Language (OWL) are based on description logics.

The expressivity and decidability of a description logic depends on its contructors.

Links :

• List of the constructors and a summary of the complexity of the different description logics
• The Description Logics resource page

-- AlexandreRichard - 14 Jun 2006