Reasoning about actions with EL ontologies with temporal answer sets
  We propose an approach based on Answer Set Programming for reasoning about
actions with domain descriptions including ontological knowledge, expressed in
the lightweight description logic EL^\bot. We consider a temporal action
theory, which allows for non-deterministic actions and causal rules to deal
with ramifications, and whose extensions are defined by temporal answer sets.
We provide conditions under which action consistency can be guaranteed with
respect to an ontology, by a polynomial encoding of an action theory extended
with an EL^\bot knowledge base (in normal form) into a temporal action theory.
