manchester-syntax

2熱度

1回答

如果A isRelatedTo乙和B具有dataproperty：存在= {TRUE，FALSE} 如何可以表達在曼徹斯特貓頭鷹語法（被保護人）其中所述子集：是A型和 A的每個isRelatedTo具有值「真」

7熱度

1回答

我知道這聽起來像一個非常愚蠢的問題，但我一直試圖弄清楚這一點，我無法找到任何這方面的東西，但看起來很明顯這應該是可行的。我正在開發一些使用曼徹斯特OWL語法和HermiT推理器通過API查詢OWL文件的東西。我也可以在Protege 4的「DL查詢」選項卡上運行查詢，以檢查該文件上的查詢結果。該文件基本上是添加了數據實例的朋友之友（FOAF）本體。問題：我找不到通過其唯一標識符查詢實例的方法。

0熱度

1回答

如何在Protege中的類之間創建關聯？

我有一個傳感器類，輸入類是Process類和SensingData類的子類。我想將輸入類與傳感數據類聯繫起來，說輸入是傳感數據。我可以通過創建一個對象屬性hasData像inupt hasData SensingData嗎？或者我必須使用註釋屬性？

2熱度

1回答

尋找在2016年沒有活的人

我有一個本體論，其中Person是一類，hasDeathYear是一個數據屬性。我必須在DL查詢中表示標題。我可以問這樣的：人與hasDeathYear價值2016 ，但我不能讓這樣的事情：人與hasDeathYear分鐘2016 代替min我實際上想表達「不到」。怎麼辦？是可能的？否定的答案對我來說也足夠了。

0熱度

1回答

一般類公理

OWL AXIOM表達式：鑑於：貓頭鷹：類運動輸出：除了現有的貓頭鷹：對象屬性我想補充的貓頭鷹：對象屬性球員與來自類型owl：class sport的每個實例的值彼得。這意味着來自owl：class sport類的每個人都應該擁有這個繼承了值Peter的對象屬性。我的第一個想法是用一般的公理來表達它。在這裏，我不太確定是否可以使用a）和b）更好地使用Jena中的isntance的SPARQL

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:

2熱度

1回答

使用曼徹斯特語法查詢OWL API中的匿名類

我使用OWL API對Protege中創建的本體進行推理。我正在處理OWL API示例DL查詢：http://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/coode/owlapi/examples/DLQueryExample.ja

0熱度

1回答

OWLAPI：「ParserException」同時使用ManchesterOWLSyntaxParser

轉換字符串類表達式我想新公理添加到本體，對於我使用ManchesterOWLSyntaxParser後來表單創建方法，其轉換String [這是在曼徹斯特OWL語法]到OWLClassExpression新增OWLAxiom並添加到本體中。但我得到以下異常（org.semanticweb.owlapi.manchestersyntax.renderer.ParserException）： - E

0熱度

1回答

如何被保護人示出了在可讀格式OWL公理

我有一個包含貓頭鷹文件一些公理： <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="namespace#Gender"/> <owl:hasValue>M</owl:hasValue> </owl:Restriction> </rdfs:subClassOf> <rdf