search

edmcouncil / idmp

This repository stores the OWL ontology built on the basis of the ISO standards for identification of medicinal products.
https://spec.edmcouncil.org/idmp/
MIT License
30 stars 10 forks source link

Obsolete restriction on mvf:VocabularyEntry #599

Open mereolog opened 6 months ago

mereolog commented 6 months ago

https://www.omg.org/spec/MVF/MultipleVocabularyFacility/VocabularyEntry has an obsolete restriction:

https://github.com/edmcouncil/idmp/blob/57ef7480b0077090bec5df07eb1d589f07a1500d/MVF/ISO1087-VocabularyForTermsAndDefinitions.rdf#L833-L837

which can be inferred from:

https://github.com/edmcouncil/idmp/blob/57ef7480b0077090bec5df07eb1d589f07a1500d/MVF/MultipleVocabularyFacility.rdf#L273-L277

tw-osthus commented 4 months ago

The first restriction is a min 0 tautology. It can never be inferred.

ElisaKendall commented 4 months ago

@merelog @tw-osthus This issue will be resolved in the OMG MVF revision task force and the resulting solution will be brought back over to IDMP. See https://issues.omg.org/browse/MVF11-15 for additional detail.

mereolog commented 4 months ago

The first restriction is a min 0 tautology. It can never be inferred.

This is just a technicality, but all tautologies can be inferred from any ontology.