- From: Karen Coyle via GitHub <sysbot+gh@w3.org>
- Date: Mon, 15 Jul 2019 14:55:39 +0000
- To: public-dxwg-wg@w3.org
https://stackoverflow.com/questions/2218937/has-a-is-a-terminology-in-object-oriented-language http://java8.in/is-a-relationship-and-has-a-relationship/ IS A and HAS A are fairly commonly used both in O-O and in the preceding philosophical branch. It refers to typing, and therefore is a class relationship. I don't know of an equivalent that indicates "instance of" although now that I think about it, "instance of" sounds ambiguous to me (it would have to be an IS A relationship). I'm going to ponder that one for a bit. kc On 7/14/19 10:10 PM, Simon Cox wrote: > The global constraint is not enough. It merely says 'if there is a > |prof:isProfileOf| relationship then it is from a |prof:Profile| to a > |prof:Standard|. But it does not require that the relation be present in > an instance. To achieve that you also need a local constraint on the > |prof:Profile| class > > |prof:Profile rdfs:subClassOf [ rdf:type owl:Restriction ; > owl:minCardinality "1"^^xsd:nonNegativeInteger ; owl:onProperty > prof:isProfileOf ; ] ; .. | > > Aside: IS A is ambiguous. I assume you mean 'is a kind of', rather than > 'is an instance of' > > — > You are receiving this because you were mentioned. > Reply to this email directly, view it on GitHub > <https://github.com/w3c/dxwg/issues/963?email_source=notifications&email_token=AAL53YLURLZZ452V4Y3LTHLP7QBEJA5CNFSM4H36FLV2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZ4XHSI#issuecomment-511275977>, > or mute the thread > <https://github.com/notifications/unsubscribe-auth/AAL53YPK25NSEQRXIDBK5RDP7QBEJANCNFSM4H36FLVQ>. > -- Karen Coyle kcoyle@kcoyle.net http://kcoyle.net skype: kcoylenet -- GitHub Notification of comment by kcoyle Please view or discuss this issue at https://github.com/w3c/dxwg/issues/963#issuecomment-511436916 using your GitHub account
Received on Monday, 15 July 2019 14:55:41 UTC