Added rdfs:isDefinedBy annotations.