Skip to main content

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