Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo: OntoDLP: a Logic Formalism for Knowledge Representation. Answer Set Programming 2003