Italiano (Italian) English (Inglese)
Saturday, 20 April 2024

Technical Reports

Technical Report Details
Authors:Lavinia Egidi
Paolo Terenziani
Scientific Area:Artificial Intelligence
Temporal Reasoning
Title:Orthogonal operators for user-defined symbolic periodicities
Published on:TR-INF-2004-04-06-UNIPMN
Publisher:Computer Science Department, UPO
Year:2004
URL:http://www.di.unipmn.it...R-INF-2004-04-06-UNIPMN.pdf
Abstract: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.