SWRL规则保护3.4.8

Question

我创建了一个包含类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规则没有给出错误,但它没有给出结果:(我不知道结局是什么问题？!!!!!

Answer 1

可能的问题

您的问题有点不清楚,我不确定是否只有印刷错误,或者是否存在真正的建模错误.你说你正在看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规则.

使用等价类公理

你可以简单地说(使用我在我的本体中使用的类名):

HighBloodSugar≡BushSugar 和(hasLevelValue 一些整数[> 120,<600])

在Protégé看起来有点不同,但它非常接近:

使用子类Axiom

现在,如果你不想使它成为一个等价的阶级公理,你可以使用如下的一般公理.

BloodSugar 和(hasLevelValue 一些整数[> 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 .