SWRL规则在Proge3.4.8中
我创建了一个包含类Blood_Sugar的本体--这个类包含4个子类: Normal_BS、High_BS、Low_BS和Dangerous_BS。我想执行一个SWRL规则，它允许在子类中根据Blood_Sugar的值对超级类的个人进行分类。Blood_Pressure(?x)∧hasLevelvalue(?x，?y)∧swrlb:greaterThan(?y，126)∧swrlb:lessThan(?y，500)→High_BS(?x)，知道hasLevelValue是DataType proprety，其域是Blood_Sugar类，其范围是Blood_Sugar类和它们的子类类上的INT，因此我创建了限制(仅限于int)。
我创建了具有不同值但不属于子类(High_BS、Low_BS.)的个人。swrl规则没有给出一个erreur，但它并没有给出一个结果:(我不知道问题在哪里？！)
回答 1
Stack Overflow用户
发布于 2014-01-20 22:39:31
可能出现的问题
您的问题有点不清楚，我不确定是否存在排版错误，或者是否存在真正的建模错误。您说您正在查看Blood_Sugar类和四个子类，但是您所展示的规则从一个Blood_Pressure原子(压力，而不是糖)开始，这可能就是问题所在：
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 reasoner演示了您正在寻找的结果：
在这个答案的末尾，我已经以N3格式包含了本体。
使用限制
现在，即使您可以使用SWRL规则来完成这个任务，也可以使用简单的OWL限制类来完成，这可能是一个更好的选择，因为它可能与更多的推理器一起工作。如果没有别的，那么它就少了一个依赖项，所以它可能是一个更有吸引力的解决方案。诀窍是要么将Blood_HS定义为等效于Blood_Sugar与所需级别的事物的交集，要么使用一般的类公理。在这两种情况下，您都可以使用获得所需的结果，并且不需要任何SWRL规则。
使用等价类公理
您可以简单地说(使用我在本体中使用过的类名)：
HighBloodSugar≡BloodSugar 和 (hasLevelValue some integer>120，<600)
在Protégé，看起来有点不同，但非常接近：
使用子类公理
现在，如果您不想使它成为一个等价的类公理，您可以使用如下所示的一般公理。
BloodSugar 和 (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 .https://stackoverflow.com/questions/21243879
复制相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号