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

Abstract

We propose an approach for reasoning about actions with domain descriptions including an EL⊥ 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⊥ ontology, by polynomially encoding an EL⊥ knowledge base into a domain description of the temporal action theory.