EXTRACREDIT Jeremy J. Carroll Structure sharing is not permitted in OWL DL, between a class description and a type triple.