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