owl - protege 3.4.8 中的 SWRL 规则

Question

我创建了一个包含类 Blood_Sugar 的本体该类包含 4 个子类:Normal_BS、High_BS、Low_BS 和 Dangerous_BS。我想在 Protege 3.4.8 上执行一个 SWRL 规则，该规则允许根据值将父类(super class) Blood_Sugar 的个体分类为子类。Blood_Pressure(?x) ∧ hasLevelvalue(?x, ?y) ∧ swrlb:greaterThan(?y, 126) ∧ swrlb:lessThan(?y, 500) → High_BS(?x)知道 hasLevelValue 是一个 DataType 属性，它的域是 Blood_Sugar 类，它的范围是 INT在 Blood_Sugar 类及其子类中，我创建了限制(hasLevelvalue only int)

我创建了一些具有不同值但未归入子类(High_BS、Low_BS...)的个体，swrl 规则没有给出错误但没有给出结果:(我不知道结果如何问题出在哪里？!!!!!!

Answer 1

可能的问题

您的问题有点不清楚，我不确定是否只是打印错误，或者是否存在真正的建模错误。您说您正在查看 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,<600])

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

使用子类公理

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

BloodSugar and (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 .