いよいよPatH先生ご登場 "The trouble with this idea, however, is that it yields a non-monotonic logic" ということで、rdfs:rangeがORだとすると最初OKだった言明があとでNGになる可能性があって単調性が破綻するから却下ということ https://lists.w3.org/Archives/Public/semantic-web/2016Feb/0109.html