Ontology-Mediated Query Answering with Data-Tractable Description Logics
The Mastro System for Ontology-based Data Access