{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:RCHKTXDFDIRDUKFYWC5C3CZ3SR","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":"5af748cb40664e988f4fb18e1889ef4ea3911936993013c58d51644bdd05e789","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-06T20:38:35Z","title_canon_sha256":"8710bda91c437d677a3ab1110ba65f83839f2fb692703ebc67607dfbd4ec79e0"},"schema_version":"1.0","source":{"id":"1707.01959","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.01959","created_at":"2026-05-18T00:40:23Z"},{"alias_kind":"arxiv_version","alias_value":"1707.01959v2","created_at":"2026-05-18T00:40:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01959","created_at":"2026-05-18T00:40:23Z"},{"alias_kind":"pith_short_12","alias_value":"RCHKTXDFDIRD","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RCHKTXDFDIRDUKFY","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RCHKTXDF","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:2d9b404ec29a2eeb8a2d396cd2ce23bc601721e2155d4693095de57c020d582e","target":"graph","created_at":"2026-05-18T00:40:23Z","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":"Hybrid MKNF knowledge bases have been considered one of the dominant approaches to combining open world ontology languages with closed world rule-based languages. Currently, the only known inference methods are based on the approach of guess-and-verify, while most modern SAT/ASP solvers are built under the DPLL architecture. The central impediment here is that it is not clear what constitutes a constraint propagator, a key component employed in any DPLL-based solver. In this paper, we address this problem by formulating the notion of unfounded sets for nondisjunctive hybrid MKNF knowledge base","authors_text":"Fangfang Liu, Jia-Huai You, Jianmin Ji","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-06T20:38:35Z","title":"Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.01959","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:435d695774e33ce4feffc3173190501df5c82cda077b25bd3d7f241074309ce6","target":"record","created_at":"2026-05-18T00:40:23Z","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":"5af748cb40664e988f4fb18e1889ef4ea3911936993013c58d51644bdd05e789","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-06T20:38:35Z","title_canon_sha256":"8710bda91c437d677a3ab1110ba65f83839f2fb692703ebc67607dfbd4ec79e0"},"schema_version":"1.0","source":{"id":"1707.01959","kind":"arxiv","version":2}},"canonical_sha256":"888ea9dc651a223a28b8b0ba2d8b3b944bd5b68c8dcc357b9f8ca1756404f9a3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"888ea9dc651a223a28b8b0ba2d8b3b944bd5b68c8dcc357b9f8ca1756404f9a3","first_computed_at":"2026-05-18T00:40:23.569690Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:23.569690Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UCACZiaJqGsH2qxiTctV5iTwkergsrCz0prDuO5SkHsBC/jtN7GzEhqI8ecOC33+Jk57HiJEgXl/7HcKY7YFAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:23.570287Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.01959","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:435d695774e33ce4feffc3173190501df5c82cda077b25bd3d7f241074309ce6","sha256:2d9b404ec29a2eeb8a2d396cd2ce23bc601721e2155d4693095de57c020d582e"],"state_sha256":"278366e64830603a28cf6a0c087f9650aabf43e1ca9299c091660bdf7786ce86"}