2022
Finite Entailment of Local Queries in the Z Family of Description Logics
AAAI 2022technical
In the last few years the field of logic-based knowledge representation took a lot of inspiration from database theory. A vital example is that the finite model semantics in description logics (DLs) is reconsidered as a desirable alternative to the classical one and that query entailment has replace…