Obsolete restriction on mvf:VocabularyEntry

[mereolog]

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

idmp/MVF/ISO1087-VocabularyForTermsAndDefinitions.rdf

Lines 833 to 837 in 57ef748

	<owl:Restriction>
	<owl:onProperty rdf:resource="&cmns-dsg;denotes"/>
	<owl:onClass rdf:resource="&mvf;MVFEntry"/>
	<owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
	</owl:Restriction>

which can be inferred from:

idmp/MVF/MultipleVocabularyFacility.rdf

Lines 273 to 277 in 57ef748

	<owl:Restriction>
	<owl:onProperty rdf:resource="&cmns-dsg;denotes"/>
	<owl:onClass rdf:resource="&mvf;MVFEntry"/>
	<owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
	</owl:Restriction>

[tw-osthus]

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

[ElisaKendall]

@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]

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.