querying biomedical ontologies in natural language using answer set programming .
The DLV System for Knowledge Representation and Reasoning