Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match
Gian Luca Pozzato · Institutional Research Information System University of Turin (University of Turin) · 2015
In this work we include cardinality restrictions and degrees of expectedness of inclusions in preferential Description Logics.We enrich the language of the nonmonotonic Description Logic DL-LitecT, obtained by adding a typicality 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.