EXTRACREDIT Jeremy J. Carroll The blank nodes in a class description in OWL DL may not form a directed cycle.