{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:JTXU422Q2FKS5F5VWWS7UEFRX3","short_pith_number":"pith:JTXU422Q","canonical_record":{"source":{"id":"2205.01532","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-03T14:32:11Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0da5d9de48aab066a061925543ddac9f04978a5a9aed4bdd39ce2b8439e758ec","abstract_canon_sha256":"7407eb6150bb7d4aa8c24da2437318bf1a8da0e6655cf794a3091fc81e295aeb"},"schema_version":"1.0"},"canonical_sha256":"4cef4e6b50d1552e97b5b5a5fa10b1bec6f5d3b10921a6a24a38e0543217f2b3","source":{"kind":"arxiv","id":"2205.01532","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.01532","created_at":"2026-07-05T04:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"2205.01532v2","created_at":"2026-07-05T04:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.01532","created_at":"2026-07-05T04:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"JTXU422Q2FKS","created_at":"2026-07-05T04:37:37Z"},{"alias_kind":"pith_short_16","alias_value":"JTXU422Q2FKS5F5V","created_at":"2026-07-05T04:37:37Z"},{"alias_kind":"pith_short_8","alias_value":"JTXU422Q","created_at":"2026-07-05T04:37:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:JTXU422Q2FKS5F5VWWS7UEFRX3","target":"record","payload":{"canonical_record":{"source":{"id":"2205.01532","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-03T14:32:11Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0da5d9de48aab066a061925543ddac9f04978a5a9aed4bdd39ce2b8439e758ec","abstract_canon_sha256":"7407eb6150bb7d4aa8c24da2437318bf1a8da0e6655cf794a3091fc81e295aeb"},"schema_version":"1.0"},"canonical_sha256":"4cef4e6b50d1552e97b5b5a5fa10b1bec6f5d3b10921a6a24a38e0543217f2b3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:37:37.251103Z","signature_b64":"V7bh+OB6X+aoFhAWiSPc71g0VJ6Ru94TQSIjZsY924fFG4zNdKxcTrANnB2MoKJUWmA/YwkhqLfDUbVZNOaCDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4cef4e6b50d1552e97b5b5a5fa10b1bec6f5d3b10921a6a24a38e0543217f2b3","last_reissued_at":"2026-07-05T04:37:37.250648Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:37:37.250648Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.01532","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T04:37:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M8POSp1WmrdAJnmz94t1IKGY3j/kJsIx/4fMNY++j+zixTxWrtNImO81T4NSrWE6o2COqIP8HYuDI3FJ6FZDAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T14:54:02.767066Z"},"content_sha256":"953d18ebfc6c8fa1407ae256073ac4c4bbd89487cae441d862a1c4c8cb8eeec6","schema_version":"1.0","event_id":"sha256:953d18ebfc6c8fa1407ae256073ac4c4bbd89487cae441d862a1c4c8cb8eeec6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:JTXU422Q2FKS5F5VWWS7UEFRX3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Christian Neurohr, Lukas Westhofen, Maike Scholtes, Martin Butz, Michael Schuldes","submitted_at":"2022-05-03T14:32:11Z","abstract_excerpt":"Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines. In the area of automated vehicles, recent advances suggest the ability to formalize and leverage relevant knowledge as a key enabler in handling the inherently open and complex context of the traffic world. This paper demonstrates ontologies to be a powerful tool for a) modeling and formalization of and b) reasoning about factors associated with criticality in the environment of automated vehicles. For this, we leverage the well-known 6-Lay"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.01532","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2205.01532/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T04:37:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MGv2JU4cRfXMKlnW0NzyKPLz63+6GShC9tK8/8XvYa9vjxT6pJz74oVjM9x38cXYF0PgZY9x/lu1wG4Qdb9QCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T14:54:02.767953Z"},"content_sha256":"302430d8a209fedb8d8f58e38e4a53af5478e6e867d3bc8ab07de2cea5f50b51","schema_version":"1.0","event_id":"sha256:302430d8a209fedb8d8f58e38e4a53af5478e6e867d3bc8ab07de2cea5f50b51"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JTXU422Q2FKS5F5VWWS7UEFRX3/bundle.json","state_url":"https://pith.science/pith/JTXU422Q2FKS5F5VWWS7UEFRX3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JTXU422Q2FKS5F5VWWS7UEFRX3/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-04T14:54:02Z","links":{"resolver":"https://pith.science/pith/JTXU422Q2FKS5F5VWWS7UEFRX3","bundle":"https://pith.science/pith/JTXU422Q2FKS5F5VWWS7UEFRX3/bundle.json","state":"https://pith.science/pith/JTXU422Q2FKS5F5VWWS7UEFRX3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JTXU422Q2FKS5F5VWWS7UEFRX3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:JTXU422Q2FKS5F5VWWS7UEFRX3","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7407eb6150bb7d4aa8c24da2437318bf1a8da0e6655cf794a3091fc81e295aeb","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-03T14:32:11Z","title_canon_sha256":"0da5d9de48aab066a061925543ddac9f04978a5a9aed4bdd39ce2b8439e758ec"},"schema_version":"1.0","source":{"id":"2205.01532","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.01532","created_at":"2026-07-05T04:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"2205.01532v2","created_at":"2026-07-05T04:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.01532","created_at":"2026-07-05T04:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"JTXU422Q2FKS","created_at":"2026-07-05T04:37:37Z"},{"alias_kind":"pith_short_16","alias_value":"JTXU422Q2FKS5F5V","created_at":"2026-07-05T04:37:37Z"},{"alias_kind":"pith_short_8","alias_value":"JTXU422Q","created_at":"2026-07-05T04:37:37Z"}],"graph_snapshots":[{"event_id":"sha256:302430d8a209fedb8d8f58e38e4a53af5478e6e867d3bc8ab07de2cea5f50b51","target":"graph","created_at":"2026-07-05T04:37:37Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2205.01532/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines. In the area of automated vehicles, recent advances suggest the ability to formalize and leverage relevant knowledge as a key enabler in handling the inherently open and complex context of the traffic world. This paper demonstrates ontologies to be a powerful tool for a) modeling and formalization of and b) reasoning about factors associated with criticality in the environment of automated vehicles. For this, we leverage the well-known 6-Lay","authors_text":"Christian Neurohr, Lukas Westhofen, Maike Scholtes, Martin Butz, Michael Schuldes","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-03T14:32:11Z","title":"Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.01532","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:953d18ebfc6c8fa1407ae256073ac4c4bbd89487cae441d862a1c4c8cb8eeec6","target":"record","created_at":"2026-07-05T04:37:37Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"7407eb6150bb7d4aa8c24da2437318bf1a8da0e6655cf794a3091fc81e295aeb","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-05-03T14:32:11Z","title_canon_sha256":"0da5d9de48aab066a061925543ddac9f04978a5a9aed4bdd39ce2b8439e758ec"},"schema_version":"1.0","source":{"id":"2205.01532","kind":"arxiv","version":2}},"canonical_sha256":"4cef4e6b50d1552e97b5b5a5fa10b1bec6f5d3b10921a6a24a38e0543217f2b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4cef4e6b50d1552e97b5b5a5fa10b1bec6f5d3b10921a6a24a38e0543217f2b3","first_computed_at":"2026-07-05T04:37:37.250648Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:37:37.250648Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V7bh+OB6X+aoFhAWiSPc71g0VJ6Ru94TQSIjZsY924fFG4zNdKxcTrANnB2MoKJUWmA/YwkhqLfDUbVZNOaCDA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:37:37.251103Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.01532","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:953d18ebfc6c8fa1407ae256073ac4c4bbd89487cae441d862a1c4c8cb8eeec6","sha256:302430d8a209fedb8d8f58e38e4a53af5478e6e867d3bc8ab07de2cea5f50b51"],"state_sha256":"8164f4d0a0e9aa76b85bd2ff64b38bdf622322aff515098eb2b19f9193e18110"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7NCyYuDLReYGwx55bnCEFNbDSADZG0/6m6QxQ11sqdiBvyi3UlujIKZbTS4V1Q5/fW3r6wAfQE6RWJBH9c66BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T14:54:02.773601Z","bundle_sha256":"69a7fdff2b6adfa28bba2d7685482054b03230dcd165b29bfb34646ef23c1fa4"}}