Reasoning about actions with EL ontologies in a temporal action theory (Extended Abstract)
Authors: Laura Giordano, Alberto Martelli and Daniele Theseider Dupre
Paper Information
Title: | Reasoning about actions with EL ontologies in a temporal action theory (Extended Abstract) |
Authors: | Laura Giordano, Alberto Martelli and Daniele Theseider Dupre |
Proceedings: | DL Proceedings |
Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
Keywords: | reasoning about actions, EL ontologies, Rule based temporal action logic |
Pages: | 1 |
Talk: | Aug 08 17:15 (Session 98C: Tractable DL) |
Paper: |