Query rewriting for horn-SHIQ plus rules
The OWL API: A Java API for OWL ontologies