The BioImage project (ww.bioimage.org) has released a constraint propogator to help build DAML+OIL ontologies. The tool provides a graphical way of checking that constraints are correctly applied to children of a node in a large ontology.