ByNobleID
    The equivalence of model-theoretic and structural subsumption in description logics | NobleID