{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:L45RHWGTD5QNZESK452R4JFWWD","short_pith_number":"pith:L45RHWGT","canonical_record":{"source":{"id":"2506.18559","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-23T12:11:15Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5c938f0251766bd6ef07db790b637d36f96220496fbe1d869e532ab8726d54ee","abstract_canon_sha256":"7bcff28f8051f981641a221a575ada4b1e64acfb9f704a2facef4ec1b67a93fc"},"schema_version":"1.0"},"canonical_sha256":"5f3b13d8d31f60dc924ae7751e24b6b0d0a79b185dbbc591dafb8efa4a30307d","source":{"kind":"arxiv","id":"2506.18559","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.18559","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"arxiv_version","alias_value":"2506.18559v1","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.18559","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"pith_short_12","alias_value":"L45RHWGTD5QN","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"L45RHWGTD5QNZESK","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"L45RHWGT","created_at":"2026-07-05T11:25:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:L45RHWGTD5QNZESK452R4JFWWD","target":"record","payload":{"canonical_record":{"source":{"id":"2506.18559","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-23T12:11:15Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5c938f0251766bd6ef07db790b637d36f96220496fbe1d869e532ab8726d54ee","abstract_canon_sha256":"7bcff28f8051f981641a221a575ada4b1e64acfb9f704a2facef4ec1b67a93fc"},"schema_version":"1.0"},"canonical_sha256":"5f3b13d8d31f60dc924ae7751e24b6b0d0a79b185dbbc591dafb8efa4a30307d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:25:52.132235Z","signature_b64":"PgjwKU/KeaBB0b09anV9rwi3TxjQXFLprkZTYtr089KHst4si+f2xSc4jpJtskS8c6C3m6P+a0rp8ffuca2nAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5f3b13d8d31f60dc924ae7751e24b6b0d0a79b185dbbc591dafb8efa4a30307d","last_reissued_at":"2026-07-05T11:25:52.131829Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:25:52.131829Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.18559","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-05T11:25:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oYnDBkduFraQ+d9OADkeaQrluUJuMMUoVudf8V3QrYrph1euypYB8MWxItQhVy/8F3xugTod77TNr/wY0rzZCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T17:17:50.657539Z"},"content_sha256":"533d4b219e5b44f18be802855455205602cc2d8b148a969ede3846824a680a0d","schema_version":"1.0","event_id":"sha256:533d4b219e5b44f18be802855455205602cc2d8b148a969ede3846824a680a0d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:L45RHWGTD5QNZESK452R4JFWWD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Hong Qing Yu","submitted_at":"2025-06-23T12:11:15Z","abstract_excerpt":"Large language models excel at generating fluent text but frequently struggle with structured reasoning involving temporal constraints, causal relationships, and probabilistic reasoning. To address these limitations, we propose Temporal Causal Probabilistic Description Logic (T-CPDL), an integrated framework that extends traditional Description Logic with temporal interval operators, explicit causal relationships, and probabilistic annotations. We present two distinct variants of T-CPDL: one capturing qualitative temporal relationships through Allen's interval algebra, and another variant enri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.18559","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/2506.18559/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-05T11:25:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0LHAAvs0A93iKygX3gKukrb3F395uIOG2ILexxzmHZL97oCRTNuab7EImdVENIkqvlyXF7vDGOUD9s/P794+AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T17:17:50.658064Z"},"content_sha256":"69534ed934869af6102b301e3242cd38b6acb011b5147096b77f2c8769eabdc3","schema_version":"1.0","event_id":"sha256:69534ed934869af6102b301e3242cd38b6acb011b5147096b77f2c8769eabdc3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L45RHWGTD5QNZESK452R4JFWWD/bundle.json","state_url":"https://pith.science/pith/L45RHWGTD5QNZESK452R4JFWWD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L45RHWGTD5QNZESK452R4JFWWD/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-07T17:17:50Z","links":{"resolver":"https://pith.science/pith/L45RHWGTD5QNZESK452R4JFWWD","bundle":"https://pith.science/pith/L45RHWGTD5QNZESK452R4JFWWD/bundle.json","state":"https://pith.science/pith/L45RHWGTD5QNZESK452R4JFWWD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L45RHWGTD5QNZESK452R4JFWWD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:L45RHWGTD5QNZESK452R4JFWWD","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":"7bcff28f8051f981641a221a575ada4b1e64acfb9f704a2facef4ec1b67a93fc","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-23T12:11:15Z","title_canon_sha256":"5c938f0251766bd6ef07db790b637d36f96220496fbe1d869e532ab8726d54ee"},"schema_version":"1.0","source":{"id":"2506.18559","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.18559","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"arxiv_version","alias_value":"2506.18559v1","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.18559","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"pith_short_12","alias_value":"L45RHWGTD5QN","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"L45RHWGTD5QNZESK","created_at":"2026-07-05T11:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"L45RHWGT","created_at":"2026-07-05T11:25:52Z"}],"graph_snapshots":[{"event_id":"sha256:69534ed934869af6102b301e3242cd38b6acb011b5147096b77f2c8769eabdc3","target":"graph","created_at":"2026-07-05T11:25:52Z","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/2506.18559/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models excel at generating fluent text but frequently struggle with structured reasoning involving temporal constraints, causal relationships, and probabilistic reasoning. To address these limitations, we propose Temporal Causal Probabilistic Description Logic (T-CPDL), an integrated framework that extends traditional Description Logic with temporal interval operators, explicit causal relationships, and probabilistic annotations. We present two distinct variants of T-CPDL: one capturing qualitative temporal relationships through Allen's interval algebra, and another variant enri","authors_text":"Hong Qing Yu","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-23T12:11:15Z","title":"T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.18559","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:533d4b219e5b44f18be802855455205602cc2d8b148a969ede3846824a680a0d","target":"record","created_at":"2026-07-05T11:25:52Z","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":"7bcff28f8051f981641a221a575ada4b1e64acfb9f704a2facef4ec1b67a93fc","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-23T12:11:15Z","title_canon_sha256":"5c938f0251766bd6ef07db790b637d36f96220496fbe1d869e532ab8726d54ee"},"schema_version":"1.0","source":{"id":"2506.18559","kind":"arxiv","version":1}},"canonical_sha256":"5f3b13d8d31f60dc924ae7751e24b6b0d0a79b185dbbc591dafb8efa4a30307d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5f3b13d8d31f60dc924ae7751e24b6b0d0a79b185dbbc591dafb8efa4a30307d","first_computed_at":"2026-07-05T11:25:52.131829Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:25:52.131829Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PgjwKU/KeaBB0b09anV9rwi3TxjQXFLprkZTYtr089KHst4si+f2xSc4jpJtskS8c6C3m6P+a0rp8ffuca2nAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:25:52.132235Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.18559","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:533d4b219e5b44f18be802855455205602cc2d8b148a969ede3846824a680a0d","sha256:69534ed934869af6102b301e3242cd38b6acb011b5147096b77f2c8769eabdc3"],"state_sha256":"a844480b25fc591954747c1d1a6e9deaebd4d174802e0ef4b1dfb9bfce51c156"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QgVBLu+J2Pnp3m/oDvOtpNyO3IgE/btWelyCilR5dQ9PXnBt7TVmbXkcojIPUgsaP7sbd5n7MivXfmD7k2B6AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T17:17:50.662777Z","bundle_sha256":"12ad584ad26012ff0cf4dc572988cc1422776266ab860281b2ba94850343527a"}}