Bottom-up ontology development (restrictions) from overspecified examples

[mereolog]

We now have a check for underspecified examples, i.e., when an individual does not have a certain property that is required by its type(s).

We could also have a check for overspecified examples, i.e., when an individual has a certain property that is not required by its type(s) - for a list of all such cases in the current ontology see: overspecified_examples.csv

Of course, these are not errors in any sense, but they may suggest adding new restrictions (someValuesFrom or minQualifiedCardinality 0).

new_restrictions_from_overspecified_examples.csv contains types whose logical definitions can be such extended.

For example, we may add
Registry someValuesFrom hasTextualName.
or
GeopoliticalEntity minQualifiedCardinality 0 hasSubregion.