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