Replace isInheritedFrom with a subproperty of rdfs:isDefinedBy

[rob-metalinkage]

Proposal: replace isInhertiedFrom with a more general property that allows any ResourceDescriptor to directly indicate the Profile that defines the ResourceRole of this resource.

[nicholascar]

from @rob-metalinkage:

The rationale for a subproperty is that we can then add a property chain axiom to clarify the intent.

:specifiedBy rdf:type owl:ObjectProperty ;
    rdfs:domain :ResourceDescriptor ;
    rdfs:range dct:Standard ;
    skos:definition "The base specification that defines the role of the related resource" ;
    skos:usageNote "This property allows a client to determine which base specification declared 
                   the requirement or other role for this particular resource, allowing 
                   implementations to flatten inheritance hierarchies for clients do not need 
                   to traverse a graph to locate all requirements. Implementations are responsible 
                   for determining if and how to use this property, and may choose some appropriate 
                   subset of resources. This property provides an optional inverse for the property
                   hasResource"@en ;
    owl:propertyChain ( 
        :specifiedBy :hasResource 
    ) ;
    rdfs:label "specified by" .

[aisaac]

In the discussion on w3c/dxwg#857 @nicholascar detailed the PROF semantics for the inheritance link (https://github.com/w3c/dxwg/issues/857#issuecomment-557945066) .

But if that definition is still up-to-date, I find it has inconsistencies, which should probably be addressed here. More precisely, there's a contradiction between three elements:

• the definition of the property "This property indicates a Resource Descriptor described by this Profile’s base specification"
• the formal rdfs:range of the property (apparently set to Profile, not to Resource Descriptor as the definition indicates)
• the claim in the comment, which says "A profile's ResourceDescriptor instances can be inherited from anything (Profiles/Specifications) that this profile profiles directly or indirectly."