Get rid of some not useful restrictions

ICA-EGAD / RiC-O

ICA Records in Contexts-Ontology (ICA RiC-O) GitHub repository web pages

https://ica-egad.github.io/RiC-O/

47 stars 17 forks source link

Get rid of some not useful restrictions #46

Closed florenceclavaud closed 1 year ago

florenceclavaud commented 1 year ago

Many restrictions (though not all of them) defined for classes in RiC-O 0.2 are redundant with the specification of the object properties involved since these have domains and ranges. For example, the definition of rico:Event includes the following restriction:

` which is not useful as it is, since rico:hasEventType has domain [rico:Event](https://www.ica.org/standards/RiC/ontology#Event) and range [rico:EventType](https://www.ica.org/standards/RiC/ontology#EventType) Restrictions of the kind should be removed.

florenceclavaud commented 1 year ago

Hi, I think I have removed all these unnecessary class restrictions (28 in fact) in the issue-46_remove-unnecessary-restrictions branch. @ivozandhuis, could you have a look?

ivozandhuis commented 1 year ago

Nice!

I count 32 less "<owl:Restriction"s in the 1_0 file than in the 0_2 file, instead of 28. All 32 removals are correct.
I think I found one more on rico:Mandate. Made an extra commit for that.

florenceclavaud commented 1 year ago

Thanks for Mandate! I think I counted in fact the 28 entities concerned, some having several restrictions.

florenceclavaud commented 1 year ago

Closed as completed.