Tractable Queries for Lightweight Description Logics
LUBM: A benchmark for OWL knowledge base systems