Tobies, Stephan

1 publications

JAIR 2000 The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics Stephan Tobies