Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match
Contributo in Atti di convegno
Data di Pubblicazione:
2015
Abstract:
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.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
description logic, nonmonotonic reasoning, typicality
Elenco autori:
Pozzato, Gian Luca
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Proceedings of the 30th Italian Conference on Computational Logic
Pubblicato in: