Querying large expressive horn ontologies