Description Logics

intro.

Relationship to other formalisms.

On-line courses.

Various approaches to DL reasoning.

DLs and Ontologies

The most promiment ontology definition formalism is OWL, which is, in fact, three increasingly-expressive languages:

Univ. of Manchester and and Univ. of Karlsruhe offer a variaty of on-line OWL tools: