Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles.

Sebastian Brandt Anni-Yasmin Turhan Ralf Küsters

Published in: LPAR (2003)

Keyphrases

expressive power
description logics
transitive roles
modal logic
default logic
computational complexity
default theories
double exponential