Re: [dxwg] property profileOfTransitive

Maybe the discussion on #507 will result in a change of name from 'profile of' to something else. But in any case, +1 for @riccardoAlbertoni 's original suggestions on the patterns, both the naming pattern and the axioms to be added.

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

Received on Monday, 29 October 2018 23:33:17 UTC