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

Need a disjoint strategy #19

Open nickdrummond opened 2 years ago

nickdrummond commented 2 years ago

Its too easy for disjoint and different axioms to get our of date while adding new classes/instances.

We currently do not have a complete set of disjoints across all living things.

We do need to be careful not to cause inconsistencies within our primary hierarchy - eg Jacen Syndulla

We also need to be careful of sameas - eg Darth Sidious

nickdrummond commented 1 year ago

Too hard to manage characters by hand. A combination of allDifferent and disjoints between species does not work - for a start there are individuals asserted to be "Living_thing" - eg Bendu, Presence etc. We don't want to force a new Class for these cases. Also, subclasses get tricky - allDifferent on Clones doesn't help us with Humans being allDifferent from clones. Protege tooling only works at the asserted instance of level. Will write a bit of code to assert allDifferent over all Living_things (and remove old allDifferent axioms containing any of the same individuals.

nickdrummond commented 1 year ago

Created MakeDifferentIndividuals to programmatically (re)generate allDifferent for Living_things