activity
20192025
most citedLearning Query Inseparable ELH Ontologies

3 citations · 8 across the 11 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020★ 1 cited

Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions

Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo +2

The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it is valid. The projective Beth definability property (PBDP) states that an explici…