More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions
Authors: Jean Christoph Jung, Andrea Mazzullo and Frank Wolter
Paper Information
| Title: | More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions |
| Authors: | Jean Christoph Jung, Andrea Mazzullo and Frank Wolter |
| Proceedings: | DL Proceedings |
| Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
| Keywords: | Craig interpolants, explicit definability, Beth Definability Property, Description Logic |
| Pages: | 1 |
| Talk: | Aug 09 09:00 (Session 100C: Modularity and Forgetting (1)) |
| Paper: |  |