在耶拿推理本體論

Question

我是耶拿的本體論和推理領域的新人，我迫切需要幫助來獲得如何做到以下幾點的邏輯。我建立與下面的類OWL本體：

-A人hasInterests興趣 - 一個人hasMessage消息 - 消息hasCategory類別（或消息的子類） - 消息可以是垃圾郵件或火腿（的子類消息）

我想說，如果該消息的類別是一樣的人的利益，則該消息是火腿

Q1：我想建立這樣的推理就推斷此所以我想定義的本體論火腿作爲班級類別和興趣的交集，並且垃圾郵件是完成這個相交離子類。這是適用的使用推理或我需要SPARQL查詢

Q2：如何創建個人和做以下推論：

• 花是一個人
• MESSAGE1是一個消息
• 運動是一類
• 電影是一種興趣

如何推斷，因爲這項運動不等於MOVI那麼message1是垃圾郵件。

我急需要針對如何實現這一點，究竟是指爲我的碩士論文

Answer 1

這樣做（我是一個新手的最簡單的方式做，但我剛剛成功在本體x_x中進行推理）是通過使用Protégé創建本體並思考要鏈接的概念... 與消息和個人相比，您擁有相當抽象的類別和興趣。你必須考慮如何鏈接它們，以及它們屬於哪些類。 混凝土與抽象...對象與生活...動物與植物... 這是一個例子。

如果你對這些有好處，你可以使用Protégé來實現它們（因爲它是一個圖形工具，開始時比較容易）：選中「實體」選項卡和「類」子選項卡。 然後，你把規則和屬性。 （最難的部分） 通常，具體是什麼不是抽象的......所以你必須在它們的屬性內將兩者分開。 如果你期望一些關係能夠構成一個「真實的」本體，你必須定義你自己的屬性（例如，一個人可以「擁有」對象，但是一個對象不能「擁有」一個人）。

當你建立了基本的本體論時。你必須檢查是否可以做一些推論（在protégé中搜索「推理器」菜單，並激活其中的一個，並定期同步）。最後，您可以在裏面添加個人，並填寫其屬性（搜索名爲「個人」的子選項卡）。