Description Logics 2003:
: Rule Based Computation of Updates to Terminologies.
Standard Reasoning Services
: Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles.
, Hans de Nivelle
: Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.
Non-standard Reasoning Services
Implementations and Systems
: Reasoning about Nominals with FaCT and RACER.
: Status Report on Description Logics related Project in Korea.