University of Oxford Department of Computer Science

Hypertableau Reasoning for Description Logics

Boris Motik‚ Rob Shearer and Ian Horrocks

Journal

J. of Artificial Intelligence Research

Pages

165–228

Volume

36

Year

2009

Links

Back to Top