The AI system DLV: Ontologies, reasoning, and more