Population_group inconsistency violation

[anitacaron]

Creates a QC for consistency in population group and country of origin.

Fixes #25

[anitacaron]

@daniwelter @Melek-C @abenkahla I've added the missing population_group in the country, but it got removed again because of the reasoning and reduce process (remove any redundant logical axiom).

In the case of Berber Northern, its three children are already listed as a population group in Algeria, so logically, Berber Northern is listed as part of the Algerian population group. I'll show Protégé screenshots to explain better the situation.

Algeria without population_group Berber Northern

Query to list population_group for Berber Northern

Explanation Algeria is on the list

The same happens for Lybia. If I remove in Lybia population_group Berber Northern

It's inferred by its two children:

However, it fixed for some cases, for example, Egypt which is the only assertion.

[daniwelter]

@anitacaron in the case where the countries can be inferred, such as the Berber Northern example, I think this is fine. It's only countries where the reverse link cannot be inferred that I consider a problem.

[Melek-C]

Hi @anitacaron, after checking the last version I found that the information exist in both as in the screenshot and also true for the other countries.

[anitacaron]

@Melek-C Yes, I added the missing axioms in the afro-edit.ofn, but because I'm using afpo-full.owl, which is the afpo-edit.ofn, after reasoning and removing duplicated axioms, the QC is still falling. I'll change the afpo-full.owl to materialize the inferences only for QC purposes.

[Melek-C]

Ok @anitacaron, it should be ok then?

[anitacaron]

@Melek-C I didn't find more issues related to population_group, but I tested the other way, population without the country of origin, and found some inconsistencies.

population	population_label	country	country_label	Comment	Is it right?
AfPO0000289	Kanembu	dbpedia:Cameroon	Cameroon	Inferred by subClassOf Kanuri	ABK&MC:No
AfPO0000288	Kwatay	dbpedia:Cameroon	Cameroon	Kwatay hasCountryOfOrigin Senegal. Missing hasCountryOfOrigin Cameroon.	ABK&MC:Yes for Senegal AND No for Cameroon
AfPO0000080	Masalit	dbpedia:Cameroon	Cameroon	Masalit hasCountryOfOrigin Chad and Sudan. Missing hasCountryOrigin Cameroon.	ABK&MC:Yes for Chad and Sudan AND No for Cameroon
AfPO0000543	Dan	dbpedia:Ivory_Coast	Côte d'Ivoire	Inferred by subClassOf Mande Western	ABK&MC: hasCountryOfOrigin 'Côte d'Ivoire'
AfPO0000544	Kabye	dbpedia:Guinea	Guinea	Kabye hasCountryOfOrigin Benin and Togo. Missing hasCountryOfOrigin Guinea.	ABK&MC: Kabye hasCountryOfOrigin Togo.
AfPO0000347	Pedi	dbpedia:Lesotho	Lesotho	Inferred by subClassOf Sotho	ABK&MC: No
AfPO0000544	Kabye	dbpedia:Liberia	Liberia	Kabye hasCountryOfOrigin Benin and Togo. Missing hasCountryOfOrigin Liberia.	ABK&MC: No Kabye hasCountryOfOrigin Togo only
AfPO0000342	Shona	dbpedia:Mozambique	Mozambique	Inferred by subClassOf Bantu Eastern	ABK&MC: No.
AfPO0000074	Bambara	dbpedia:Senegal	Senegal	Bambara hasCountryOfOrigin Côte d'Ivoire, The Gambia and Mali. Missing hasCountryOfOrigin Senegal.	ABK&MC: Yes please add Senegal as hasCountryOfOrigin
AfPO0000543	Dan	dbpedia:Senegal	Senegal	Dan hasCountryOfOrigin The Gambia and Liberia. Missing hasCountryOfOrigin Senegal.	ABK&MC: Yes
AfPO0000161	Dyula	dbpedia:Senegal	Senegal	Dyula hasCountryOfOrigin Burkina Faso, Côte d'Ivoire, Ghana and Mali. Missing hasCountryOfOrigin Senegal.	ABK&MC: Do not add Senegal as hasCountryOfOrigin
AfPO0000544	Kabye	dbpedia:Sierra_Leone	Sierra Leone	Kabye hasCountryOfOrigin Benin and Togo. Missing hasCountryOfOrigin Sierra Leone.	ABK&MC: No Kabye hasCountryOfOrigin Togo only
AfPO0000338	Lemba	dbpedia:South_Africa	South Africa	Inferred by subClassOf Bantu Southern	ABK&MC: 'South Africa' should be hasCountryOfOrigin
AfPO0000084	Bulu	dbpedia:São Tomé and Príncipe	São Tomé and Príncipe	Inferred by subClassOf Beti-Pahuin	ABK&MC: No
AfPO0000572	Ewondo	dbpedia:São Tomé and Príncipe	São Tomé and Príncipe	Inferred by subClassOf Beti-Pahuin	ABK&MC: No
AfPO0000336	Himba	dbpedia:Tanzania	Tanzania	Himba using Population_group instead of hasCountryOfOrigin. Fixed.	ABK&MC: perfect.
AfPO0000488	Kiga	dbpedia:Tanzania	Tanzania	Inferred by subClassOf Bantu Eastern	ABK&MC: Tanzania should be hasCountryOfOrigin
AfPO0000438	Tutsi	dbpedia:Tanzania	Tanzania	Inferred by subClassOf Banyarwanda	ABK&MC: Tanzania should be hasCountryOfOrigin
AfPO0000332	San	dbpedia:Zimbabwe	Zimbabwe	San hasCountryOfOrgin South Africa, Botswana and Namibia. Missing hasCountryOfOrigin Zimbawbwe.	ABK&MC: Yes, please add Zimbawbwe hasCountryOfOrigin

@Melek-C @abenkahla could you please check these cases and answer the last column?

[anitacaron]

For the Kabye cases. These are the remaining axioms that were not removed when we found Kabye and Kissi populations information were mixed at the Kabye population. I'll remove them.

population	population_label	country	country_label	Comment	Is it right?
AfPO0000544	Kabye	dbpedia:Guinea	Guinea	Kabye hasCountryOfOrigin Benin and Togo. Missing hasCountryOfOrigin Guinea.	No, remove
AfPO0000544	Kabye	dbpedia:Liberia	Liberia	Kabye hasCountryOfOrigin Benin and Togo. Missing hasCountryOfOrigin Liberia.	No, remove
AfPO0000544	Kabye	dbpedia:Sierra_Leone	Sierra Leone	Kabye hasCountryOfOrigin Benin and Togo. Missing hasCountryOfOrigin Sierra Leone.	No, remove

Here are screenshots of the original file in WebProtege

[abenkahla]

Done.

[anitacaron]

Thank you, @abenkahla & @Melek-C! I'll make the changes in this PR.