{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TE4OONIVE4GA255IIRCQGPWP6G","short_pith_number":"pith:TE4OONIV","canonical_record":{"source":{"id":"1809.06180","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-17T13:13:02Z","cross_cats_sorted":[],"title_canon_sha256":"027815f55cc469b58b831124e8d94d8ea2eb35367b6b7adbd661543367bb385e","abstract_canon_sha256":"2cc7144cdbade97edbc5a1feafd10ccad41c5b5c1ad86940314a5fa095e4b666"},"schema_version":"1.0"},"canonical_sha256":"9938e73515270c0d77a84445033ecff1a944832410ad3876e73f00a4ba3c0af2","source":{"kind":"arxiv","id":"1809.06180","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.06180","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"arxiv_version","alias_value":"1809.06180v3","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.06180","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"pith_short_12","alias_value":"TE4OONIVE4GA","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TE4OONIVE4GA255I","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TE4OONIV","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TE4OONIVE4GA255IIRCQGPWP6G","target":"record","payload":{"canonical_record":{"source":{"id":"1809.06180","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-17T13:13:02Z","cross_cats_sorted":[],"title_canon_sha256":"027815f55cc469b58b831124e8d94d8ea2eb35367b6b7adbd661543367bb385e","abstract_canon_sha256":"2cc7144cdbade97edbc5a1feafd10ccad41c5b5c1ad86940314a5fa095e4b666"},"schema_version":"1.0"},"canonical_sha256":"9938e73515270c0d77a84445033ecff1a944832410ad3876e73f00a4ba3c0af2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:52.528349Z","signature_b64":"6QnrpOHJiDAmBrAZMiBk9UQ8AUPOgzjCpKb32csT6/6KluBkAWRakkVhxK2u/TCK/1CZTtWu1TVVy/y2qO4JAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9938e73515270c0d77a84445033ecff1a944832410ad3876e73f00a4ba3c0af2","last_reissued_at":"2026-05-17T23:49:52.527926Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:52.527926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.06180","source_version":3,"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:49:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"paTTC39JG2IOqI/8/CLbqnun2ksD/c5adJubKi4b3PPj5dtms0axEBjEi6JFKprUjDPqnaYnCe58rs4d/3dKAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T15:59:00.707885Z"},"content_sha256":"499d8f288c559ad038fd678bf6ad0d447da16c6827bda872159f6ac231b1a037","schema_version":"1.0","event_id":"sha256:499d8f288c559ad038fd678bf6ad0d447da16c6827bda872159f6ac231b1a037"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TE4OONIVE4GA255IIRCQGPWP6G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Giuseppe Cota, Riccardo Zese","submitted_at":"2018-09-17T13:13:02Z","abstract_excerpt":"When modeling real world domains we have to deal with information that is incomplete or that comes from sources with different trust levels. This motivates the need for managing uncertainty in the Semantic Web. To this purpose, we introduced a probabilistic semantics, named DISPONTE, in order to combine description logics with probability theory. The probability of a query can be then computed from the set of its explanations by building a Binary Decision Diagram (BDD). The set of explanations can be found using the tableau algorithm, which has to handle non-determinism. Prolog, with its effic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.06180","kind":"arxiv","version":3},"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:49:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"15k2T+mstCf3HQy0lCC7i1uuFkIYSakraECkegDaf5lGylL2kDG9FUC16MdaUqYN0zb8yfHTQ6efrSXbNHhKCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T15:59:00.708233Z"},"content_sha256":"bf8e465705f79f7a90737a0d4eeae13b4d19fdcfe52de5c16b1ae9e47fd19e3c","schema_version":"1.0","event_id":"sha256:bf8e465705f79f7a90737a0d4eeae13b4d19fdcfe52de5c16b1ae9e47fd19e3c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TE4OONIVE4GA255IIRCQGPWP6G/bundle.json","state_url":"https://pith.science/pith/TE4OONIVE4GA255IIRCQGPWP6G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TE4OONIVE4GA255IIRCQGPWP6G/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-09T15:59:00Z","links":{"resolver":"https://pith.science/pith/TE4OONIVE4GA255IIRCQGPWP6G","bundle":"https://pith.science/pith/TE4OONIVE4GA255IIRCQGPWP6G/bundle.json","state":"https://pith.science/pith/TE4OONIVE4GA255IIRCQGPWP6G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TE4OONIVE4GA255IIRCQGPWP6G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TE4OONIVE4GA255IIRCQGPWP6G","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":"2cc7144cdbade97edbc5a1feafd10ccad41c5b5c1ad86940314a5fa095e4b666","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-17T13:13:02Z","title_canon_sha256":"027815f55cc469b58b831124e8d94d8ea2eb35367b6b7adbd661543367bb385e"},"schema_version":"1.0","source":{"id":"1809.06180","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.06180","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"arxiv_version","alias_value":"1809.06180v3","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.06180","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"pith_short_12","alias_value":"TE4OONIVE4GA","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TE4OONIVE4GA255I","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TE4OONIV","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:bf8e465705f79f7a90737a0d4eeae13b4d19fdcfe52de5c16b1ae9e47fd19e3c","target":"graph","created_at":"2026-05-17T23:49:52Z","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":"When modeling real world domains we have to deal with information that is incomplete or that comes from sources with different trust levels. This motivates the need for managing uncertainty in the Semantic Web. To this purpose, we introduced a probabilistic semantics, named DISPONTE, in order to combine description logics with probability theory. The probability of a query can be then computed from the set of its explanations by building a Binary Decision Diagram (BDD). The set of explanations can be found using the tableau algorithm, which has to handle non-determinism. Prolog, with its effic","authors_text":"Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Giuseppe Cota, Riccardo Zese","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-17T13:13:02Z","title":"Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.06180","kind":"arxiv","version":3},"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:499d8f288c559ad038fd678bf6ad0d447da16c6827bda872159f6ac231b1a037","target":"record","created_at":"2026-05-17T23:49:52Z","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":"2cc7144cdbade97edbc5a1feafd10ccad41c5b5c1ad86940314a5fa095e4b666","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-17T13:13:02Z","title_canon_sha256":"027815f55cc469b58b831124e8d94d8ea2eb35367b6b7adbd661543367bb385e"},"schema_version":"1.0","source":{"id":"1809.06180","kind":"arxiv","version":3}},"canonical_sha256":"9938e73515270c0d77a84445033ecff1a944832410ad3876e73f00a4ba3c0af2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9938e73515270c0d77a84445033ecff1a944832410ad3876e73f00a4ba3c0af2","first_computed_at":"2026-05-17T23:49:52.527926Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:52.527926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6QnrpOHJiDAmBrAZMiBk9UQ8AUPOgzjCpKb32csT6/6KluBkAWRakkVhxK2u/TCK/1CZTtWu1TVVy/y2qO4JAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:52.528349Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.06180","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:499d8f288c559ad038fd678bf6ad0d447da16c6827bda872159f6ac231b1a037","sha256:bf8e465705f79f7a90737a0d4eeae13b4d19fdcfe52de5c16b1ae9e47fd19e3c"],"state_sha256":"4fe74e05c7b6ccedf0c64647203c04f481020c7894d7180844c74e8ad93f018c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dYsoNz97ujtA5gBrk0s9LBDI1MbElOmL9KOILaSprWC7Lc6HzNj9LPj71WO/RmlMqkAXyoMWqGo758B5hIBMCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T15:59:00.710917Z","bundle_sha256":"9df6a31125532d42909cb51fc056d498a183e9ba190e38f9b36ccd61051491c5"}}