Reasoning over Ontologies with DLV