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.

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

Report: Adding first pass of built in vocab check #867

Merged
merged 8 commits into from
Sep 21, 2021
Merged

Conversation

matentzn
Copy link
Contributor

Resolves #835

  • docs/ have been added/updated
  • tests have been added/updated
  • mvn verify says all tests pass
  • mvn site says all JavaDocs correct
  • CHANGELOG.md has been updated

Adding a first check to prevent use of rdf:type in an axiom as a subject. Its less than what we wanted, but maybe lets just build the check up slowly slowly.

Copy link
Contributor

@beckyjackson beckyjackson left a comment

Choose a reason for hiding this comment

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

Query looks good and this is definitely a needed check in my opinion.

docs/report_queries/illegal_use_of_built_in_vocabulary.md Outdated Show resolved Hide resolved
robot-core/src/main/resources/report_profile.txt Outdated Show resolved Hide resolved
@matentzn matentzn requested a review from beckyjackson May 17, 2021 19:56
@matentzn
Copy link
Contributor Author

@beckyjackson thanks! PR updated!

@beckyjackson
Copy link
Contributor

Everything looks good. Are there any other builtins we want to include before merging this? Maybe rdfs:subClassOf, etc?

Copy link
Contributor

@beckyjackson beckyjackson 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. I also want @jamesaoverton to take a look before merging.

@jamesaoverton jamesaoverton merged commit 6040748 into master Sep 21, 2021
@jamesaoverton jamesaoverton deleted the issue835 branch September 21, 2021 16:17
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.

New ROBOT report checks for problematic assertions about built-ins
3 participants