{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:BWRVIGW473T2EFIRSF7TW4ZTC3","short_pith_number":"pith:BWRVIGW4","canonical_record":{"source":{"id":"1602.05699","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-02-18T07:23:28Z","cross_cats_sorted":[],"title_canon_sha256":"aee77cc870feb0e167eba00c56d188d935399ccd95d7a0d5bf6857cc47d03aee","abstract_canon_sha256":"f2215432718bc914611d65ebd714b1c41ac447dd978717aee2756a4710f7324f"},"schema_version":"1.0"},"canonical_sha256":"0da3541adcfee7a21511917f3b733316eff2b4f01b83b6815a7d216a6937588a","source":{"kind":"arxiv","id":"1602.05699","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.05699","created_at":"2026-05-18T01:20:23Z"},{"alias_kind":"arxiv_version","alias_value":"1602.05699v1","created_at":"2026-05-18T01:20:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.05699","created_at":"2026-05-18T01:20:23Z"},{"alias_kind":"pith_short_12","alias_value":"BWRVIGW473T2","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"BWRVIGW473T2EFIR","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"BWRVIGW4","created_at":"2026-05-18T12:30:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:BWRVIGW473T2EFIRSF7TW4ZTC3","target":"record","payload":{"canonical_record":{"source":{"id":"1602.05699","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-02-18T07:23:28Z","cross_cats_sorted":[],"title_canon_sha256":"aee77cc870feb0e167eba00c56d188d935399ccd95d7a0d5bf6857cc47d03aee","abstract_canon_sha256":"f2215432718bc914611d65ebd714b1c41ac447dd978717aee2756a4710f7324f"},"schema_version":"1.0"},"canonical_sha256":"0da3541adcfee7a21511917f3b733316eff2b4f01b83b6815a7d216a6937588a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:20:23.464339Z","signature_b64":"LwT0oy+QUPjSJ+MYLMb6nxlKLhyy3whEvPEXR/6fbqctNdESUiEMEfsirhkVCvtOUpfEjLzep4J2WeWMoZuPDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0da3541adcfee7a21511917f3b733316eff2b4f01b83b6815a7d216a6937588a","last_reissued_at":"2026-05-18T01:20:23.463568Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:20:23.463568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.05699","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-18T01:20:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sQlwmkVZ1HO0yqtsE61ncl5dkiFoEUvGFZE2kQ5+AiQz7Uvt1fYBOqcVlF9i9BOoraeDFYlAHmDzRVHSGwERCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T10:31:57.048862Z"},"content_sha256":"60d5b76963355e2b68341c7e5d3dba868845b28038ddc96b3a8576f2a69ee7cf","schema_version":"1.0","event_id":"sha256:60d5b76963355e2b68341c7e5d3dba868845b28038ddc96b3a8576f2a69ee7cf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:BWRVIGW473T2EFIRSF7TW4ZTC3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Query Answering with Inconsistent Existential Rules under Stable Model Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Hai Wan, Haoran Huang, Heng Zhang, Peng Xiao, Yan Zhang","submitted_at":"2016-02-18T07:23:28Z","abstract_excerpt":"Traditional inconsistency-tolerent query answering in ontology-based data access relies on selecting maximal components of an ABox/database which are consistent with the ontology. However, some rules in ontologies might be unreliable if they are extracted from ontology learning or written by unskillful knowledge engineers. In this paper we present a framework of handling inconsistent existential rules under stable model semantics, which is defined by a notion called rule repairs to select maximal components of the existential rules. Surprisingly, for R-acyclic existential rules with R-stratifi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.05699","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-18T01:20:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hRP4vv4DSvUyvzQU7eCFarEkgCOFX+J0KHYzjTN/fFp7Oqcn1FzIZ3nZCmSdsrjwweT5/MijsRKZsMVyRoyeBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T10:31:57.049202Z"},"content_sha256":"0b8772244c5dab1c66a4a8c4f41819e7d6b1b677b3f70e789be55844dc72011f","schema_version":"1.0","event_id":"sha256:0b8772244c5dab1c66a4a8c4f41819e7d6b1b677b3f70e789be55844dc72011f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BWRVIGW473T2EFIRSF7TW4ZTC3/bundle.json","state_url":"https://pith.science/pith/BWRVIGW473T2EFIRSF7TW4ZTC3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BWRVIGW473T2EFIRSF7TW4ZTC3/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-06-01T10:31:57Z","links":{"resolver":"https://pith.science/pith/BWRVIGW473T2EFIRSF7TW4ZTC3","bundle":"https://pith.science/pith/BWRVIGW473T2EFIRSF7TW4ZTC3/bundle.json","state":"https://pith.science/pith/BWRVIGW473T2EFIRSF7TW4ZTC3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BWRVIGW473T2EFIRSF7TW4ZTC3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:BWRVIGW473T2EFIRSF7TW4ZTC3","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":"f2215432718bc914611d65ebd714b1c41ac447dd978717aee2756a4710f7324f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-02-18T07:23:28Z","title_canon_sha256":"aee77cc870feb0e167eba00c56d188d935399ccd95d7a0d5bf6857cc47d03aee"},"schema_version":"1.0","source":{"id":"1602.05699","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.05699","created_at":"2026-05-18T01:20:23Z"},{"alias_kind":"arxiv_version","alias_value":"1602.05699v1","created_at":"2026-05-18T01:20:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.05699","created_at":"2026-05-18T01:20:23Z"},{"alias_kind":"pith_short_12","alias_value":"BWRVIGW473T2","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"BWRVIGW473T2EFIR","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"BWRVIGW4","created_at":"2026-05-18T12:30:09Z"}],"graph_snapshots":[{"event_id":"sha256:0b8772244c5dab1c66a4a8c4f41819e7d6b1b677b3f70e789be55844dc72011f","target":"graph","created_at":"2026-05-18T01:20: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":"Traditional inconsistency-tolerent query answering in ontology-based data access relies on selecting maximal components of an ABox/database which are consistent with the ontology. However, some rules in ontologies might be unreliable if they are extracted from ontology learning or written by unskillful knowledge engineers. In this paper we present a framework of handling inconsistent existential rules under stable model semantics, which is defined by a notion called rule repairs to select maximal components of the existential rules. Surprisingly, for R-acyclic existential rules with R-stratifi","authors_text":"Hai Wan, Haoran Huang, Heng Zhang, Peng Xiao, Yan Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-02-18T07:23:28Z","title":"Query Answering with Inconsistent Existential Rules under Stable Model Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.05699","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:60d5b76963355e2b68341c7e5d3dba868845b28038ddc96b3a8576f2a69ee7cf","target":"record","created_at":"2026-05-18T01:20: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":"f2215432718bc914611d65ebd714b1c41ac447dd978717aee2756a4710f7324f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-02-18T07:23:28Z","title_canon_sha256":"aee77cc870feb0e167eba00c56d188d935399ccd95d7a0d5bf6857cc47d03aee"},"schema_version":"1.0","source":{"id":"1602.05699","kind":"arxiv","version":1}},"canonical_sha256":"0da3541adcfee7a21511917f3b733316eff2b4f01b83b6815a7d216a6937588a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0da3541adcfee7a21511917f3b733316eff2b4f01b83b6815a7d216a6937588a","first_computed_at":"2026-05-18T01:20:23.463568Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:23.463568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LwT0oy+QUPjSJ+MYLMb6nxlKLhyy3whEvPEXR/6fbqctNdESUiEMEfsirhkVCvtOUpfEjLzep4J2WeWMoZuPDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:23.464339Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.05699","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:60d5b76963355e2b68341c7e5d3dba868845b28038ddc96b3a8576f2a69ee7cf","sha256:0b8772244c5dab1c66a4a8c4f41819e7d6b1b677b3f70e789be55844dc72011f"],"state_sha256":"726fc19fbb686eeaba75745bf76a4e98112f58a415177110224a4b0bb582d070"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lrq61ackr6xXT3eeyVZ+nmxciivq0KJLTHWffPnGKxsh9YVoG2kleWjU5ugwyuY5Ic+6/0izlxWUAOjoCnDzAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T10:31:57.051114Z","bundle_sha256":"3549e3888965df163bbab394ca79db9a89563a6c81ef90e82367fc4c13166930"}}