An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic.

Scott Sanner, Sheila A. McIlraith

Browse the full KR paper archive.