我正在嘗試使用常識推理。我遇到了這個叫Conceptnet http://conceptnet5.media.mit.edu/的很酷的東西。還有一個搜索頁面用於搜索不同的概念。這是Search Page(link)。 我想通過python使用它。我試過這Calling conceptnet through api calls(link)。但是 我想用python和ubuntu在本地機器上設置它。他
我一直在使用耶拿OWL裏森納一些測試，但我不明白一些成果獲得，例如，如果我有以下KB： Class A
Class B
Class C rdfs:subClassOf A
A owl:disjointWith B
...如果我問"C owl:disjointWith B"？到推理模型，得到的答覆是前人的精力"yes"，但耶拿OWL推理機答案是否定的......我檢查這個使用... if
這個問題與此有關：OWL and DL Reasoning: Why is Eros not beautiful? 我試圖創建具有這些特徵的本體：如果所有的孩子們都成功 每個人都是幸福的。 阿芙羅狄蒂是愛神的父母。 愛神是成功的。 這裏就是我的快樂： 我希望忒不快樂，因爲開放世界假設（她以後可能有另一個孩子），但愛神呢？他沒有孩子，他不應該快樂嗎？