Skip to content
Branch: master
Find file History
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
report Change 'equivalent pair' report check to ERROR Jan 4, 2019
DO_no_defs.rq Rename SPARQL folder Sep 17, 2018
README.md Update README.md Jun 27, 2019
def-report.rq Rename SPARQL folder Sep 17, 2018
dnc-verify-connectivity.rq Rename SPARQL folder Sep 17, 2018
dnc-verify-single-parent.rq Rename SPARQL folder Sep 17, 2018
doid-report.rq Rename SPARQL folder Sep 17, 2018
edit-verify-no-blank-annotations.rq Rename SPARQL folder Sep 17, 2018
get-reference-types.rq Update build processes Sep 15, 2019
import-report.rq Rename SPARQL folder Sep 17, 2018
logical-definitions-report.rq Rename SPARQL folder Sep 17, 2018
remove-ref-type.ru Update build processes Sep 15, 2019
syndrome_list.rq
verify-logical-axioms.rq Add verify for logical axioms Sep 30, 2018
verify-no-cycles.rq Rename SPARQL folder Sep 17, 2018
verify-no-orphans.rq Rename SPARQL folder Sep 17, 2018
xref-report-all.rq added all xrefs to report Feb 4, 2019
xref-report.rq Rename SPARQL folder Sep 17, 2018

README.md

SPARQL Queries

There are currently two types of SPARQL queries utilized for the DO ROBOT commands:

  1. Verification queries
  2. Reporting queries

The verification queries are used with robot verify and the reporting queries are used with robot query.

To add another verifcation query, simply create a SPARQL file with the name verify-*.rq to check doid.obo and doid.owl files. To add another reporting query, the file name should follow *-report.rq and not begin with verify.

When you make release, all outputs will be generated in the build directory for review. If verify returns results, the build will fail. All verification queries are also ran in our Travis CI.

You can’t perform that action at this time.