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

Re: [dxwg] Revisiting the definition of "profile" (#963)

From: Lars G. Svensson via GitHub <sysbot+gh@w3.org>
Date: Tue, 16 Jul 2019 12:56:19 +0000
To: public-dxwg-wg@w3.org
Message-ID: <issue_comment.created-511803972-1563281778-sysbot+gh@w3.org>
@nicholascar scripsit:
> Am I right in asserting that the above, very long discussion, won't require any changes to these core concepts in PROF?

As I see it, yes: Every profile is a kind of standard but not every standard a kind of profile, so the axiom holds:
:Profile rdf:type owl:Class ;
         rdfs:subClassOf dct:Standard ;
And yes, given
:isProfileOf rdf:type owl:ObjectProperty ;
           rdfs:domain :Profile ;
           rdfs:range dct:Standard ;
a standard can be a (trivial) profile of itself.
:aSomething dct:conformsTo :aProfile .
:aProfile a prof:Profile ;
    prof:isProfileOf :aStandard .
also means that `aSomething` conforms to `:aStandard`.
(aside: This brings up the question if `prof:isProfileOf` should be declared transitive and also if there is a rule `(:a dct:conformsTo :b , :b prof:isProfileOf :c) -> :a dct:conformsTo :c`)

GitHub Notification of comment by larsgsvensson
Please view or discuss this issue at https://github.com/w3c/dxwg/issues/963#issuecomment-511803972 using your GitHub account
Received on Tuesday, 16 July 2019 12:56:21 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:42:18 UTC