APPROVED Jeremy J. Carroll An empty owl:Class has the same class extension as owl:Nothing.