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

Re: [dxwg] 'smushing' (#670)

From: Alejandra Gonzalez-Beltran via GitHub <sysbot+gh@w3.org>
Date: Sat, 19 Jan 2019 10:53:11 +0000
To: public-dxwg-wg@w3.org
Message-ID: <issue_comment.created-455769789-1547895190-sysbot+gh@w3.org>
@smrgeoinfo a reasoner will infer that if there are two subjects for the inverse functional property, they are the same and raise a conflict if that is not possible due to other axioms

-- 
GitHub Notification of comment by agbeltran
Please view or discuss this issue at https://github.com/w3c/dxwg/issues/670#issuecomment-455769789 using your GitHub account
Received on Saturday, 19 January 2019 10:53:12 UTC

This archive was generated by hypermail 2.3.1 : Monday, 29 April 2019 13:45:06 UTC