... http://www.w3.org/TR/2012/REC-owl2-direct-semantics-20121211/ ... The (⇐) direction is trivial since each interpretation I w.r.t. D' ...
確定! 回上一頁