Reasoning about actions with EL ontologies with temporal answer sets

Open in new window