W3C home > Mailing lists > Public > public-dxwg-wg@w3.org > September 2019

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

From: Nicholas Car via GitHub <sysbot+gh@w3.org>
Date: Thu, 12 Sep 2019 01:07:35 +0000
To: public-dxwg-wg@w3.org
Message-ID: <issue_comment.created-530622815-1568250454-sysbot+gh@w3.org>
@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

This archive was generated by hypermail 2.3.1 : Wednesday, 30 October 2019 00:15:57 UTC