Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL

We propose an approach for reasoning about actions with domain descriptions including an EL perpendicular to ontology in a temporal action theory. The action theory is based on a Dynamic Linear Time Temporal Logic, whose extensions are defined through temporal answer sets. The work provides conditions under which action consistency can be guaranteed with respect to an EL perpendicular to ontology, by polynomially encoding an EL perpendicular to knowledge base into a domain description of the temporal action theory.