Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment. Jeremy J. Carroll APPROVED