On Finite Entailment of Non-Local Queries in Description Logics

Open in new window