http://www.daml.org
Jim Hendler
Chief Scientist - Information Systems Office
DARPA
