-
Notifications
You must be signed in to change notification settings - Fork 9
Add agent membership properties #528
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
8fd8a41
to
0af9da3
Compare
a85be28
to
68b3277
Compare
68b3277
to
1091bf7
Compare
source/vocab/agents.ttl
Outdated
:isMemberOf a owl:ObjectProperty ; | ||
rdfs:label "är medlem av"@sv , "is member of"@en ; | ||
sdo:domainIncludes :Agent ; | ||
sdo:rangeIncludes :Organization ; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Not family?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I just answered my own question with my last comment I guess? :)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Added :Family
too.
rdfs:label "har medlem"@sv , "has member"@en ; | ||
sdo:domainIncludes :Organization, :Family ; | ||
sdo:rangeIncludes :Agent ; | ||
owl:equivalentProperty sdo:member ; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
sdo seems not to include family when talking about member so equivalent is maybe not right.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe not; but they're just "*includes", so it's not meaningful beyond structural hints (which aren't entailed).
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We can drop :Family
and only suggest :Person
and :Organization
rather than :Agent
.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
As agreed; keeping as is (noting they're just hints anyway).
Including mappings to SDO and suggested OWL entailment rules for RDA equivalents (by type).
1091bf7
to
77d17e4
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM!
For use on agents, mainly to relate to parent organization.
(Including commented suggestions of OWL entailment axioms mapping to RDA equivalents (by type).)
:hasMember
and:isMemberOf
.The needs (and uses of e.g.(We can also comment them out if we're good with the basic properties.)Corporation
) of these entailments need to be verified (and reasonably either marked as abstract, pending and/or turned into bnodes).