External Computations and Interoperability in the New DLV Grounder
LUBM: A benchmark for OWL knowledge base systems