q DAML Services
q Participated in the definition of DAML-S Version 0.6 Ontology
for Web Services
q Developed Use Cases for DAML-S Profiles
q Defined a concurrent execution semantics for DAML-S
q DAML Service Discovery
q Developed a DAML-S matchmaker
q Developed method for the DAML-S matchmaker to interoperate
with UDDI