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原子开始（压力，而不是 sugar ），可能是那里的问题：

  

Blood_Pressure（？x）∧withLevelvalue（？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规则。

使用等效类Axiom

你可以简单地说（使用我在本机中使用的类名）：

  

HighBloodSugar≡LushSugar和（hasLevelValue 某些整数[＆gt; 120，＆lt; 600]）

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

使用子类Axiom

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

  

BloodSugar 和（hasLevelValue 某些整数[＆gt; 120，＆lt; 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 .