protege

0熱度

1回答

我讀門生5手冊中http://wiki.opensemanticframework.org/index.php/Adding_an_Ontology_Concept_using_Prot%C3%A9g%C3%A9，但我不明白，我現在用的方法「METHONTOLOGY」爲建設Ontology.and我有門徒中執行有些懷疑5 有人有更好的使用手冊PROTEGE 5

2熱度

1回答

Protégé5.0：調試本體

爲什麼當我想要保存我在本體論中所做的更改時，我正在研究Protégé5.0問我（實際上「讓我」）保存一些「debug_ontologies」？問題很煩人，我不知道爲什麼我必須存儲這個調試本體。當我打開它們來查看它們包含的內容時，大多數內容都填充了我在上次更改（但並非總是）中定義的一些內容。有時候我在本體中定義了新的實體，我可以保存得很好，而不需要保存這個調試本體。我已經在Protégéwi

1熱度

1回答

如何加入T-盒這個本體

我發現這個在線圖書本體的一箱http://www.ebusiness-unibw.org/ontologies/opdm/book.html# OWL模式可以在這裏下載： http://www.ebusiness-unibw.org/ontologies/opdm/book.owl RDF轉儲可以在這裏找到 http://eelst.cs.unibo.it/apps/LODE/source?url

3熱度

1回答

OWLAPI：HermiT推理器顯示不正確的結果並且沒有解釋

我有通過Protege創建的以下本體。本體： <?xml version="1.0"?> <!DOCTYPE rdf:RDF [ <!ENTITY owl "http://www.w3.org/2002/07/owl#" > <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > <!ENTITY rdfs "http

0熱度

1回答

SWRL：^ not proteger 4.3

我試圖添加一個SWRL規則來使用聯合符號^來保護，但Protege 4.3不會批准該標誌。此問題也存在swrl buildins，如swrlb:lessThanOrEqual。這有什麼錯^？我可以用,代替嗎？

0熱度

1回答

OWL中的推斷類分層結構的最小示例

在本體編輯器Protegé中，有一個標籤類層次結構（推斷）。我正在尋找一個最小的例子來創建這樣的推斷類，例如它主要是那個:RedCar rdfs:subClassOf :Car，這就是全部？ :RedCar a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf

0熱度

1回答

OWL存在限制和必要條件

我創建一個使用protege05的本體論，我有一個關於屬性限制的問題。我從protege教程中瞭解到，當我們使用限制將一個屬性分配給一個類時，這意味着該屬性對於定義該類是必需的。例如，假設我有類「東正教」和「保護區」和屬性「hasPart，我想說的是，‘一個東正教hasPart避難所’。如果我使用存在限制顯然它會意思是「有避難所」是建築物成爲東正教會所必需的，或者如果建築物是東正教教堂，它必須

0熱度

1回答

Protege中的概率和/或可消除推理？

我發現了一些很有前途的（舊）文章，但是這條線索已經冷了。理想情況下，我正在尋找工作插件/代碼，但如果它們根本不可用，那麼關於如何構建融合到Protege的概率和/或可消除推理的任何具體方向仍然有用。 RaMP Protege的Defeasible Reasoning插件。似乎是休眠/放棄。也許項目/代碼隨着http://code.google.com/p/nomor/ PR-OWL http:/

0熱度

1回答

一般類公理

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

0熱度

1回答

顆粒傳遞性protege 5分類器

我正在使用Protege beta 5，並試圖使用推理器。由於顆粒不支持個體之間的傳遞性如果存在任何問題，該問題的解決方案是什麼？如果不是有沒有支持（等效，transitivty，反思......）越來越不一致本體和多數民衆的交代任何推理： A(b) -> ((isComposedOf min 2 ({C})) and (isComposed max 15 ({C})))(b) b