Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match

Inthisworkweincludecardinalityrestrictionsanddegreesofexpect- edness of inclusions in preferential Description Logics. We enrich the language of the nonmonotonic Description Logic DL-LitecT, obtained by adding a typ- icality operator T to standard DL-Litecore , by allowing inclusions of the form T(C) ⊑d D, where d is a degree of expectedness. We then propose a syntactic notion of extension of an ABox, in order to assume typicality assertions about individuals satisfying cardinality restrictions on concepts. Moreover, we define an order relation among such extended ABoxes, that allows to define a notion of perfect extension as the minimal one with respect to such an order relation. We apply this machinery to a problem coming from sports entertainment, namely the problem of maximizing the approval rating by the people attending to the Royal Rumble match, an annual wrestling event involving thirty athletes.