The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. Jeremy J. Carroll APPROVED