{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:KGCZYBF4P7JWDSCDNTBHMY5KEU","short_pith_number":"pith:KGCZYBF4","canonical_record":{"source":{"id":"1905.04422","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-11T02:02:55Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"ff9cc6d027b74beba32bacd1d21ea4fa9c6a57fbcbabea41c3d4f495cc00e023","abstract_canon_sha256":"e2f7f4b77f813637f1dda1117a770cd564cfef224cbdab047363ec636bccc359"},"schema_version":"1.0"},"canonical_sha256":"51859c04bc7fd361c8436cc27663aa2526e683877f1f0c983b0ea35e84976267","source":{"kind":"arxiv","id":"1905.04422","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.04422","created_at":"2026-05-17T23:46:24Z"},{"alias_kind":"arxiv_version","alias_value":"1905.04422v1","created_at":"2026-05-17T23:46:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04422","created_at":"2026-05-17T23:46:24Z"},{"alias_kind":"pith_short_12","alias_value":"KGCZYBF4P7JW","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"KGCZYBF4P7JWDSCD","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"KGCZYBF4","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:KGCZYBF4P7JWDSCDNTBHMY5KEU","target":"record","payload":{"canonical_record":{"source":{"id":"1905.04422","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-11T02:02:55Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"ff9cc6d027b74beba32bacd1d21ea4fa9c6a57fbcbabea41c3d4f495cc00e023","abstract_canon_sha256":"e2f7f4b77f813637f1dda1117a770cd564cfef224cbdab047363ec636bccc359"},"schema_version":"1.0"},"canonical_sha256":"51859c04bc7fd361c8436cc27663aa2526e683877f1f0c983b0ea35e84976267","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:24.973259Z","signature_b64":"KJHTnVL8HMySnQsfEPXJFaDfPAf5i+n6sBzEpaPTqDy8GiIzDMjaLyPzrJ2Bz7csVfXNMWPJynhOKw4zROlYBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51859c04bc7fd361c8436cc27663aa2526e683877f1f0c983b0ea35e84976267","last_reissued_at":"2026-05-17T23:46:24.972613Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:24.972613Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.04422","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-05-17T23:46:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2hKuvbw4DJTntZyHTdhBPx4p96zyjJhCwqY9T4oAp+bmiE4VjgETvJoHxN2YABP2rcm00FV5JCRQH40G+gb5Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T17:03:40.763566Z"},"content_sha256":"828a7a75b8d24f8cbfdacb7a03b8bcb47a24ff707a4346160210e812d0114fe3","schema_version":"1.0","event_id":"sha256:828a7a75b8d24f8cbfdacb7a03b8bcb47a24ff707a4346160210e812d0114fe3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:KGCZYBF4P7JWDSCDNTBHMY5KEU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Controlled Natural Languages and Default Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Tiantian Gao","submitted_at":"2019-05-11T02:02:55Z","abstract_excerpt":"Controlled natural languages (CNLs) are effective languages for knowledge representation and reasoning. They are designed based on certain natural languages with restricted lexicon and grammar. CNLs are unambiguous and simple as opposed to their base languages. They preserve the expressiveness and coherence of natural languages. In this report, we focus on a class of CNLs, called machine-oriented CNLs, which have well-defined semantics that can be deterministically translated into formal languages, such as Prolog, to do logical reasoning. Over the past 20 years, a number of machine-oriented CN"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04422","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":""},"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-05-17T23:46:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eIEkvfEtre4O6PlN9/+5MrkZtm0ImekfEFNJLO+3zrUOtXSZXWmuRPkGiJw/LCDyl51eU3Dm+eBu71ScXglUBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T17:03:40.763945Z"},"content_sha256":"e09f4ed474d697aab1a38867b40499cbce16dbe0ae0422d08d2dc673ac84ef69","schema_version":"1.0","event_id":"sha256:e09f4ed474d697aab1a38867b40499cbce16dbe0ae0422d08d2dc673ac84ef69"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KGCZYBF4P7JWDSCDNTBHMY5KEU/bundle.json","state_url":"https://pith.science/pith/KGCZYBF4P7JWDSCDNTBHMY5KEU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KGCZYBF4P7JWDSCDNTBHMY5KEU/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-05-25T17:03:40Z","links":{"resolver":"https://pith.science/pith/KGCZYBF4P7JWDSCDNTBHMY5KEU","bundle":"https://pith.science/pith/KGCZYBF4P7JWDSCDNTBHMY5KEU/bundle.json","state":"https://pith.science/pith/KGCZYBF4P7JWDSCDNTBHMY5KEU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KGCZYBF4P7JWDSCDNTBHMY5KEU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:KGCZYBF4P7JWDSCDNTBHMY5KEU","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":"e2f7f4b77f813637f1dda1117a770cd564cfef224cbdab047363ec636bccc359","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-11T02:02:55Z","title_canon_sha256":"ff9cc6d027b74beba32bacd1d21ea4fa9c6a57fbcbabea41c3d4f495cc00e023"},"schema_version":"1.0","source":{"id":"1905.04422","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.04422","created_at":"2026-05-17T23:46:24Z"},{"alias_kind":"arxiv_version","alias_value":"1905.04422v1","created_at":"2026-05-17T23:46:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04422","created_at":"2026-05-17T23:46:24Z"},{"alias_kind":"pith_short_12","alias_value":"KGCZYBF4P7JW","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"KGCZYBF4P7JWDSCD","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"KGCZYBF4","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:e09f4ed474d697aab1a38867b40499cbce16dbe0ae0422d08d2dc673ac84ef69","target":"graph","created_at":"2026-05-17T23:46:24Z","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"},"paper":{"abstract_excerpt":"Controlled natural languages (CNLs) are effective languages for knowledge representation and reasoning. They are designed based on certain natural languages with restricted lexicon and grammar. CNLs are unambiguous and simple as opposed to their base languages. They preserve the expressiveness and coherence of natural languages. In this report, we focus on a class of CNLs, called machine-oriented CNLs, which have well-defined semantics that can be deterministically translated into formal languages, such as Prolog, to do logical reasoning. Over the past 20 years, a number of machine-oriented CN","authors_text":"Tiantian Gao","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-11T02:02:55Z","title":"Controlled Natural Languages and Default Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04422","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:828a7a75b8d24f8cbfdacb7a03b8bcb47a24ff707a4346160210e812d0114fe3","target":"record","created_at":"2026-05-17T23:46:24Z","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":"e2f7f4b77f813637f1dda1117a770cd564cfef224cbdab047363ec636bccc359","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-11T02:02:55Z","title_canon_sha256":"ff9cc6d027b74beba32bacd1d21ea4fa9c6a57fbcbabea41c3d4f495cc00e023"},"schema_version":"1.0","source":{"id":"1905.04422","kind":"arxiv","version":1}},"canonical_sha256":"51859c04bc7fd361c8436cc27663aa2526e683877f1f0c983b0ea35e84976267","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"51859c04bc7fd361c8436cc27663aa2526e683877f1f0c983b0ea35e84976267","first_computed_at":"2026-05-17T23:46:24.972613Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:24.972613Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KJHTnVL8HMySnQsfEPXJFaDfPAf5i+n6sBzEpaPTqDy8GiIzDMjaLyPzrJ2Bz7csVfXNMWPJynhOKw4zROlYBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:24.973259Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.04422","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:828a7a75b8d24f8cbfdacb7a03b8bcb47a24ff707a4346160210e812d0114fe3","sha256:e09f4ed474d697aab1a38867b40499cbce16dbe0ae0422d08d2dc673ac84ef69"],"state_sha256":"6a142db6746315d94fed60ad3ade499547b84386c43108de7cb1fa5d91389b9f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p1fjySqWl2xDiBDfHpC1sUpi5UTRQMku5JabC07rKFAB4ror30sV8t5g3kEzPRVpUtZvlyRuZEHHi5kHUu5KDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T17:03:40.766737Z","bundle_sha256":"4b36bb711aa7c66ec0e3625c8992d33edfb1e6b128bb13371928460848abaa2a"}}