"Tools for"
Project Overview
DAML Language Development and Promotion
Query-Answering from DAML KBs
Forward Chaining in JTP
JTP
Ontology Development Tools and Support