00387nas a2200109 4500008004100000245007100041210006900112300001100181100001500192700002000207856005000227 2012 eng d00aA Resolution Procedure for Description Logics with Nominal Schemas0 aResolution Procedure for Description Logics with Nominal Schemas a1–161 aWang, Cong1 aHitzler, Pascal uhttp://dx.doi.org/10.1007/978-3-642-37996-3_1