owl

    1熱度

    2回答

    我一直試圖無休止地解析實驗性因素本體(EFO)文件,但我無法解析它。我在Protege中打開的文件很好,但似乎無法使用Java加載它。我已經看過幾組示例代碼,並且我似乎正好複製它們,但我不明白爲什麼解析失敗。這裏是我的代碼: System.setProperty("entityExpansionLimit","100000000"); OWLOntologyManager manager = O

    1熱度

    1回答

    本體文件通常具有擴展名,例如.owl或.rdf。 我想知道什麼時候應該用'turtle'打開本體,何時用'xml'或其他格式?因爲看起來他們每個人都對某種格式很有用,而且不幸的是,人們似乎有時會用錯誤的擴展名保存文件。 這裏是Python中的示例代碼(但Java也不是很不同的兩種): g.parse('ontology.owl', format='turtle') 所以,我怎麼知道這裏的烏龜是

    0熱度

    1回答

    我想知道爲什麼我們必須加載本體,在查詢時也提供其名稱空間?爲什麼加載本體是不夠的? 要明白我的問題比較好,這裏是一個示例代碼: g = rdflib.Graph() g.parse('ppp.owl', format='turtle') ppp = rdflib.Namespace('http://purl.org/xxx/ont/ppp/') g.bind('ppp', ppp) 在第

    2熱度

    1回答

    藉助於SPARQL UPDATE'insert'操作,我將一些數據存儲在我的本體模型中。以下是更新查詢。 PREFIX test: <http://www.semanticweb.org/muhammad/ontologies/2017/2/untitled-ontology-14#> insert { [] test:Kpi_Variable ?s ; test:hasVa

    1熱度

    1回答

    從previous question我瞭解了交集如何在謂詞的多個域和範圍中起作用。 看來,工會是處理這種情況的更常見的方式,所以現在我想知道從域或範圍的聯合作出什麼不同的推論。 鑑於p rdfs:domain (C ∪ D ∪ E)和三重a p b,什麼推斷約a?

    2熱度

    2回答

    我正在創建基於RDFS/OWL的類層次結構,並使用a(rdf:type)關係在所有類中創建實例。我想要檢索特定類的實例,但不包括其子實例。但是,當我編寫SPARQL查詢時,它也爲我提供了每個子類的所有實例。 我的本體說: Book是一類,它有兩個子類:hard_bounded_book和soft_binded_books 換句話說(某些情況下): @prefix ex: <http://book_

    1熱度

    2回答

    我想使用OWL API將xls文件中的RDF三元組添加到OWL RDF/XML本體中。我遵循這個topic並設法使用OWL API v 3.4來做到這點,但是我無法用v4.3來做到這一點(並且我所有的程序都使用了v4.3)。 這裏是話題上面的3.4版本使用的代碼: import java.io.Reader; import org.coode.owlapi.rdfxml.parser.OWLR

    2熱度

    2回答

    我在玩比薩本體論,我試圖獲得我理解爲推斷知識的東西。 對於一些單獨的類,我想獲得使用它們的其他類的名稱。 確切的說,在比薩本體中,我們可以發現: 食品 食品/比薩 食品/比薩/ CheeseyPizza(相當於Pizza and (hasTopping some CheeseTopping);子類的hasBase some PizzaBase) 食品/ PizzaBase 食物/ PizzaBas

    1熱度

    1回答

    我想表達以下類型的公理: 「水有一定的物理量稱爲熔化溫度,其中有100.0值」 我已經試過definig下面的類表達式: Water SubClassOf (hasPhysicalQuality some (MeltingTemperature and hasValue value 100.0f)) 而且我有以下的說法: Water Type owl:Class hasPhys

    1熱度

    1回答

    例如,我有三個類:Flock,Bird,Velocity。我也有兩個屬性:hasMember(域是Flock,範圍是Bird)和hasAttribute(域是Bird,範圍是Velocity)。現在我想添加一個EquivalentClass限制到Flock類作爲定義。讓我們考慮一個非常簡單的定義:在一羣中,所有的鳥都有相同的速度。如何在OWL中表達這一點?