{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3RILYKBIC4IVZQ47L5NE34JSZC","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":"c366e55536da4eb9922094c7df9b5685ad6d2f8b94010fd2533cdb852bcd1a01","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-07-18T17:37:13Z","title_canon_sha256":"75ea408ad345d8c07e19c93f96b2641959e6cba4276f1ab24c5aa3cd2d5cbdd8"},"schema_version":"1.0","source":{"id":"1907.08176","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.08176","created_at":"2026-07-05T00:42:14Z"},{"alias_kind":"arxiv_version","alias_value":"1907.08176v1","created_at":"2026-07-05T00:42:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.08176","created_at":"2026-07-05T00:42:14Z"},{"alias_kind":"pith_short_12","alias_value":"3RILYKBIC4IV","created_at":"2026-07-05T00:42:14Z"},{"alias_kind":"pith_short_16","alias_value":"3RILYKBIC4IVZQ47","created_at":"2026-07-05T00:42:14Z"},{"alias_kind":"pith_short_8","alias_value":"3RILYKBI","created_at":"2026-07-05T00:42:14Z"}],"graph_snapshots":[{"event_id":"sha256:543824f6ae8f80f23a44f974ddd4333a7827bb9bcb0d62e1b48a59f21c774154","target":"graph","created_at":"2026-07-05T00:42:14Z","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/1907.08176/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The inherent difficulty of knowledge specification and the lack of trained specialists are some of the key obstacles on the way to making intelligent systems based on the knowledge representation and reasoning (KRR) paradigm commonplace. Knowledge and query authoring using natural language, especially controlled natural language (CNL), is one of the promising approaches that could enable domain experts, who are not trained logicians, to both create formal knowledge and query it. In previous work, we introduced the KALM system (Knowledge Authoring Logic Machine) that supports knowledge authorin","authors_text":"Michael Kifer, Paul Fodor, Tiantian Gao","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-07-18T17:37:13Z","title":"Querying Knowledge via Multi-Hop English Questions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.08176","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:0dc57847e8de30e88aa18d79f4d1c483a31d043d221d5550b39c262e815e2164","target":"record","created_at":"2026-07-05T00:42:14Z","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":"c366e55536da4eb9922094c7df9b5685ad6d2f8b94010fd2533cdb852bcd1a01","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-07-18T17:37:13Z","title_canon_sha256":"75ea408ad345d8c07e19c93f96b2641959e6cba4276f1ab24c5aa3cd2d5cbdd8"},"schema_version":"1.0","source":{"id":"1907.08176","kind":"arxiv","version":1}},"canonical_sha256":"dc50bc282817115cc39f5f5a4df132c8923a92a3dbb7d88476d07fb275ff9c9c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc50bc282817115cc39f5f5a4df132c8923a92a3dbb7d88476d07fb275ff9c9c","first_computed_at":"2026-07-05T00:42:14.840619Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:42:14.840619Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9La3utv4K5/0/0OZ0ztlVCXtAaIejqOyjylPrhAZFNfRhoJH3SDljLNXVP1luoA1sey8LIQAwR01EMGfUIO2DA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:42:14.841008Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.08176","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0dc57847e8de30e88aa18d79f4d1c483a31d043d221d5550b39c262e815e2164","sha256:543824f6ae8f80f23a44f974ddd4333a7827bb9bcb0d62e1b48a59f21c774154"],"state_sha256":"af3ac5432b61e4578b4a6244cbfab2bf63a952369dc75eea6a3b9531c47a5e4f"}