Translates OWL-DL ontology to Answer Set Programming Language