Reasoning Approaches for Nominal Schemas?

Abstract. Nominal schemas are a new DL constructor which can be used like ”variable nominal classes ” within axioms. This feature allows DL languages to express arbitrary DL-safe rules in their native syntax. In this paper we summarize several reasoning approaches recently devised to reason over nominal schemas. Although we have made some progress, there are still some interesting challenges yet to be solved.