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