Description logics

From korrekt.org

Description logics (DLs) encompass a range of closely related knowledge representation languages, that, depending on your point of view, correspond to certain fragments of (guarded) first-order logic or to specific hybrid logics. Though research dates back to the 1980s, DLs have greatly gained popularity with the advent of Semantic Web research.

Most of my original work in this area relates to tractability and complexity, and also to conjunctive queries. Recently, we have also investigated description logic rules, and the related tractable logic ELP.

A more specialized topic is the development of the ELK reasoner.

Useful resources

Publications related to this topic

Updates to the following list are also available as RSS feed. A list of all publications is also available.