-
Notifications
You must be signed in to change notification settings - Fork 34
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Designate action:Action and core:Event disjoint
In an OWL-only sense, the ontology portion of this patch could have been accomplished by adding one triple to `action:Action`. For the sake of symmetry and explicitness, `core:Event` also picked up the `owl:disjointWith` statement. To satisfy OWL syntactic requirements, a stub reference to `action:Action` was added, as was done for `types:Dictionary` for Issue 541 (discussed in PR 542). To enforce disjointedness with SHACL, a new independent shape is added, `action:Action-disjointWith-Event-shape`. The shape is spelled using an anonymous node shape to avoid a multiple-inheritance issue: * SHACL syntactically requires the subject of a triple with `sh:not` as predicate be a blank node. * Separately, SHACL also only permits a shape to have up to one triple with `sh:not` as predicate. Hence, if the `action.ttl` file were included twice in some graph, SHACL-SHACL validation would fail, because the identically-written blank nodes that are `sh:not` objects would not resolve to the same node. Using an anonymous wrapping `sh:NodeShape` avoids this issue. (Multiple inheritance would now cause some redundant processing to occur, but SHACL-SHACL validation would pass.) A follow-on patch will regenerate Make-managed files. References: * #563 * #542 * https://www.w3.org/TR/shacl/#shacl-shacl Signed-off-by: Alex Nelson <alexander.nelson@nist.gov>
- Loading branch information
1 parent
9727fe3
commit 77cd47d
Showing
5 changed files
with
61 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,28 @@ | ||
{ | ||
"@context": { | ||
"kb": "http://example.org/kb/", | ||
"action": "https://ontology.unifiedcyberontology.org/uco/action/", | ||
"core": "https://ontology.unifiedcyberontology.org/uco/core/", | ||
"xsd": "http://www.w3.org/2001/XMLSchema#" | ||
}, | ||
"@graph": [ | ||
{ | ||
"@id": "kb:Action-0-03ee1fe6-12cf-4a35-b7dd-06d4e69369b5", | ||
"@type": [ | ||
"action:Action", | ||
"core:Event" | ||
], | ||
"rdfs:comment": "This node will trigger an XFAIL for designating itself an Action and Event, which are disjoint classes." | ||
}, | ||
{ | ||
"@id": "kb:Action-1-763c1ff2-d18d-427b-aa82-30d90701a644", | ||
"@type": "action:Action", | ||
"rdfs:comment": "This node should pass validation." | ||
}, | ||
{ | ||
"@id": "kb:Event-1-ee9450b6-3535-473d-984d-17a91408a54f", | ||
"@type": "event:Event", | ||
"rdfs:comment": "This node should pass validation." | ||
} | ||
] | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters