From: Harry Chen (harry.chen@umbc.edu)
Date: 12/11/03
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 I have implemented a Prolog program for processing and reasoning with temporal information that is represented in XSD dateTime based on the DAML-Time axioms. This program accepts time information that is represented in the ISO 8601 Date and Time formats (described in the XSD spec) as inputs and provides a set of Prolog predicates for comparing the temporal order of the inputs using the DAML-Time axioms (e.g., interval calculus). This program also supports operations for processing time zones and UTC normalization. With this feature, the date/time inputs to the upper DAML-time reasoning rules can have different time zone specifications. For example, you can compare the mid-night of two X'mas days, one is in EST and one is in the Christmas Island Time, Australia. before(['2003-12-25T00:00:00-05:00'],['2003-12-25T00:00:00+07:00']). The implementation of this reasoner is in its early stage of development. If you have any suggestions or comments, please let me know. In particular, I would like hear your opinions on additional features that should be included in the reasoner. For source codes and additional information: http://cobra.umbc.edu/time/ - - Harry - --- Harry Chen <> eBiquity Research Group <> Dept. of CSEE, UMBC mailto:harry.chen@umbc.edu <> http://www.cs.umbc.edu/~hchen4 <> 8303 775C F587 8F91 673B 000A C396 A7F5 C12B D936 <> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (Darwin) iD8DBQE/2Pr+w5an9cEr2TYRAramAKCRQVuNNA+NXM0GtmgAacra7y6hkgCgs6qE 8afS0SduEcVFKcEFRyED2yo= =i2Y4 -----END PGP SIGNATURE-----
This archive was generated by hypermail 2.1.4 : 12/11/03 EST