Issue 563: Designate action:Action and core:Event disjoint

[ajnelson-nist]

This Pull Request resolves all requirements of Issue #563 .

Coordination

• [x] Pull Request is against correct branch
• [x] Pull Request is in, or reverted to, Draft status before Solutions Approval vote has passed
• [x] CI passes in UCO feature branch against develop
• [x] CI passes in UCO current unstable branch (06e5d9d)
• [x] CI passes in CASE current unstable branch tracking UCO's unstable as submodule (b27a539)
• [x] Impact on SHACL validation reviewed for CASE-Corpora
• [x] Impact on SHACL validation remediated for CASE-Corpora (N/A)
• [x] Impact on SHACL validation reviewed for CASE-Examples
• [x] Impact on SHACL validation remediated for CASE-Examples (N/A)
• [x] Impact on SHACL validation reviewed for casework.github.io
• [x] Impact on SHACL validation remediated for casework.github.io
• [x] Milestone linked
• [x] Solutions Approval vote logged on corresponding Issue (once logged, can be taken out of Draft PR status)

[ajnelson-nist]

Note: I just force-pushed this branch to revise an incorrect description in the first commit's message.

[ajnelson-nist]

This PR is ready for merge.

[ajnelson-nist]

Anyone in @ucoProject/maintainers-uco may feel free to merge.

[ajnelson-nist]

Still a question: why defining an Action as

action:Action
  a owl:Class ;
  rdfs:isDefinedBy <https://ontology.unifiedcyberontology.org/uco/types> ;
  .

in core.ttl??

This is due to Section 5.8.1 of the OWL 2 syntax, specifically the statement "If a class with an IRI I occurs in some axiom in Ax, then I is declared in Ax as a class."

Ax in UCO's core.ttl does not include the axioms from action.ttl, because action.ttl imports core.ttl, not the other way around.