知識圖譜之知識推理

推理就是通過各種方法獲取新的知識或者結論，這些知識和結論滿足語義 知識推理的任務： 可滿足性 分類 實例化   1）可滿足性 本體可滿足性：如男性和女性的交集爲空，即不存在一個人既是男，也是女。若小明既是男，又是女，小明這個本體就是不可滿足的本體 概念可滿足性：檢查某一概念的可滿足性，即檢查是否具有模型，使得針對該概念的解釋不是空集 2）分類 與機器學習中的分類不同 如母親是女性的一個子類，女性是

>>阅读原文<<