Entailment is the converse of the relation of logical consequence . 導出是邏輯推論關系的逆敘。 35 ian horrocks , peter f patel - schneider . reducing owl ...
確定! 回上一頁