Re: [dxwg] A mechanism must be available to identify conformance to each inherited profile given conformance to a profile that specialises it (6.1)

Its certainly possible to create models that are not internally consistent (or ontologies that are not "satisfiable") but its not the job of the descriptor to dissallow this.  Its possible that constraints specification langauges could provide mechanisms to check for internal consistency.

What profiledesc _does_ do. however, and by design, is allow you to locate the pieces so that manual or automated consistency checks become feasible. 



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

Received on Wednesday, 9 May 2018 22:35:41 UTC