protege

1熱度

2回答

owl:inverseOf經常用於定義屬性之間的相反關係。形式爲P1 owl:inverseOf P2的公理聲稱，對於P1的屬性擴展中的每對（x，y），P2的屬性擴展中有一對（y，x），反之亦然，例如hasChild和hasParent。如何可以定義具有多個域和範圍，如對象屬性之間的這種逆關係： hasOwner owl:inverseOf hasDog hasOwner owl:invers

0熱度

1回答

OWL，將屬性添加到類的所有實例

我正在尋找一種方法來將對象屬性添加到給定類的所有實例。示例問題：假設我定義了三個類。 Religious_Person Supreme_Being 基督教是Religious_Person的一個子類。現在我想要一個Object屬性「致力」，它有一個Religous_Person域和一個Supreme_Being範圍。我有三個基督徒的例子：馬克，鮑勃和凱茜。我有一個Supreme_Bein

0熱度

1回答

在Protege中定義數據屬性表達式

我想模擬一個關於與protege徒步旅行的本體論。在那裏我有目的地，例如可以是一個小路（目的地的子類）。作爲目的地的另一個子類，我希望有長途線路，只有具有一定距離/長度的線路纔是長途線路。爲了達到這個目的，我爲軌跡添加了數據屬性（有）kmDistance。後來我想添加喜歡的表達式： equivalent to Destination and (kmDistance value > 100)

1熱度

1回答

OWL：爲什麼數據屬性不能是一個反函數屬性？

我正在嘗試使用Protege創建一個OWL本體。我想使用反函數性質與關係數據庫中的主鍵的相似性。例如，我有一個屬性，它有一個唯一的id作爲對象，從而識別該實體，並且不應允許其他實體將該值與該屬性一起使用。作爲對象值是串，它必須是一個數據屬性。但是在Protege中，您不能將反向功能特性分配給數據屬性。爲什麼我不能宣佈數據屬性是一個反函數性質，我應該怎麼回事打造「唯一密鑰」的邏輯，如果不是這樣？

0熱度

1回答

查詢配置的交集; Protege

我想確定一個對象何時包含兩個屬性的交集，而不是兩個屬性。實施例： object: A (has_disposition some disposition_A; has_disposition some disposition_B) B (has_disposition some disposition_B; disjoint with A) disposition:

0熱度

1回答

SWRLTab和JessTab in Protege 3.4.8

我使用的是Protege 3.4.8，我想執行一些規則（使用SWRL & Jess）。我已經爲我的本體創建了一些規則，但是當我單擊SWRLJess標籤按鈕（Screenshot - Protege 3.4.8 SWRL tab。）時，沒有任何反應。有誰知道jess是否仍然在Protege中工作？有人能幫助我嗎？非常感謝您的幫助！

0熱度

2回答

SPARQL如何獲得的個人

類型我做了這個本體： SensorOntology:MedicalCabinet-01 rdf:type owl:NamedIndividual , SensorOntology:MedicalCabinetSensor ; SensorOntology:hasId "57"^^xsd:int ; SensorOntology:

0熱度

1回答

如何自動創建本體中的類？

我與followig數據CSV文件（一個小的提取物）： ITEM_ID FAMILY SUBFAMILY 555 Adventure Adventure and extreme sports 444 Nightlife International restaurants 333 Adventure Adventure and extreme sports 我還在於我在門徒新創建的

1熱度

1回答

SPARQL SELECT查詢不工作的門徒多場比賽

我試圖在運行門生選擇查詢： SELECT ?subject WHERE { ?subject uni4:friendof uni4:t3 . } 上面的查詢給「D3」的結果。 SELECT ?subject WHERE { ?subject uni4:friendof uni4:t4 . } 該查詢給出'd4'作爲結果。但是當我運行

1熱度

1回答

爲什麼在門徒可視推論從導出的推斷公理

我有兩個主要的類（代碼和主體）和一個對象屬性的本體不同（受試者獲得代碼）其中：代碼（類）含有所有可用代碼（實例）代碼的（類）子類對這些代碼（實例）進行分類;手動指定主題（類）包含了所有可用的對象（實例）每個主題（例如）曾斷言（取得的財產）部分代碼（實例）主題的（類）的子類定義的科目組（實例）根據相關聯的代碼（實例）和碼碼類別忠誠裏森納爲約推斷對象實例的特定羣體（受試者的子類）當我內的