W3C home > Mailing lists > Public > public-dxwg-wg@w3.org > May 2018

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

From: Rob Atkinson via GitHub <sysbot+gh@w3.org>
Date: Wed, 09 May 2018 22:35:38 +0000
To: public-dxwg-wg@w3.org
Message-ID: <issue_comment.created-387895815-1525905337-sysbot+gh@w3.org>
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

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