search

JervenBolleman / FALDO-paper

Other
5 stars 5 forks source link

Figure 5: property chain #7

Closed cmungall closed 10 years ago

cmungall commented 11 years ago

"Figure 5: OWL2 property chain axiom to infer that all positions described in a INSDC record are positioned relative to the main sequence of the record."

I'm suspicious of this - I would have to see the complete ontology with all axioms plus preferably some examples.

Presumably beginOf is the inverse of begin?

Note that property chains are unidirectional. You can infer some relationships given some chain of relationships. But given a relationship, you can't infer that there must be some specified chain of relationships. So you can infer INSDC:reference given the chain, but not the other way round.

I'm not sure the chain beginOf o endOf can ever be satisfied coherently.

JervenBolleman commented 11 years ago

I need to correct the write up (also the sparql query was incorrect).

INDSC:reference
      a       owl:ObjectProperty ;
      rdfs:subPropertyOf faldo:reference ;
      owl:propertyChainAxiom
              (faldo:endOf faldo:locationOf INDSC:featureOf INDSC:sequence) , 
              (faldo:locationOf INDSC:featureOf INDSC:sequence) , 
              (faldo:beginOf faldo:locationOf INDSC:featureOf INDSC:sequence) .

Will infer the correct knowledge at least with an OWL2-rl reasoner.

See the example in https://raw.github.com/JervenBolleman/FALDO/master/insdcfaldo.ttl