Ifcowl: A case of transforming express schemas into ontologies
The description logic handbook: theory, implementation, and applications