可能的问题
您的问题有点不清楚，我不确定是否只是印刷错误，或者是否存在真正的建模错误。您说您正在查看 Blood_Sugar 类和四个子类，但是您显示的规则以 Blood_Pressure 原子（pressure，而不是 sugar）开始，并且可能是那里的问题：
Blood_Pressure(?x) ∧ hasLevelvalue(?x, ?y) ∧ swrlb:greaterThan(?y, 126) ∧ swrlb:lessThan(?y, 500) → High_BS(?x)
但是，如果这只是问题中的一个错字，那么您可能会遇到数据类型问题。而不是使用xsd:int，您可能应该使用xsd:integer（这样您就不必担心溢出等问题）更不用说，如果您在数据中使用一个，但声明范围不同，您可能会在此处遇到不一致的情况。
使用规则
为了让您继续前进，我在 Protégé 4.x 中重建了您的本体的极小部分，并使用 Pellet 推理器展示了您正在寻找的结果：
我已经在这个答案的末尾包含了 N3 格式的本体。
使用限制
现在，即使您可以使用 SWRL 规则执行此操作，您也可以使用简单的 OWL 限制类执行此操作，并且 可能 是一个更好的选择，因为它可能 与更多推理者合作。如果不出意外，它会减少一个依赖，因此它可能是一个更有吸引力的解决方案。诀窍是将 Blood_HS 定义为 equivalent 与 Blood_Sugar 和具有所需范围内的级别的事物的交集，或者您可以使用通用类公理。在这两种情况下，您都可以使用 Pellet 推理器获得所需的结果，并且不需要任何 SWRL 规则。
使用等价类公理
你可以简单地说（使用我在我的本体中使用的类名）：
HighBloodSugar ≡ BloodSugar and (hasLevelValue some integer[>120,
在 Protégé 中看起来有点不同，但非常接近：
使用子类公理
现在，如果您不想让它成为等价的类公理，可以使用如下一般公理。
BloodSugar 和 (hasLevelValue some integer[>120,
这只是在 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 .