Reasoning about actions with EL ontologies with temporal answer sets

Laura Giordano, Alberto Martelli, Daniele Theseider Dupré

We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight descriptio…