{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2008:IWOIE3DDFXEGIJ3JT75TOXTM7T","short_pith_number":"pith:IWOIE3DD","canonical_record":{"source":{"id":"0809.0680","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2008-09-03T17:38:32Z","cross_cats_sorted":["cs.IR"],"title_canon_sha256":"f0812bcd1f573374b1822e97b264384479a5d574d2a4ba1e4475ff9b02f88adb","abstract_canon_sha256":"c23f6dbebeafd61777aab0fee7297207bb505357759d4b9e4f3a46ef4ce509c6"},"schema_version":"1.0"},"canonical_sha256":"459c826c632dc86427699ffb375e6cfce864b31bc2e5f92980c2fb85d9dc7e31","source":{"kind":"arxiv","id":"0809.0680","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.0680","created_at":"2026-07-04T15:14:03Z"},{"alias_kind":"arxiv_version","alias_value":"0809.0680v1","created_at":"2026-07-04T15:14:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.0680","created_at":"2026-07-04T15:14:03Z"},{"alias_kind":"pith_short_12","alias_value":"IWOIE3DDFXEG","created_at":"2026-07-04T15:14:03Z"},{"alias_kind":"pith_short_16","alias_value":"IWOIE3DDFXEGIJ3J","created_at":"2026-07-04T15:14:03Z"},{"alias_kind":"pith_short_8","alias_value":"IWOIE3DD","created_at":"2026-07-04T15:14:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2008:IWOIE3DDFXEGIJ3JT75TOXTM7T","target":"record","payload":{"canonical_record":{"source":{"id":"0809.0680","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2008-09-03T17:38:32Z","cross_cats_sorted":["cs.IR"],"title_canon_sha256":"f0812bcd1f573374b1822e97b264384479a5d574d2a4ba1e4475ff9b02f88adb","abstract_canon_sha256":"c23f6dbebeafd61777aab0fee7297207bb505357759d4b9e4f3a46ef4ce509c6"},"schema_version":"1.0"},"canonical_sha256":"459c826c632dc86427699ffb375e6cfce864b31bc2e5f92980c2fb85d9dc7e31","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T15:14:03.943628Z","signature_b64":"zXBHtlFdcUGNzDHNJqR6bIEyK6J9IUflHU8HYLUomRC5UeGIgIIX6iuqs9pixfZIGrW6rI4lmIyXBpEmg0VxCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"459c826c632dc86427699ffb375e6cfce864b31bc2e5f92980c2fb85d9dc7e31","last_reissued_at":"2026-07-04T15:14:03.943269Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T15:14:03.943269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0809.0680","source_version":1,"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-04T15:14:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jq+xh5fxXRBxAR7Rr503PT7oLnjp6hZfI5z/BwCzh+yNaVgGnRaWB9yiKw/7NLE4y2mVYaCjhBJPvAjVpPktDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T08:21:57.018797Z"},"content_sha256":"ded583ff7b59f6e1243ecc2eb20bdaf7ded781ec13f7a1b8e139b256a943300c","schema_version":"1.0","event_id":"sha256:ded583ff7b59f6e1243ecc2eb20bdaf7ded781ec13f7a1b8e139b256a943300c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2008:IWOIE3DDFXEGIJ3JT75TOXTM7T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Prolog Interface to the Unstructured Information Management Architecture","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IR"],"primary_cat":"cs.SE","authors_text":"Adam Lally, David Ferrucci, Paul Fodor","submitted_at":"2008-09-03T17:38:32Z","abstract_excerpt":"In this paper we describe the design and implementation of the Prolog interface to the Unstructured Information Management Architecture (UIMA) and some of its applications in natural language processing. The UIMA Prolog interface translates unstructured data and the UIMA Common Analysis Structure (CAS) into a Prolog knowledge base, over which, the developers write rules and use resolution theorem proving to search and generate new annotations over the unstructured data. These rules can explore all the previous UIMA annotations (such as, the syntactic structure, parsing statistics) and external"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.0680","kind":"arxiv","version":1},"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/0809.0680/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-04T15:14:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3G+Nvqe7ewZfXUpfBUIWnabFjjivGccWvu+gKPhVtty+sJkPiZ8olzErnKyvU7om1DdA1KqvtGWc6dYA4U86AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T08:21:57.019160Z"},"content_sha256":"bab8d6ee405a45b9b44e9609df7cc555d6a85f327aaf6eaa59582798886657d5","schema_version":"1.0","event_id":"sha256:bab8d6ee405a45b9b44e9609df7cc555d6a85f327aaf6eaa59582798886657d5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IWOIE3DDFXEGIJ3JT75TOXTM7T/bundle.json","state_url":"https://pith.science/pith/IWOIE3DDFXEGIJ3JT75TOXTM7T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IWOIE3DDFXEGIJ3JT75TOXTM7T/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-07-07T08:21:57Z","links":{"resolver":"https://pith.science/pith/IWOIE3DDFXEGIJ3JT75TOXTM7T","bundle":"https://pith.science/pith/IWOIE3DDFXEGIJ3JT75TOXTM7T/bundle.json","state":"https://pith.science/pith/IWOIE3DDFXEGIJ3JT75TOXTM7T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IWOIE3DDFXEGIJ3JT75TOXTM7T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:IWOIE3DDFXEGIJ3JT75TOXTM7T","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":"c23f6dbebeafd61777aab0fee7297207bb505357759d4b9e4f3a46ef4ce509c6","cross_cats_sorted":["cs.IR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2008-09-03T17:38:32Z","title_canon_sha256":"f0812bcd1f573374b1822e97b264384479a5d574d2a4ba1e4475ff9b02f88adb"},"schema_version":"1.0","source":{"id":"0809.0680","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.0680","created_at":"2026-07-04T15:14:03Z"},{"alias_kind":"arxiv_version","alias_value":"0809.0680v1","created_at":"2026-07-04T15:14:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.0680","created_at":"2026-07-04T15:14:03Z"},{"alias_kind":"pith_short_12","alias_value":"IWOIE3DDFXEG","created_at":"2026-07-04T15:14:03Z"},{"alias_kind":"pith_short_16","alias_value":"IWOIE3DDFXEGIJ3J","created_at":"2026-07-04T15:14:03Z"},{"alias_kind":"pith_short_8","alias_value":"IWOIE3DD","created_at":"2026-07-04T15:14:03Z"}],"graph_snapshots":[{"event_id":"sha256:bab8d6ee405a45b9b44e9609df7cc555d6a85f327aaf6eaa59582798886657d5","target":"graph","created_at":"2026-07-04T15:14:03Z","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/0809.0680/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper we describe the design and implementation of the Prolog interface to the Unstructured Information Management Architecture (UIMA) and some of its applications in natural language processing. The UIMA Prolog interface translates unstructured data and the UIMA Common Analysis Structure (CAS) into a Prolog knowledge base, over which, the developers write rules and use resolution theorem proving to search and generate new annotations over the unstructured data. These rules can explore all the previous UIMA annotations (such as, the syntactic structure, parsing statistics) and external","authors_text":"Adam Lally, David Ferrucci, Paul Fodor","cross_cats":["cs.IR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2008-09-03T17:38:32Z","title":"The Prolog Interface to the Unstructured Information Management Architecture"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.0680","kind":"arxiv","version":1},"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:ded583ff7b59f6e1243ecc2eb20bdaf7ded781ec13f7a1b8e139b256a943300c","target":"record","created_at":"2026-07-04T15:14:03Z","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":"c23f6dbebeafd61777aab0fee7297207bb505357759d4b9e4f3a46ef4ce509c6","cross_cats_sorted":["cs.IR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2008-09-03T17:38:32Z","title_canon_sha256":"f0812bcd1f573374b1822e97b264384479a5d574d2a4ba1e4475ff9b02f88adb"},"schema_version":"1.0","source":{"id":"0809.0680","kind":"arxiv","version":1}},"canonical_sha256":"459c826c632dc86427699ffb375e6cfce864b31bc2e5f92980c2fb85d9dc7e31","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"459c826c632dc86427699ffb375e6cfce864b31bc2e5f92980c2fb85d9dc7e31","first_computed_at":"2026-07-04T15:14:03.943269Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T15:14:03.943269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zXBHtlFdcUGNzDHNJqR6bIEyK6J9IUflHU8HYLUomRC5UeGIgIIX6iuqs9pixfZIGrW6rI4lmIyXBpEmg0VxCQ==","signature_status":"signed_v1","signed_at":"2026-07-04T15:14:03.943628Z","signed_message":"canonical_sha256_bytes"},"source_id":"0809.0680","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ded583ff7b59f6e1243ecc2eb20bdaf7ded781ec13f7a1b8e139b256a943300c","sha256:bab8d6ee405a45b9b44e9609df7cc555d6a85f327aaf6eaa59582798886657d5"],"state_sha256":"0039f982a7f404501a944068dfd7b5c69de86f9f6a5459f1fc77141042b99b6f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mbM2XRl1rtpLIJyLkJ9Zbz1JLvn4QYXLs/1rqD31eLsWbWjQbrpBG1e/x2+rtDADNyu6NNkKW5meLsH23pLuAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T08:21:57.021076Z","bundle_sha256":"fdb7d027a68261ead29b6002f776f162ad2bdc2a10ba751d9a751f12f0e1ef49"}}