ge-high-assurance / RACK

DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
BSD 3-Clause "New" or "Revised" License
19 stars 6 forks source link

Make SemTK cardinality checks accessible by RACK tools #986

Open weisenje opened 11 months ago

weisenje commented 11 months ago

Background: Users can access cardinality restriction violations (instances with too few/many of a given property) in the SemTK SPARQLgraph UI. We now want to make this violation information accessible to other tools in the RACK ecosystem.

Acceptance Criteria:

weisenje commented 11 months ago

@glguy: semtk3.get_cardinality_violations() is now in place. Let us know if you'll be able to add to RACK CLI for Release 13.

glguy commented 11 months ago

I'll jump on it

weisenje commented 11 months ago

Added "Cardinality checker" button to RACK UI Verify tab - this opens SPARQLgraph directly to the cardinality checker.

SPARQLgraph sometimes times out when querying for cardinality violations (dialog below). @cuddihyge is it possible to increase the timeout to avoid this? image

weisenje commented 11 months ago

The above timeout is a general Docker problem - unrelated to cardinality checking - ignoring for now

weisenje commented 10 months ago

@glguy, could you please document the new feature rack data cardinality on the RACK CLI Wiki?