protege4

0熱度

1回答

我們知道在Protege中可以創建具有角色鏈的公理，並且由於Protege基於OWLAPI，因此應該可以創建它們。我沒有在官方文檔中找到示例，因此可以這樣做嗎？一個例子在這裏：隨着我們對OWL語法： Declaration(ObjectProperty(:isEmployedAt)) ObjectPropertyAssertion(:isEmployedAt :Martin :SC)

0熱度

1回答

可以保護使用數據屬性的貓頭鷹原因？

我試圖讓Protege 4中的推理者根據數據屬性得分來分類個體。健康狀況良好的人的數據屬性「移動分數」爲8.我試圖讓一個推理者將這樣一個人放到一個名爲「健康狀況良好」的類中。數據屬性「步行分數」是1到10之間的整數。個體「愛麗絲」的步行分數爲8，這應該等同於「良好健康」，但無論我如何嘗試，我都無法讓Protege 4推斷她進入「健康狀況」階層。

0熱度

1回答

DL查詢有關等價類和對象屬性

我已經在上面的圖中所示的本體的快照。我嘗試執行 a DL查詢來自Protégé5.0。查詢結果： hasVolume value Apple. Apple是Fruit的一個實例（請參見Figure Link）。對象屬性是hasVolume。結果顯示在實例部分（GUI）中沒有輸出。我期待以下結果上述查詢的： LowVolume. 的對象屬性公理蘋果顯示「蘋果hasVolume LowV

0熱度

1回答

本體設計：課堂或個人

設計一個本體，我需要捕獲微觀策略文檔以及它包含的信息類型。例如，下面是三個mstr文件。 1. Finance summary (has finance inforamtion) 2. Country finance summary (has finance & country info) 3. Invest to grow country finance summary (has finan

3熱度

1回答

本體：個人

我使用的Protege 4.3推斷超（也嘗試了5-β），具有以下簡單的本體論： Class: Person Class: Man SubClassOf: Person Individual: John Types: Man 接下來，我開始推理機山人1.3.8，但約翰是不是推斷爲一個人。此外，以下SPARQL不返回任何內容： PREFI

0熱度

1回答

定義的類和原始類之間的區別5.0（貓頭鷹）中的哪一個？

我讀門生5手冊中http://wiki.opensemanticframework.org/index.php/Adding_an_Ontology_Concept_using_Prot%C3%A9g%C3%A9，但我不明白，我現在用的方法「METHONTOLOGY」爲建設Ontology.and我有門徒中執行有些懷疑5 有人有更好的使用手冊PROTEGE 5

0熱度

1回答

如何使用Protege swrl選項卡將規則頭保留爲空

我試圖使用SWRL規則捕獲衝突。我瞭解到SWRL確實支持空頭的規則（因此）。但是，Protege不允許定義這樣的規則。什麼，我想實現一個虛擬的例子是 Person(?x)^hasSon(?x,?y)^hasDaughter(?x,?y)-> 含義，這是不可能的，一個人可以用同一個人的兩個及哈森性能hasDaughter鏈接。如果無法保護，請指導我如何實現這一點。

0熱度

1回答

如何在Protege 5.0中添加類的屬性？

我使用Methontology作爲Methodology的構建本體，在這個方法的任務7中「任務7：定義類的詳細信息」，我知道如何在Protege中添加實例屬性，但我不知道如何在Protege 5.0中添加類屬性。我送你的類屬性表和實例屬性，用於顯示 Atributes of class Atributes of Instance

0熱度

1回答

如何在Protege 4.3.0中啓用Pellet？

自從Unable to download Pellet plugin for Protege 4.3暗示它不適用於此版本已將近一年。有什麼變化嗎？

0熱度

1回答

可視化示例中的概念實例4.3

美好的一天，我想要將可視化概念及其實例4.3。不幸的是我在這個版本中找不到OntoViz插件。你能幫忙在這方面有這個任務的其他插件，例如非常感謝