{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:DCCPF37QJTQ5WLWJHWDUJORJWT","short_pith_number":"pith:DCCPF37Q","canonical_record":{"source":{"id":"1701.05724","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-20T08:51:41Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"022b71b056ded5c6334c64eb7b563e0084ee293add2246699d4d34289c2b60b8","abstract_canon_sha256":"8057b77df2bcd7dac395b55af1a71cf6b5c62e7bff278908657ac2349e407aea"},"schema_version":"1.0"},"canonical_sha256":"1884f2eff04ce1db2ec93d8744ba29b4c4d357a63640635c546bbfb5b6c73bfc","source":{"kind":"arxiv","id":"1701.05724","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.05724","created_at":"2026-05-18T00:52:25Z"},{"alias_kind":"arxiv_version","alias_value":"1701.05724v1","created_at":"2026-05-18T00:52:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.05724","created_at":"2026-05-18T00:52:25Z"},{"alias_kind":"pith_short_12","alias_value":"DCCPF37QJTQ5","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"DCCPF37QJTQ5WLWJ","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"DCCPF37Q","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:DCCPF37QJTQ5WLWJHWDUJORJWT","target":"record","payload":{"canonical_record":{"source":{"id":"1701.05724","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-20T08:51:41Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"022b71b056ded5c6334c64eb7b563e0084ee293add2246699d4d34289c2b60b8","abstract_canon_sha256":"8057b77df2bcd7dac395b55af1a71cf6b5c62e7bff278908657ac2349e407aea"},"schema_version":"1.0"},"canonical_sha256":"1884f2eff04ce1db2ec93d8744ba29b4c4d357a63640635c546bbfb5b6c73bfc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:52:25.003978Z","signature_b64":"h9tfECRJh+g75RVGx4eE3GWvLrUWdn2Z9EBwqi0jj4m7LcPZJVR8P97gR3ym4HvapsJ8VPwax8OLSxnQPi3/CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1884f2eff04ce1db2ec93d8744ba29b4c4d357a63640635c546bbfb5b6c73bfc","last_reissued_at":"2026-05-18T00:52:25.003507Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:52:25.003507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.05724","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-18T00:52:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sB0sIaJFgsH4/QoNjpB5vBHwlA7yB5vt6VWKdTHGsQ5gPjPEL7i/A/0iDzVeee9FLD6ShN4agzNJko+WakjWCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T08:36:30.397242Z"},"content_sha256":"ca0820985ce1e3a56293eb674bf3c48e49cba7e5f674990e23c30207bb44d5aa","schema_version":"1.0","event_id":"sha256:ca0820985ce1e3a56293eb674bf3c48e49cba7e5f674990e23c30207bb44d5aa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:DCCPF37QJTQ5WLWJHWDUJORJWT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logical Inferences with Contexts of RDF Triples","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.AI","authors_text":"Amit Sheth, Vinh Nguyen","submitted_at":"2017-01-20T08:51:41Z","abstract_excerpt":"Logical inference, an integral feature of the Semantic Web, is the process of deriving new triples by applying entailment rules on knowledge bases. The entailment rules are determined by the model-theoretic semantics. Incorporating context of an RDF triple (e.g., provenance, time, and location) into the inferencing process requires the formal semantics to be capable of describing the context of RDF triples also in the form of triples, or in other words, RDF contextual triples about triples. The formal semantics should also provide the rules that could entail new contextual triples about triple"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.05724","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-18T00:52:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YRUKweSk+FNYkGMb52ZHzblG7vr72ewJZJAe0GRTY1wB5wwPXFkVL5FpK5mrKvUygIwzRtCO5vJZlMwD0AHZAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T08:36:30.397606Z"},"content_sha256":"97192194499b096ba74b6daa927f3209962b9543c9cd15545f881857d6960ddf","schema_version":"1.0","event_id":"sha256:97192194499b096ba74b6daa927f3209962b9543c9cd15545f881857d6960ddf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DCCPF37QJTQ5WLWJHWDUJORJWT/bundle.json","state_url":"https://pith.science/pith/DCCPF37QJTQ5WLWJHWDUJORJWT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DCCPF37QJTQ5WLWJHWDUJORJWT/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-28T08:36:30Z","links":{"resolver":"https://pith.science/pith/DCCPF37QJTQ5WLWJHWDUJORJWT","bundle":"https://pith.science/pith/DCCPF37QJTQ5WLWJHWDUJORJWT/bundle.json","state":"https://pith.science/pith/DCCPF37QJTQ5WLWJHWDUJORJWT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DCCPF37QJTQ5WLWJHWDUJORJWT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:DCCPF37QJTQ5WLWJHWDUJORJWT","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":"8057b77df2bcd7dac395b55af1a71cf6b5c62e7bff278908657ac2349e407aea","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-20T08:51:41Z","title_canon_sha256":"022b71b056ded5c6334c64eb7b563e0084ee293add2246699d4d34289c2b60b8"},"schema_version":"1.0","source":{"id":"1701.05724","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.05724","created_at":"2026-05-18T00:52:25Z"},{"alias_kind":"arxiv_version","alias_value":"1701.05724v1","created_at":"2026-05-18T00:52:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.05724","created_at":"2026-05-18T00:52:25Z"},{"alias_kind":"pith_short_12","alias_value":"DCCPF37QJTQ5","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"DCCPF37QJTQ5WLWJ","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"DCCPF37Q","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:97192194499b096ba74b6daa927f3209962b9543c9cd15545f881857d6960ddf","target":"graph","created_at":"2026-05-18T00:52:25Z","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":"Logical inference, an integral feature of the Semantic Web, is the process of deriving new triples by applying entailment rules on knowledge bases. The entailment rules are determined by the model-theoretic semantics. Incorporating context of an RDF triple (e.g., provenance, time, and location) into the inferencing process requires the formal semantics to be capable of describing the context of RDF triples also in the form of triples, or in other words, RDF contextual triples about triples. The formal semantics should also provide the rules that could entail new contextual triples about triple","authors_text":"Amit Sheth, Vinh Nguyen","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-20T08:51:41Z","title":"Logical Inferences with Contexts of RDF Triples"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.05724","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:ca0820985ce1e3a56293eb674bf3c48e49cba7e5f674990e23c30207bb44d5aa","target":"record","created_at":"2026-05-18T00:52:25Z","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":"8057b77df2bcd7dac395b55af1a71cf6b5c62e7bff278908657ac2349e407aea","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-20T08:51:41Z","title_canon_sha256":"022b71b056ded5c6334c64eb7b563e0084ee293add2246699d4d34289c2b60b8"},"schema_version":"1.0","source":{"id":"1701.05724","kind":"arxiv","version":1}},"canonical_sha256":"1884f2eff04ce1db2ec93d8744ba29b4c4d357a63640635c546bbfb5b6c73bfc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1884f2eff04ce1db2ec93d8744ba29b4c4d357a63640635c546bbfb5b6c73bfc","first_computed_at":"2026-05-18T00:52:25.003507Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:25.003507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h9tfECRJh+g75RVGx4eE3GWvLrUWdn2Z9EBwqi0jj4m7LcPZJVR8P97gR3ym4HvapsJ8VPwax8OLSxnQPi3/CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:25.003978Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.05724","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca0820985ce1e3a56293eb674bf3c48e49cba7e5f674990e23c30207bb44d5aa","sha256:97192194499b096ba74b6daa927f3209962b9543c9cd15545f881857d6960ddf"],"state_sha256":"283b41fe5632dd4b02ca1a3213495cbc1c5e4781bd14a1f63248c0d164ace8a2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TUg3t+MLb1JgRX3NUfCSZ3oVD2/SRejbVvVlzWZEBo3gxtSt88UkxvHXJ/a/ZeLLycgcyRdvj57VqVb8nQPHBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T08:36:30.399624Z","bundle_sha256":"cec11d3b3a5a761875f7db2d7cdef06fbe6620facb9edc2cbb37bdfb0d766a84"}}