Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.

Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus

Browse the full KR paper archive.