Closed anitacaron closed 5 months ago
When I was analysing the results in this table https://github.com/h3abionet/afpo/pull/24#issuecomment-2003869053, I checked Himda, I found that it was using Population_group instead of hasCountryOfOrigin.
Population_group
hasCountryOfOrigin
This made me define the domain and range for both object properties.
And finally, I added the Population disjoint with Country.
Population
Country
After running the reasoning, there are many unsatisfiable classes
I could spot two logical axioms that could fix all the unsats:
hasCountryOfOrigin Tanzania
hasCountryOfOrigin Sudan
I'll create the PR, which adds the changes suggested here.
cc @abenkahla @Melek-C @daniwelter
When I was analysing the results in this table https://github.com/h3abionet/afpo/pull/24#issuecomment-2003869053, I checked Himda, I found that it was using
Population_groupinstead ofhasCountryOfOrigin.This made me define the domain and range for both object properties.
And finally, I added the
Populationdisjoint withCountry.After running the reasoning, there are many unsatisfiable classes
I could spot two logical axioms that could fix all the unsats:
hasCountryOfOrigin Tanzaniainstead ofPopulation_grouphasCountryOfOrigin Sudaninstead ofPopulation_groupI'll create the PR, which adds the changes suggested here.
cc @abenkahla @Melek-C @daniwelter