不成功的团队采用了玩家财产链(Unsuccessful team-employs-player pr

2019-09-29 02:46发布

我被好奇使用属性链得到了OWL本体推断知识(门徒)

该接受的答案有两个解决方案:双OWL表达式 SWRL规则。 我得到的感觉是,OP发现全OWL(产业链)解决方案混乱,但很满意答案SWRL。

我想实现全OWL的解决方案。 到目前为止,我没有看到Steven_Gerrard由英格兰佩莱推理时采用的推断。

我看到推理

Steven_Gerrard R_NationalPlayer Steven_Gerrard 

那是一个错误?

  • 我应该使用不同的推理? 该OP得到了事实的错误++。

  • 是我的替代somevalues突破的理由?

回答者建议的一般类公理

hasNationalStatus value National_Player EquivalentTo R_NationalPlayer some Self

但门徒compalined我的使用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:

。 颗粒可以进行所需的推论从包含在我的问题的本体。

我一直在寻找史蒂芬对Individual页面。 我一直在寻找英格兰individual页面。



文章来源: Unsuccessful team-employs-player property chain