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