Uniform and Modular Sequent Systems for Description Logics
Authors: Tim Lyon and Jonas Karge
Paper Information
| Title: | Uniform and Modular Sequent Systems for Description Logics |
| Authors: | Tim Lyon and Jonas Karge |
| Proceedings: | DL Proceedings |
| Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
| Keywords: | Sequent Calculus, Description Logics, Proof Theory |
| Pages: | 1 |
| Talk: | Aug 09 10:15 (Session 100C: Modularity and Forgetting (1)) |
| Paper: |  |