owl

0熱度

1回答

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

-1熱度

1回答

本體中的唯一標識符

我想知道如何在我的本體中創建一個與關係數據庫完全相同的標識符。（我想爲每個用戶都有一個唯一的標識符）。坦克，

0熱度

3回答

獲取使用SPARQL

有限的答案我有一個RDF存儲與人名單和城市/州，他們已經住在： :P1 :hasLivedIn :NewYork :P2 :hasLivedIn :NewYork :P2 :hasLivedIn :California 現在，我想使用SPARQL給我的列表誰生活在一個特定的城市（如紐約）當我用這一切的人： select * where { ?p :hasLivedIn :NewYork

1熱度

2回答

RDF4J Workbench添加RDF：如何添加多個文件？

我正在使用RDF4J Workbench 2.1.2。 System Information Application Information Application Name RDF4J Workbench Version 2.1.2 Runtime Information Operating System Windows 10 10.0 (amd64) Java Runtime Or

0熱度

1回答

如何在OWL2中聲明一個自定義類關係

如果我的問題太基本了，但是在一段時間尋找答案之後，我無處可去，但是在這裏，我很抱歉。假設本體中的（在OWL 2文件表示）以下類別： <owl:Class rdf:ID="ClasseOne"> </owl:Class> <owl:Class rdf:ID="ClasseTwo"> </owl:Class> 什麼我是ClassOne 1000個實例和ClassTwo 5000個實例。在

3熱度

1回答

命名原則：RDF圖中的參數化類

我對術語有疑問。我發現某些類可以參數化，因爲它們表示在應用於某個參數時具有含義的類。例如，「中國村」和「荷蘭村」這兩個類都可以在Wikidata知識圖中找到。它們是真實的類，因爲它們是可實例化的概念。然而，看起來他們可以放在模板「X村莊」中，他們可以是「村莊」的子類。是否有正確的術語來引用所有這些類型的參數化類？在函數式編程語言中，有一個更高kinded類型的概念，這些類型可以有參數[1]。

-1熱度

1回答

使用logmap合併本體

我想在logmap軟件的幫助下合併兩個不同的本體，任何人都請指導我。請給我提供有關使用logmap軟件的教程。感謝問候，鮑勃

0熱度

1回答

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

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

1熱度

2回答

使用CONSTRUCT的SPIN約束：CONSTRUCT的三元組在哪裏去？

我使用TopBraid Composer免費版（5.1.3）創建本體，包括SPIN約束。然後我將生成的RDF文件加載到RDF4J（2.0.1）中，並使用RDF4J Workbench進行測試。我工作的SPIN約束。下面就來檢查，我已經加入到CRO2:SignalRate類非負信號速率的例子： CONSTRUCT { ?this soo:hasConstraintViolation _:

0熱度

1回答

這個本體的結果應該是什麼？

我正在學習Web本體和描述邏輯。我碰到過這個問題，並且對於應該回答的問題感到困惑：這是知識庫。當家長（X，Y）是指X爲Y.的父母 Parent(X,Y). Parent(Y,Z). Parent(X,Z). Parent(Z,M). Manager(Y). ¬Manager(M). 難道這些事實意味着一個事實： X∈(∃Parent.(Manager⊓∃Parent.¬Manag