Re: [dxwg] Axiomitise transitivity of dct:conformsTo through isProfileOf relationships (#844)

@kcoyle I agree with your characterisation above I'm not quite sure I follow your statement

> the axiom shows two profiles

If you're referring to Rob's starting comment containing :Profile1 & :Profile2 text of:

```
:aResource dct:conformsTo :Profile1 .
:Profile1 prof:isProfileOf :Profile2 .
```

entails:
```:aResource dct:conformsTo :Profile2 .```

well that's just example text using individuals of :Profile1 & :Profile2 informally. So, despite perhaps awkward naming, there's consistency between what you suggest above and his example. 

In the next PROF meeting, I hope to check that the descriptive text and examples matche the axioms.

-- 
GitHub Notification of comment by nicholascar
Please view or discuss this issue at https://github.com/w3c/dxwg/issues/844#issuecomment-530622815 using your GitHub account

Received on Thursday, 12 September 2019 01:07:36 UTC