Consequence-based reasoning beyond Horn ontologies (2011)

by František Simančík, Yevgeny Kazakov, Ian Horrocks