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

Discussions have been about how to describe the looseness of dct:conformsTo semantics and the fact there may be cases where conformance is not transitive that are out of scope for this model and not evidenced strongly enough or early enough to consider supporting.  

It seems that the intent can be clearly stated axiomatically, and that this is necessary to help understanding. So I propose we add the following statements and matching text to the .ttl file and document:

# state that things conform to profiled specifications if they conform to a profile
dct:conformsTo owl:PropertyAxiom ( dct:conformsTo prof:isProfileOf) .

# to document that profiles imply conformance to any profile in the declared profile relationship heirarchy.
prof:isProfileOf a owl:TransitiveProperty .

In conjunction with clarification text that communities may determine what "conformsTo" means in their application scope, these axioms allow useful statements to be made - without that ontological commitment then just use dct:relation or some other vocabulary and rely on interpreation.  No other relationship vocabulary was identified that supported these semantics. hence the rationale for publishing a new vocabulary with these specific semantics.


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

Received on Friday, 13 September 2019 00:17:41 UTC