Italiano (Italian) English (Inglese)
giovedì, 12 dicembre 2024

Rapporti Tecnici

Dettagli rapporto tecnico
Autori:Lavinia Egidi
Paolo Terenziani
Area Scientifica:Artificial Intelligence
Temporal Reasoning
Titolo:Orthogonal operators for user-defined symbolic periodicities
Apparso su:TR-INF-2004-04-06-UNIPMN
Editore:Computer Science Department, UPO
Anno:2004
URL:http://www.di.unipmn.it...R-INF-2004-04-06-UNIPMN.pdf
Sommario:The treatment of user-defined calendars and periodicities is attracting an increasing attention within the AI and the DB fields. In this paper, we identify a set of orthogonal properties characterizing periodicities; based on these we define a lattice of classes (of periodicities). For each property, we introduce a language operator and, this way, we propose a family of symbolic languages (each one corresponding to a subset of operators), one for each point in the lattice. Therefore, the expressiveness and meaning of each operator, and thus of each language in the family, are clearly defined, and a user can select the language that exactly covers the properties of her domain. To the best of our knowledge, our language covering the top of the lattice (i.e., all of the properties) is more expressive than any other symbolic language in the AI and DB literature.