Question

我对Using Property Chains to get inferred Knowledge in an OWL Ontology(Protege)

感到好奇

接受的答案有两个解决方案：两个OWL表达式，或一个SWRL规则。我觉得OP发现全OWL（属性链）解决方案令人困惑但对SWRL答案感到满意。

我正在尝试实施全OWL解决方案。到目前为止，我没有看到Steven_Gerrard在与 Pellet 进行推理时被英格兰雇用的推论。

我确实看到了推论

Steven_Gerrard R_NationalPlayer Steven_Gerrard

这是错误吗？

我应该使用不同的推理器吗？ OP从 FaCT ++ 中收到错误。
我用some代替values打破了推理吗？

回答者提出了

的一般公理

hasNationalStatus value National_Player EquivalentTo R_NationalPlayer some Self

但是Protege对我使用vlaue有所了解。它确实接受以下内容：

hasNationalStatus some ({National_Player}) EquivalentTo R_NationalPlayer some  Self

我在为俱乐部，国家和国籍建模时犯了一些错误吗？

我的实施：

@prefix : <http://example.com/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://example.com/playerEmployment.owl> rdf:type owl:Ontology .

<http://example.com/R_NationalPlayer> rdf:type owl:ObjectProperty .

<http://example.com/employs> rdf:type owl:ObjectProperty ;
                           rdfs:subPropertyOf owl:topObjectProperty ;
                           owl:propertyChainAxiom ( [ owl:inverseOf <http://example.com/hasNationality>
                                                    ]
                                                    <http://example.com/R_NationalPlayer>
                                                  ) .

<http://example.com/hasNationalStatus> rdf:type owl:ObjectProperty .

<http://example.com/hasNationality> rdf:type owl:ObjectProperty .

<http://example.com/Club> rdf:type owl:Class ;
                        owl:equivalentClass [ rdf:type owl:Restriction ;
                                              owl:onProperty <http://example.com/employs> ;
                                              owl:someValuesFrom <http://example.com/Player>
                                            ] .

<http://example.com/NationalStatus> rdf:type owl:Class .

<http://example.com/Nationality> rdf:type owl:Class .

<http://example.com/Player> rdf:type owl:Class ;
                          owl:equivalentClass [ rdf:type owl:Restriction ;
                                                owl:onProperty <http://example.com/hasNationalStatus> ;
                                                owl:someValuesFrom <http://example.com/NationalStatus>
                                              ] ,
                                              [ rdf:type owl:Restriction ;
                                                owl:onProperty <http://example.com/hasNationality> ;
                                                owl:someValuesFrom <http://example.com/Nationality>
                                              ] .

<http://example.com/England> rdf:type owl:NamedIndividual ,
                                    <http://example.com/Club> ,
                                    <http://example.com/Nationality> .

<http://example.com/National_Player> rdf:type owl:NamedIndividual ,
                                            <http://example.com/NationalStatus> .

<http://example.com/Steven_Gerrard> rdf:type owl:NamedIndividual ,
                                           <http://example.com/Player> ;
                                  <http://example.com/hasNationalStatus> <http://example.com/National_Player> ;
                                  <http://example.com/hasNationality> <http://example.com/England> .

[ rdf:type owl:Restriction ;
  owl:onProperty <http://example.com/hasNationalStatus> ;
  owl:someValuesFrom [ rdf:type owl:Class ;
                       owl:oneOf ( <http://example.com/National_Player>
                                 )
                     ] ;
  owl:equivalentClass [ rdf:type owl:Restriction ;
                        owl:onProperty <http://example.com/R_NationalPlayer> ;
                        owl:hasSelf "true"^^xsd:boolean
                      ]
] .

Answer 1

<强>唉即可。 Pellet 可以根据我的问题中的本体进行所需的推断。

我正在查看史蒂文的Individual页面。我应该一直在查看 英格兰＆＃39> individual页。

不成功的团队雇佣玩家属性链

1 个答案: