76 citations · 512 across the 33 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Unique Characterisability and Learnability of Temporal Instance Queries
Marie Fortin, Boris Konev, Vladislav Ryzhikov +3
We aim to determine which temporal instance queries can be uniquely characterised by a (polynomial-size) set of positive and negative temporal data examples. We start by considerin…
cs.LO2022★ 1 cited
Interpolants and Explicit Definitions in Extensions of the Description Logic EL
Marie Fortin, Boris Konev, Frank Wolter
We show that the vast majority of extensions of the description logic do not enjoy the Craig interpolation nor the projective Beth definability property. This is the…