Decidability of Circumscribed Description Logics Revisited - Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)
Keywords: Binary Predicate; Concept Inclusion; Description Logic; Finite Model Property; Model Property