MASTRO: A Reasoner for Effective Ontology-Based Data Access
The Mastro System for Ontology-based Data Access