A language that is an amalgam of propositional dynamic logic and description logic - Τσούτσα, Παρασκευή (2014)