一般類公理

Question

OWL AXIOM表達式：

鑑於：貓頭鷹：類運動

輸出：除了現有的貓頭鷹：對象屬性我想補充的貓頭鷹：對象屬性球員與來自類型owl：class sport的每個實例的值彼得。這意味着來自owl：class sport類的每個人都應該擁有這個繼承了值Peter的對象屬性。

我的第一個想法是用一般的公理來表達它。在這裏，我不太確定是否可以使用a）和b）更好地使用Jena中的isntance的SPARQL更新查詢來執行此操作。你會推薦我做什麼？那麼這樣一個普通的公理類似於貓頭鷹曼徹斯特語法中的isntance怎麼樣

Answer 1

如果我正確地理解你，你不需要一個通用的類公理。你只是想「正常」的子類公理：

       體育subClassOf（玩家值彼得）

它說，體育的每一個實例都有彼得作爲一個值該物業球員。