OWL Inference Engine: F-OWL

Travel Agent Gane in Agentcities: TAGA

ITTAlk reasoning Ittalk Reasoning Engine

Calendar Agent DAML Calendar Agent

DAML Inference Engine

X.509 v3, S/MIME

Trading Agent Competition