我创建了一个包含类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）∧swllb：lessThan（？y，500）→High_BS（？x）知道hasLevelValue是DataType属性，其域是Blood_Sugar类，它的范围是INT在Blood_Sugar类和它们的子类类中，我创建了限制（hasLevelvalue only int）
我创建了具有不同值的som个体，但它们没有被分类在子类中（High_BS，Low_BS ...）swrl规则没有给出错误，但它没有给出结果:(我不知道结局是什么问题？！！！！！
您的问题有点不清楚，我不确定是否只有印刷错误，或者是否存在真正的建模错误。你说你正在看Blood_Sugar类和四个子类，但是你显示的规则以Blood_Pressure原子（压力，而不是糖）开始，这可能是那里的问题：
Blood_Pressure（？x）∧hasLevelvalue（？x，？y）∧swrlb：greaterThan（？y，126）∧swllb：lessThan（？y，500）→High_BS（？x）
但是，如果这只是问题中的拼写错误，那么您可能会遇到数据类型问题。而不是使用xsd:int，你应该使用xsd:integer（这样你就不必担心溢出问题等）更不用说，如果你在数据中使用一个，但是以不同的方式声明范围，你可以运行陷入不一致的地方。
为了让你顺利，我在Protégé4.x中重建了你本体的一个非常小的部分，并使用Pellet推理器，我已经展示了你正在寻找的结果：
在本答案的最后，我已经将N3格式的本体包括在内。
现在，即使您可以使用SWRL规则执行此操作，您也可以使用简单的OWL限制类来执行此操作，这可能是更好的选择，因为它可能适用于更多的reasoners。如果没有别的，它只是一个较少的依赖，所以它可能是一个更有吸引力的解决方案。诀窍是将Blood_HS定义为等同于Blood_Sugar和具有所需范围内级别的事物的交集，或者您可以使用通用类公理。在这两种情况下，您都可以使用Pellet推理器获得所需的结果，并且您不需要任何SWRL规则。
你可以简单地说（使用我在我的本体中使用的类名）：
高血糖≡血糖和（hasLevelValue一些整数[> 120，<600]）
在Protégé看起来有点不同，但它非常接近：
现在，如果你不想使它成为一个等价的阶级公理，你可以使用如下的一般公理。
血糖和（hasLevelValue一些整数[> 120，<600]）subseteq;高血糖
这在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 .