Symbolic representation of user-defined time granularities

被引：21

作者：

Bettini, C ^{[1
]}

De Sibi, R ^{[1
]}

机构：

[1] Univ Milan, DSI, I-20122 Milan, Italy

来源：

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 2000年 / 30卷 / 1-4期

关键词：

knowledge representation; temporal reasoning; time representation; time granularity;

D O I：

10.1023/A:1016686623228

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In the recent literature on time representation, an effort has been made to characterize the notion of time granularity and the relationships between granularities. The main goals are having a common framework for their specification, and allowing the interoperability of systems adopting different time granularities. This paper considers the mathematical characterization of finite and periodic time granularities, and investigates the requirements for a user-friendly symbolic formalism that could be used for their specification. Instead of proposing yet another formalism, the paper analyzes the expressiveness of known symbolic formalisms for the representation of granularities, using the mathematical characterization as a reference model. Based on this analysis, a significant extension to the collection formalism defined in [15] is proposed, in order to capture a practically interesting class of periodic granularities.

引用

页码：53 / 92

页数：40

共 23 条

[1] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].

ALLEN, JF .

COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843

[2] An access control model supporting periodicity constraints and temporal reasoning [J].

Bertino, E ;

Bettini, C ;

Ferrari, E ;

Samarati, P .

ACM TRANSACTIONS ON DATABASE SYSTEMS, 1998, 23 (03) :231-285

[3] A general framework for time granularity and its application to temporal reasoning [J].

Bettini, C ;

Wang, XS ;

Jajodia, S .

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1998, 22 (1-2) :29-58

[4]

BETTINI C, 1998, LNCS, V1399, P406

[5]

Bettini C., 2000, TIME GRANULARITIES D

[6]

CASATI F, 2000, DATABASE SUPPORT WOR, pCH3

[7]

Chandra R., 1994, Proceedings. The 10th International Conference Data Engineering (Cat. No.94CH3383-7), P264, DOI 10.1109/ICDE.1994.283040

[8] Expressing time intervals and repetition within a formalization of calendars [J].

Cukierman, D ;

Delgrande, JP .

COMPUTATIONAL INTELLIGENCE, 1998, 14 (04) :563-597

[9]

DESIBI R, 1998, THESIS U MILAN ITALY

[10]

Goralwalla I. A., 1998, Proceedings of the 1998 ACM CIKM International Conference on Information and Knowledge Management, P414, DOI 10.1145/288627.288689

← 1 2 3 →