Re: [dxwg] property profileOfTransitive

@rob-metalinkage If "profileOf" and transitive here means "bound by cardinality constraints" then that needs to be included somewhere in the document. There is nothing inherent in "profile of" conceptually that would imply such a rule. The OWL definition of transitive establishes a relationship but does not define specific rules based on the entailments from that relationship, which presumably would depend on the nature of the things being related. Even if we could say that "bound by cardinality constraints" is a logical result of the "profileOf" relationship, I think that needs to be made clear for readers. I'm also wondering what other entailments might be assumed from the profileOf relationship - including things like labels, definitions, etc.

GitHub Notification of comment by kcoyle
Please view or discuss this issue at using your GitHub account

Received on Wednesday, 24 October 2018 07:27:24 UTC