search

nickdrummond / star-wars-ontology

An OWL ontology describing events, characters and places in the Star Wars Universe
https://nickdrummond.github.io/star-wars-ontology/
3 stars 1 forks source link

testMembershipTransitivity #25

Open nickdrummond opened 2 years ago

nickdrummond commented 2 years ago

Cody is a Commander inOrganisation 7th Sky Corps 7th Sky Corps is in the Grand Army of the Republ., in the Republic So, cody SHOULD be a member of the Galactic Republic

With pellet this does not work - you have to assert Cody is a member of 7thSC.

Even though pellet correctly infers he is a member of 7thSC, but does not follow the transitivity

Why?

nickdrummond commented 2 years ago

Need to check this in an isolated case and with a different reasoner