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