protege

0熱度

1回答

對象屬性有距離，我不知道推理公理是否可以在顯示推斷公理時做出排序，並且想這樣試試。在小數但滿足誤差有爲十進制值的基因A和B基因範圍之間的距離在0 想如果具有更多的基因C和d顯示基因的排序，並且具有距離在A和C之間，C和D，A和D等等，具有一個距離屬性似乎還不夠，在這種情況下如何定義好？哪種算法可以按多對的距離排序？是它由距離第一排序和啓動的最小距離（A，B），然後第二最小距離，因爲A是B的

4熱度

1回答

將多個域添加到Protege 5中的objectProperty 5

我使用Protege 5-beta-17創建了一個本體。在我的本體我有一些類： Mountain, Lake, Location etc... 我也有一個對象的屬性： hasLocation. 因爲我已經設定的範圍「位置」類此對象的屬性，域了「山「和」湖「類。當我嘗試查看使用CMAP的工具本體它表明只有 "Mountain" "hasLocation" "Location". 「江

0熱度

1回答

在Protege中加載本體時出錯

我想加載OWL 2.0本體中的Protege 3.5。但是，每次嘗試時都會出現錯誤。誤差如下： Jena的解析錯誤消息：內容沒有在序言 Exception類org.xml.sax.SAXParseExceotion允許：內容未在序言不允許的。我OWL2文件具有下面的代碼 Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>) Prefix(ns:=<

0熱度

1回答

Protege標記本體不一致，但隱士和團隊推理不

我想運行一致性檢查不一致的本體，爲此Pellet和Hermit Reasoner沒有給出不一致性。但Protege成功地標記了不一致的類。詳細說來，我正在將SBVR Rules改爲OWL 2.0。所以我的規則是有必要car_rental is_insured_by at_least 3 credit_card; 有必要car_rental is_insured_by at_least 5 c

0熱度

1回答

識別文件

貓頭鷹型我收到一個正式的本體OWL一個文件。請參見下面的標題： <?xml version="1.0"?> <!DOCTYPE Ontology [ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > <!ENTITY xml "http://www.w3.org/XML/1998/namespace" > <!

0熱度

1回答

SWRLRuleEngineAPI：錯誤的類格式在執行SWRL推斷時出現在Eclipse和NetBeans IDE中

我有一個簡單的本體論並試圖做SWRL推理。在Protege 3.5（build 663）上，Jess和Drools引擎按照預期工作，同時使用SWRL API發生錯誤。正如SWRLRuleEngineAPI描述我用下面的代碼： SWRLRuleEngine ruleEngine = P3SWRLRuleEngineFactory.create(owlModel); SWRLFactory fact

0熱度

1回答

在Protege 4.0中使用OWLviz時出現DOT錯誤

我在OS X Yosemite版本10.10.4上使用Protege版本4.0（內部版本115）。在Protege中使用OWLviz時，我遇到了DOT錯誤。我已經安裝了Graphviz for OS X，但它仍然無法正常工作。你可以建議我使用哪種版本的Graphviz？安裝它的步驟是什麼？

0熱度

2回答

Apache Jena保存本體文件，然後在Protégé2000中打開

我在Protégé2000v5中打開了我的本體論.owl（已經在protégé2000v5中創建）。然後使用java Apache Jena Framework，我將相同的本體保存在同一個文件中（沒有做任何修改）。我回到Protégé2000，它讓我重新加載本體，因爲它被另一個程序修改了，所以我確認了。我注意到：公理的數量少於一定是和我得到這個異常（在PROTEGE）： UnknownOWLOnt

2熱度

1回答

在課堂描述中，「關鍵目標」和「一般類公理」的特徵是什麼？

其實問題在標題中。我應該何時使用這些屬性？我試圖改變它們，但沒有發生任何事情。有人能解釋我嗎？

1熱度

1回答

從文件名生成獨特的IRI

我有一個使用Protegé4.3.0創建的本體，並且我將使用OWL-API將一些OWLNamedIndividual對象添加到文件OWL。我用下面的指令，以創建一個新OWLNamedIndividual： OWLNamedIndividual objSample = df.getOWLNamedIndividual(IRI.create(iri + "#" + id)); 變量id是Strin