Skip to content
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.

Sign up for GitHub

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

Jump to bottom

gist:identifies should be FunctionalProperty, not InverseFunctionalProperty #180

Closed
rjyounes opened this issue Feb 19, 2020 · 0 comments
Closed

gist:identifies should be FunctionalProperty, not InverseFunctionalProperty #180

rjyounes opened this issue Feb 19, 2020 · 0 comments
Assignees
@rjyounes
Labels
effort: small Requires less than one day to complete impact: patch No new functionality or changes in human-readable semantics (e.g,. fixing a typo in an annotation)

Comments

@rjyounes
Copy link
Collaborator

rjyounes commented Feb 19, 2020 •
edited
Loading

If ID-A identifies Person-P1, and ID-A identifies Person-P2, then Person-P1 owl:sameAs Person-P2. This is a functional property, not an inverse functional property.

The inverse, identifiedBy, is correctly asserted to be an inverse functional property, and the inverse of an inverse functional property is a functional property.

Despite modifying inferences, it's a patch fix because it corrects an error.
@rjyounes rjyounes added impact: patch No new functionality or changes in human-readable semantics (e.g,. fixing a typo in an annotation) effort: small Requires less than one day to complete labels Feb 19, 2020
@rjyounes rjyounes closed this as completed Mar 9, 2020
@rjyounes rjyounes reopened this Mar 9, 2020
@rjyounes rjyounes mentioned this issue May 6, 2020
Closed
@rjyounes rjyounes mentioned this issue Mar 2, 2021
Closed
@rjyounes rjyounes self-assigned this Mar 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rjyounes rjyounes

Labels
effort: small Requires less than one day to complete impact: patch No new functionality or changes in human-readable semantics (e.g,. fixing a typo in an annotation)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@rjyounes