我创建了一个包含类 Blood_Sugar 的本体，该类包含 4 个子类：Normal_BS、High_BS、Low_BS 和 Dangerous_BS。我想在 Protege 3.4.8 上执行一个 SWRL 规则，该规则允许根据值将超类 Blood_Sugar 的个体分类为子类。 Blood_Pressure(?x) ∧ hasLevelvalue(?x, ?y) ∧ swrlb:greaterThan(?y, 126) ∧ swrlb:lessThan(?y, 500) → High_BS(?x) 知道 hasLevelValue 是一个 DataType 属性，它的域是 Blood_Sugar 类，其范围是 INT 在 Blood_Sugar 类及其子类类上，我创建了限制（hasLevelvalue only int）
我创建了一些具有不同值但未归类为子类（High_BS、Low_BS ...）的个体，swrl 规则没有给出错误但没有给出结果:(问题？！！！！！
您的问题有点不清楚，我不确定是否只是印刷错误，或者是否存在真正的建模错误。您说您正在查看 Blood_Sugar 类和四个子类，但是您显示的规则以 Blood_Pressure 原子（压力，而不是糖）开头，这可能是那里的问题：
Blood_Pressure(?x) ∧ hasLevelvalue(?x, ?y) ∧ swrlb:greaterThan(?y, 126) ∧ swrlb:lessThan(?y, 500) → High_BS(?x)
但是，如果这只是问题中的一个错字，那么您可能会遇到数据类型问题。而不是 using xsd:int，您可能应该使用 using xsd:integer（这样您就不必担心溢出等问题）更不用说，如果您在数据中使用一个，但以不同的方式声明范围，您可能会遇到不一致那里。
为了让您继续前进，我在 Protégé 4.x 中重建了您的本体的一个非常小的部分，并使用 Pellet 推理器，我已经展示了您正在寻找的结果：
在这个答案的结尾，我已经包含了 N3 格式的本体。
现在，即使您可以使用 SWRL 规则执行此操作，您也可以使用简单的 OWL 限制类执行此操作，这可能是一个更好的选择，因为它可能适用于更多推理器。如果不出意外，它会减少一个依赖，因此它可能是一个更有吸引力的解决方案。诀窍是将 Blood_HS 定义为等价于 Blood_Sugar 与所需范围内的级别的事物的交集，或者您可以使用通用类公理。在这两种情况下，您都可以使用 Pellet 推理器获得所需的结果，并且不需要任何 SWRL 规则。
你可以简单地说（使用我在我的本体中使用的类名）：
HighBloodSugar ≡ BloodSugar and (hasLevelValue some integer[>120,<600])
在 Protégé 中看起来有点不同，但非常接近：
现在，如果你不想让它成为一个等价的类公理，你可以使用如下的一般公理。
BloodSugar and (hasLevelValue some integer[>120,<600]) ⊑ HighBloodSugar
这只在 Protégé 中看起来有点不同。这是最接近 SWRL 的版本，因为任何血糖水平在指定范围内的东西都将被归类为高血糖，但仍有可能存在其他高血糖。（你不能用等价的类公理得到这个。）
@prefix : <http://stackoverflow.com/q/21243879/1281433/blood-pressure.owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix swrl: <http://www.w3.org/2003/11/swrl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix swrlb: <http://www.w3.org/2003/11/swrlb#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix blood-pressure: <http://stackoverflow.com/q/21243879/1281433/blood-pressure.owl#> .
<http://stackoverflow.com/q/21243879/1281433/blood-pressure.owl>
a owl:Ontology .
blood-pressure:HighBloodSugar
a owl:Class .
blood-pressure:bs1 a owl:NamedIndividual , blood-pressure:BloodSugar ;
blood-pressure:hasLevelValue 200 .
<urn:swrl#bp> a swrl:Variable .
<urn:swrl#bs> a swrl:Variable .
blood-pressure:BloodSugar
a owl:Class .
blood-pressure:hasLevelValue
a owl:DatatypeProperty ;
rdfs:domain blood-pressure:BloodSugar ;
rdfs:range xsd:integer .
[ a swrl:Imp ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 <urn:swrl#bs> ;
swrl:classPredicate blood-pressure:BloodSugar
] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 <urn:swrl#bp> ;
swrl:argument2 <urn:swrl#level> ;
swrl:propertyPredicate blood-pressure:hasLevelValue
] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:BuiltinAtom ;
swrl:arguments [ a rdf:List ;
rdf:first <urn:swrl#level> ;
rdf:rest [ a rdf:List ;
rdf:first 126 ;
rdf:rest ()
]
] ;
swrl:builtin swrlb:greaterThan
] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:BuiltinAtom ;
swrl:arguments [ a rdf:List ;
rdf:first <urn:swrl#level> ;
rdf:rest [ a rdf:List ;
rdf:first 500 ;
rdf:rest ()
]
] ;
swrl:builtin swrlb:lessThan
] ;
rdf:rest ()
]
]
]
] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 <urn:swrl#bs> ;
swrl:classPredicate blood-pressure:HighBloodSugar
] ;
rdf:rest ()
]
] .
<urn:swrl#level> a swrl:Variable .