Skip to content

Revise local names according to adopted conventions. Fixes #188 #535

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

Merged
merged 17 commits into from
Sep 9, 2021

Conversation

rjyounes
Copy link
Collaborator

No description provided.

@rjyounes rjyounes force-pushed the feature/local_names branch from 51bf6cf to d5ae5f0 Compare August 17, 2021 17:20
@rjyounes
Copy link
Collaborator Author

rjyounes commented Aug 17, 2021

In the interests of getting this done and the 10.0.0 release out the door, I suggest that reviewers flag only errors, and changes they cannot live with. I have kept the changes conservative to minimize disagreement, even in cases where I felt a more significant rewording would be an improvement. We will have the opportunity to make changes in future major releases. In particular, we will likely release a revamp of times, in which case all or many of the predicates will change and names can be re-evaluated then. In addition, we will probably be removing a lot of inverses (#506).

I added 'biological' to the parent/offspring predicates to align with the definitions, but there is an issue about whether this limitation is appropriate (#444). I also reversed the order to hasX vs isXOf.

@rjyounes rjyounes marked this pull request as ready for review August 17, 2021 18:49
@rjyounes rjyounes requested review from uscholdm and removed request for ungricht August 19, 2021 11:21
@rjyounes rjyounes marked this pull request as draft August 19, 2021 11:21
@rjyounes rjyounes marked this pull request as ready for review August 19, 2021 11:39
Copy link
Collaborator

@sa-bpelakh sa-bpelakh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good

Copy link
Contributor

@DanCarey404 DanCarey404 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

"Good enough"

@rjyounes rjyounes requested review from daliadahleh and removed request for uscholdm August 31, 2021 18:20
@rjyounes
Copy link
Collaborator Author

@daliadahleh, because @uscholdm is off for a while, I'm requesting a review from you. As I mentioned to the other reviewers, unless you find something egregious or that you can't live with, or have a minor comment that can be easily fixed, let's try to pass this one through. It's holding up the release and we have been working on this for 18 months! Thanks!

@rjyounes rjyounes requested a review from marksem September 2, 2021 17:00
Copy link
Collaborator

@marksem marksem left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Shouldn't offsetToUniversal have been changed to something like hasOffsetToUniversal ?

precedesDirectly appears to be missing annotations. This is because it is not declared anywhere, but only referenced as the inverse of followsDirectly.

Why is latitude an object property as well as a data property when I view in protege? Ah, b/c its range is xsd:double, and all the datatypes are classes now, at least according to Protege. Same issue for longitude, sequence, baseConversionFactor, and more.

@rjyounes
Copy link
Collaborator Author

rjyounes commented Sep 2, 2021

I just noticed that all the datatypes are classes in Protege. That's an error we need to track down. They're also shown as datatypes. It's possibly a Protege bug. Do you have time to look into that, since you know Protege better than I do?

You're right about offsetToUniversal. And I'll check on precedesDirectly. Good catches!

@rjyounes rjyounes removed the request for review from daliadahleh September 2, 2021 19:05
@rjyounes rjyounes changed the base branch from develop to release-10.0.0 September 2, 2021 19:08
@rjyounes
Copy link
Collaborator Author

rjyounes commented Sep 2, 2021

Changed target branch from develop to release-10.0.0. This PR was created before the latter was split off from the former; it now needs to be merged into the release branch, and will be merged to develop along with all other commits on the release branch.

@marksem
Copy link
Collaborator

marksem commented Sep 3, 2021

@rjyounes , yes I can investigate to see if Protege is doing something wrong, or if it is a logical entailment somehow.

Restore inadvertently deleted precedesDirectly predicate; change offsetToUniversal to hasOffsetToUniversal; tweak a few definitions.
@rjyounes
Copy link
Collaborator Author

rjyounes commented Sep 3, 2021

Fixed offsetToUniversal and restored precedesDirectly.

@rjyounes rjyounes requested a review from marksem September 3, 2021 17:32
@rjyounes
Copy link
Collaborator Author

rjyounes commented Sep 3, 2021

@marksem The ontology changes we discussed are ready for re-review. Then we're awaiting your investigation of the Protege issue.

@rjyounes
Copy link
Collaborator Author

rjyounes commented Sep 3, 2021

@marksem @sa-bpelakh I now recall that I've seen this problem before, and it's a protege bug. The relevant OWL is:

gist:numericValue
	a owl:DatatypeProperty ;
	rdfs:domain gist:Magnitude ;
	rdfs:range [
		owl:unionOf (
			owl:rational
			owl:real
			xsd:byte
			xsd:decimal
			xsd:double
			xsd:float
			xsd:int
			xsd:integer
			xsd:long
			xsd:negativeInteger
			xsd:nonNegativeInteger
			xsd:nonPositiveInteger
			xsd:positiveInteger
			xsd:short
			xsd:unsignedByte
			xsd:unsignedInt
			xsd:unsignedLong
			xsd:unsignedShort
		) ;
	] ;
        .

This is valid OWL because the range of owl:unionOf is rdf:List. Protege doesn't handle it properly. I've checked out TBC and it has no problem with it. This is very unfortunate because many of our users will view the ontology in Protege. Thoughts? @sa-bpelakh We could add a note to the property, at least.

I've added issue #552 and assigned it to @sa-bpelakh for this because it has nothing to do with local name changes. @marksem If you accept my other changes, can you please approve the PR? Thanks.

@sa-bpelakh
Copy link
Collaborator

@marksem @sa-bpelakh I now recall that I've seen this problem before, and it's a protege bug. The relevant OWL is:

Should we remove rdfs:range and replace it w/ gist:rangeIncludes, so we document it but not confuse Protege? How important is this correction?

@marksem
Copy link
Collaborator

marksem commented Sep 3, 2021

Apparently Protege is ok with something like this:

<http://ns/myprop1> rdf:type owl:DatatypeProperty ;
                    rdfs:range [ rdf:type rdfs:Datatype ;
                                 owl:unionOf ( owl:rational
                                               owl:real
                                             )
                               ] .

So we're just missing the rdf:type rdfs:Datatype part and then we're all good.

@rjyounes
Copy link
Collaborator Author

rjyounes commented Sep 3, 2021

@marksem I've moved the Protege issue over to #552. I assigned it to myself, but feel free to reassign it to yourself if you have a chance to test it.

@rjyounes
Copy link
Collaborator Author

rjyounes commented Sep 7, 2021

The release note might be a bit confusing: I included a note about updates to the gist style guide, although those are not in this PR, in order to avoid one merge conflict.

@rjyounes rjyounes merged commit 6af84af into release-10.0.0 Sep 9, 2021
@rjyounes rjyounes deleted the feature/local_names branch September 9, 2021 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants