我试图在Protege中使用OWL进行推理。根据打顶，我有个人应该归类为素食或肉披萨。它适用于肉类 hasTopping一些NotVeg ，但它不适用于素食而 hasTopping only Vegetarian ，它们只是归类于超类 Pizza 。这些课是不相交的，我不知道为什么它不起作用。
有人可以帮忙吗？
我使用了以下本体：
Prefix: : <http://www.semanticweb.org/inference/pizza#>
Prefix: owl: <http://www.w3.org/2002/07/owl#>
Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
Prefix: xml: <http://www.w3.org/XML/1998/namespace>
Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>
Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Prefix: untitled-ontology-140: <http://www.semanticweb.org/inference/pizza#>
Ontology: <http://www.semanticweb.org/inference/pizza>
ObjectProperty: untitled-ontology-140:hasTopping
Domain:
untitled-ontology-140:MeatPizza or untitled-ontology-140:VegPizza
Range:
untitled-ontology-140:Topping
Class: untitled-ontology-140:Topping
Class: untitled-ontology-140:VegPizza
SubClassOf:
untitled-ontology-140:Pizza,
untitled-ontology-140:hasTopping only untitled-ontology-140:Vegetarian
DisjointWith:
untitled-ontology-140:MeatPizza
Class: untitled-ontology-140:MeatPizza
SubClassOf:
untitled-ontology-140:Pizza,
untitled-ontology-140:hasTopping some untitled-ontology-140:NotVeg
DisjointWith:
untitled-ontology-140:VegPizza
Class: untitled-ontology-140:NotVeg
SubClassOf:
untitled-ontology-140:Topping
DisjointWith:
untitled-ontology-140:Vegetarian
Class: untitled-ontology-140:Pizza
SubClassOf:
untitled-ontology-140:hasTopping some untitled-ontology-140:Topping
Class: untitled-ontology-140:Vegetarian
SubClassOf:
untitled-ontology-140:Topping
DisjointWith:
untitled-ontology-140:NotVeg
Individual: untitled-ontology-140:PizzaC
Facts:
untitled-ontology-140:hasTopping untitled-ontology-140:Meat
Individual: untitled-ontology-140:PizzaB
Facts:
untitled-ontology-140:hasTopping untitled-ontology-140:Tomato,
untitled-ontology-140:hasTopping untitled-ontology-140:Meat
Individual: untitled-ontology-140:PizzaA
Facts:
untitled-ontology-140:hasTopping untitled-ontology-140:Tomato
Individual: untitled-ontology-140:Tomato
Types:
untitled-ontology-140:Vegetarian
Individual: untitled-ontology-140:Meat
Types:
untitled-ontology-140:NotVeg