search

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

RACK ontology - ontologies for ARP, DO, MIL standards have inconsistent URIs #485

Open Robert-Adelard opened 3 years ago

Robert-Adelard commented 3 years ago

The ontologies for ARP-4754 and DO-178C are defined with URIs whose prefix is http://common. In contrast, the MIL-STD-881D ontology is defined with a URI prefix of http://arcos.rack.

uri "http://common/ARP-4754A" alias ARP-4754A.
uri "http://common/DO-178C" alias DO-178C.
uri "http://arcos.rack/MIL-STD-881D/MIL-STD-881D" alias m881D.

I don't think either prefix is a good choice - I would suggest something like http://standards or perhaps http://arcos.standards.

Robert-Adelard commented 3 years ago

See also #484, which might be related.

glguy commented 3 years ago

Current practice

External URLs

For reference these are the external URLs we rely upon.

SADL

These URLs are built into the SADL tooling

Turnstile

These URLs are part of the Turnstile overlay.

Data graphs

These URLs are used to identify datagraphs in the triple store.

Process documents

These URLs are use to identify the instances in the process document data.

Ontology overlays

These URLs are used to identify the ontology overlays.

RACK ontology

These URLs are used in defining the RACK ontology.