From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment.

David Carral, Larry Gonzlez, Patrick Koopmann

Browse the full AAAI paper archive.