protege

0熱度

1回答

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

0熱度

1回答

Protege本體 - 個人可以參考一個類嗎？

有沒有什麼辦法讓一個屬性（對個人而言）實際上是對另一個類的引用？例如，在樣品葡萄酒本體（http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine），我想指定Wine屬性pairsWellWith這對於一個特定的酒之類LaneTannerPinotNoir，可以參考另一個類等RedMeat。我想從個人（LaneTannerPinotNoir）到像R

0熱度

1回答

哪裏是在OWL DL操作「O」的文件？

我讀了這個問題的答案： How to infer isBrotherOf property between two individuals 在截圖還有一些採用運營商「O」類表情。我搜索了OWL 2文檔，無法在任何地方找到它。 Google搜索「o」不會產生任何結果，因爲它可能是一個停用詞。在哪裏「手冊」爲這種「O」？

0熱度

1回答

swrl規則的其他分支

我想問是否有可能在SWRL中表達規則的else分支？我知道它可以表達的p> q，但我希望能夠斷言R如果非（P）例如 HeavyPrecipitation（X） - > hasObservationTag（？X，FalsePositiveOutlier）現在我想說else elseObservationTag（？x，TruePositiveOutlier）這怎麼辦？感謝

1熱度

1回答

本體建模和訊問

美好的一天在我的本體論中，我有用（英語，法語等）實例化（student1和student2）課程的概念（學生，課程，時間）。時間與時間T1和T2。那麼我就有了（學生1，學生2和英語課程）之間的關係。我在課程和時間之間（英語和T1和T2之間）有關係。我想知道如何才能做這個句子（學生1有課程英語開始在T1）和（學生2有課程英語在T2開始）。，因爲我想知道SQ1和SQWRL查詢何時開始他的英語課程

0熱度

1回答

在Virtuoso中處理R2RML映射

我有一個使用OnTop Protege插件生成的R2RML映射文件。我的目的是使用這些映射來複制RDF格式的關係數據庫。然後我想將這個RDF文件上傳到現有的Virtuoso服務器中。我知道Virtuoso提供R2RML支持（https://virtuoso.openlinksw.com/dataspace/doc/dav/wiki/Main/VirtR2RML）。但是，首先我無法安裝RDB2RD

0熱度

1回答

門徒：（SPARQL）的子類

的個體具有超一流的人它有兩個子類學生和員工查詢超類。學生子類包含3個人（姓名屬性）：student1，student2，student3。員工子類包含2個人（姓名屬性）：員工1和員工2。是它可以查詢人類並獲取所有個人，因爲它是超類？你還能怎麼辦呢？特別是當你有這麼多的子類時？輸出類似：人 ----------- student1 STUDENT2 學生三 STAFF1 staff2

0熱度

1回答

如何限制數據屬性對個人有一個明顯的價值

我有一個類Sensor，以及每個傳感器hasID數據屬性。每個傳感器都有一個不同的ID#，它不能被另一個傳感器接收。換句話說，兩個傳感器不能有相同的ID#。我怎麼能代表這個？

0熱度

1回答

Protégé對象屬性限制

我定義了一個對象屬性"is_part_of"其中該域爲Flight和的範圍是航空公司;我想定義下列限制「飛行is_part_of航空公司恰好1個航空公司」我試圖is_part_of only Airline exactly 1 Airline ，但它不工作。我認爲該徽章是exactly 1 Airline，但我找不到它

0熱度

1回答

OWL的時間範圍限制

我們有一個類CBSTV，它有一些子類，如News，Documentary等。數據屬性time將指定每個程序的時間。例如，news是每天16：00：00-17：00：00之間。我想代表這個限制是這樣的： dateTime [>= T16:00:00Z, <=T17:00:00Z ] ，但是，這是錯誤的，任何人都知道，以表示此也是正確的方法，我們有另一個數據屬性duration。例如，news的持續