swrl

2熱度

1回答

我有一個簡單的問題，我懷疑沒有簡單的答案。從本質上講，我想檢查一個OWL表達式（#B）在邏輯上是否跟隨另一個（#A） - 是否是真的 - 換句話說，我想問：真的，#A - > #B？這樣做的原因是，我正在寫一個匹配算法相匹配在基於知識（由#KnowledgeStructure類表示）的結構的應用程序來描述當前應用狀態的需要的結構（#StateRequirement ）。這兩個結構都具有屬性，它們

0熱度

1回答

如何使用Pellet在Protegé4.3上使用SWRL規則

我剛開始在Protegé上開展本體論工作，並試圖瞭解如何使用SWRL規則。恐怕我沒有理解這個概念或者如何正確對待它們，因爲我無法產生任何輸出。我會解釋一些更簡單的例子，我創建了這個測試：我創建了三個人，分別叫做A，B和C.每個人都有一個測試屬性，它有一個布爾範圍。在我已經初始化它們的值的每個屬性斷言選項卡上，所以它們是test(A,true),test(B,true)和test(C,true)。

0熱度

2回答

根據一個SWRL規則爲一個屬性賦值（使用Pellet作爲推理器的Protege 4.3）

我的問題與SWRL規則有關，並且實際上已經被另一個用戶請求（請參閱Ontology property definition in Protégé-OWL/SWRL）。儘管如此，在遵循如何使其運行的指示後，我並未成功。在我的本體論中，我必須處理一些複雜的時間事實（與時間間隔等有關），因此我導入Time Ontology。在解決真正的問題之前，我考慮一個簡單的例子，測試如何基於SWRL規則爲數據屬性

0熱度

1回答

是否可以在語義網上實現數學推理？

例如：我們有房產a < b和b < c，你能否在Semanric網站上推斷出a < c？

3熱度

1回答

是否可以從Jena SWRL規則中啓動Java方法

我正在進行基於本體的上下文管理和基於進程的上下文管理的性能分析。但是，爲了創建與PCM案例研究類似的場景，我需要在推理期間直接從Jena SWRL規則中引發Java方法。我做了很多研究都無濟於事，但我的教授聲稱耶拿有可能。例如， Forward(vpnAccess)<--hasChain(vpnAccess,Forward)^ hasExternalInterface(vpn

2熱度

1回答

swrl規則推斷dataProperty值

我想測試一個簡單的SWRL規則。我的本體論中有三個類：LivingPlace，它有兩個子類RuralArea和City。 LivingPlace是dataProperty hasHospital的域，它具有範圍布爾值。當我使用Pellet推理器測試以下規則時，我作爲LivingPlace成員創建的個人也被推斷爲RuralArea的成員。 LivingPlace（？LP），hasHospital（

0熱度

2回答

爲什麼我的關於本體的規則不起作用

我構建了一個簡單的本體來測試SWRL規則如何推斷本體中個體之間的新關係，但它並不奏效。我的原則是： (hasFather(?x, ?y) ∧ hasMother(?x, ?z) → spouseOf(?y, ?z) 和 x的父親Y可以理解爲，x的母親ž→ y是z與配偶）。我的本體論中有三個人：丈夫，妻子和兒子。我定孩子有媽媽是妻子，有父親是丈夫。然後我的規則被僱用，以設置丈夫是配偶的妻子。我

3熱度

1回答

在Jena框架中用SWRL規則推理粒子

我正在嘗試使用Jena框架來編輯使用Protoge 4.2構建的現有本體。即改變財產價值或增加個人或類別，然後進行推理。假設在本體論中，我們有一個規則：hasAge（？p，？age）^ swrlb：greaterThan（？age，18） - > Adult（？p）。我希望能夠改變耶拿方面的hasAge財產，看看是否有人是成年人。你能給我提供一些示例代碼嗎？任何幫助表示讚賞。

3熱度

2回答

在Jena和Pellet中使用SWRL

我無法找到一些體面的簡單代碼示例，使用SWRL和Jena與 Pellet或至少使用SWRL？我已經在Pellet文檔中研究了一些示例，但沒有關於使用SWRL的示例。網絡上的大多數例子都不完整，令人困惑。我發現的唯一解決方案是使用Jess規則引擎，但它不是免費的並且處於商業許可下。我發現Pellet支持SWRL規則，但找不到運行示例。我發現的唯一的例子是這樣的，但我不明白： OWLOntolog

3熱度

3回答

Protege 4中的SWRL選項卡

Protege 4版本中不提供保護SWRL選項卡，我嘗試了protege 4.1和protege 4.2。據說修改SWRL規則的axiome插件只能用於protege 3版本。任何人都可以告訴我插件或過程，包括插件編輯SWRL規則在保護？