来自本体公理的实例化三元组语句

Question

让我们假设一个本体论中的一个非常简单的公理，即所有cheesypizza都是有奶酪顶部的比萨饼。在OWL表示中，cheeseypizza将表示为对顶部属性的限制的子类。但是，我想提取以下三元组数据集格式：

1. CheesyPizza1子类Pizza1
2. Pizza1有一流的CheeseTopping1

假设Pizza1是一个动态实例化（不是本体中Pizza类的真正个体，而只是一个随机变量，同时以三元组格式编写）的Pizza类，同样，CheesyPizza1是CheesyPizza类和CheeseTopping1的动态实例化是CheeseTopping类的动态实例化。

我如何获得上述表示？

Answer 1

你的例子需要澄清，因为你的公理似乎无效。无论如何，如果在你的例子中，CheesyPizza1，Pizza1和CheeseTopping1是类，然后你想说CheesyPizza1是Pizza1的sublcass并且CheesyPizza1有一个OWL限制有一些CheeseTopping1，那么三元组应该是：

:Pizza1 rdf:type owl:Class .

:CheeseTopping1 rdf:type owl:Class .

:CheesyPizza1 rdf:type owl:Class ;
   rdfs:subClassOf :Pizza1,
        [ a owl:Restriction ;
          owl:onProperty :hasTopping ;
          owl:someValuesFrom :CheeseTopping1 
        ] .

我建议查看Guus Schreiber's OWL restrictions，了解OWL限制如何表示为三元组。