Coalition Description Logic with Individuals

Coalitional Description Logic [Seylan, I. and W. Jamroga, Description logic for coalitions, in: Proceedings of AAMAS'09, 2009, pp. 425–432.] is a product style combination of Coalition Logic and the description logic ALC. It enables reasoning about agents' ability to influence first-order structures. In this paper, we extend the logic with nominals, i.e., names of individuals including those of agents to define more complex terms for coalitions. This extended language allows one to express surprisingly sophisticated properties because it provides a way to reason about how agents can influence themselves. After introducing the new logic formally, we show that its satisfiability problem is still decidable in NEXPTIME. We prove it constructively by proposing a tableau.