Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
Authors: Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel and Marcel Steinmetz
Paper Information
| Title: | Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) |
| Authors: | Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel and Marcel Steinmetz |
| Proceedings: | DL Proceedings |
| Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
| Keywords: | planning, expressive DLs, compilation scheme, experiments, benchmarks |
| Pages: | 1 |
| Talk: | Aug 09 12:00 (Session 102C: Expressivity & Decidability) |
| Paper: |  |