From: Harry Chen ([email protected])
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:[email protected] <> 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