FHT implies that everyone's mother and father are cousins (and all parents are cousins to themselves)

[cmungall]

The property chain flows in the wrong direction:

isBiologicalParentOf o isBiologicalSiblingOf o isBiologicalChildOf SubPropertyOf: isCousinOf

this leads to every parent of more than one child being self-cousins, and pairs of parents of siblings as being classed as being cousins:

To test this, I ontologized the Simpsons, and then asked who was Marge's cousin:

These are all the inferences about Homer:

I think there is maybe some general confusion about directionality of relations in the ontology?

here is the test:

# Individual: <http://example.org/simpson/4038> (Homer)

AnnotationAssertion(rdfs:label <http://example.org/simpson/4038> "Homer"@en)
ObjectPropertyAssertion(<http://purl.org/ga4gh/kin.owl#KIN_028> <http://example.org/simpson/4038> <http://example.org/simpson/4040>)

# Individual: <http://example.org/simpson/4039> (Marge)

AnnotationAssertion(rdfs:label <http://example.org/simpson/4039> "Marge"@en)

# Individual: <http://example.org/simpson/4040> (Bart)

AnnotationAssertion(rdfs:label <http://example.org/simpson/4040> "Bart"@en)
ObjectPropertyAssertion(<http://purl.org/ga4gh/kin.owl#KIN_007> <http://example.org/simpson/4040> <http://example.org/simpson/4041>)

# Individual: <http://example.org/simpson/4041> (Lisa)

AnnotationAssertion(rdfs:label <http://example.org/simpson/4041> "Lisa"@en)
ObjectPropertyAssertion(<http://purl.org/ga4gh/kin.owl#KIN_032> <http://example.org/simpson/4041> <http://example.org/simpson/4039>)

[cmungall]

Fixed by #38