On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem.
David Toman, Grant Weddell · 2001
We present a decision procedure for the logical implication problem of a boolean complete DL dialect that includes attributes, roles, inverse roles and a new concept constructor that is capable of expressing a variety of equality and order-generating dependencies. The procedure underlies a mapping of such problems to satisfiability problems of Datalog nS and in turn to the Ackermann case of the decision problem.