FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: