Contextual Logic Programming for Ontology Representation and Querying