{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:ZYVV5VWJU4X4BZUFAGBEOUWDCU","short_pith_number":"pith:ZYVV5VWJ","canonical_record":{"source":{"id":"1210.4894","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-16T17:47:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3e568d70acd9d6590e8e1e58e863be12103ce91d3527fd3bb37df263c51ce370","abstract_canon_sha256":"7e12adfa8be599c0594645ac41d79cf126c21a4c88fd5414da50944f19c80647"},"schema_version":"1.0"},"canonical_sha256":"ce2b5ed6c9a72fc0e68501824752c31506485c26984b74493159904c7ae5b519","source":{"kind":"arxiv","id":"1210.4894","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.4894","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"arxiv_version","alias_value":"1210.4894v1","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.4894","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"pith_short_12","alias_value":"ZYVV5VWJU4X4","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"ZYVV5VWJU4X4BZUF","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"ZYVV5VWJ","created_at":"2026-05-18T12:27:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:ZYVV5VWJU4X4BZUFAGBEOUWDCU","target":"record","payload":{"canonical_record":{"source":{"id":"1210.4894","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-16T17:47:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3e568d70acd9d6590e8e1e58e863be12103ce91d3527fd3bb37df263c51ce370","abstract_canon_sha256":"7e12adfa8be599c0594645ac41d79cf126c21a4c88fd5414da50944f19c80647"},"schema_version":"1.0"},"canonical_sha256":"ce2b5ed6c9a72fc0e68501824752c31506485c26984b74493159904c7ae5b519","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:42:55.105174Z","signature_b64":"GGIu0RF/aLNzk18mXNG+ffi+tRqQ2jaJh+zTpRzajiMQq9wnckXSNoOmAkvrmXDWme1VdI1WYGRn3by/gcETCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce2b5ed6c9a72fc0e68501824752c31506485c26984b74493159904c7ae5b519","last_reissued_at":"2026-05-18T03:42:55.104342Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:42:55.104342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.4894","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-18T03:42:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dvaNBGn4jqZzPLSvh55ZdFPfP/5oKCs+eKXHGMvhjegK5SsUuPumcRSp3NNR9yOBtMC522lwQUtaNBVZ1HmrCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T10:23:26.589879Z"},"content_sha256":"a6c3c7fc874f8120cccd821858441b46cefb56791eb51d9193a58a749f73527d","schema_version":"1.0","event_id":"sha256:a6c3c7fc874f8120cccd821858441b46cefb56791eb51d9193a58a749f73527d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:ZYVV5VWJU4X4BZUFAGBEOUWDCU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Heuristic Ranking in Tightly Coupled Probabilistic Description Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Gerardo I. Simari, Giorgio Orsi, Maria Vanina Martinez, Thomas Lukasiewicz","submitted_at":"2012-10-16T17:47:44Z","abstract_excerpt":"The Semantic Web effort has steadily been gaining traction in the recent years. In particular,Web search companies are recently realizing that their products need to evolve towards having richer semantic search capabilities. Description logics (DLs) have been adopted as the formal underpinnings for Semantic Web languages used in describing ontologies. Reasoning under uncertainty has recently taken a leading role in this arena, given the nature of data found on theWeb. In this paper, we present a probabilistic extension of the DL EL++ (which underlies the OWL2 EL profile) using Markov logic net"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.4894","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-18T03:42:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GuURmk3yf3j+VJU9PnVAqixEl1FnPQ+TZ5Q4aAJMkIQ+JH3CeeZSA2wapNxFO77HNuiswI5GOHfVzlQJceZBBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T10:23:26.590432Z"},"content_sha256":"1c6652df4f38009d53d5de9b45e486dce26116f527bcefee5d6973e05bc09ef1","schema_version":"1.0","event_id":"sha256:1c6652df4f38009d53d5de9b45e486dce26116f527bcefee5d6973e05bc09ef1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZYVV5VWJU4X4BZUFAGBEOUWDCU/bundle.json","state_url":"https://pith.science/pith/ZYVV5VWJU4X4BZUFAGBEOUWDCU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZYVV5VWJU4X4BZUFAGBEOUWDCU/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-03T10:23:26Z","links":{"resolver":"https://pith.science/pith/ZYVV5VWJU4X4BZUFAGBEOUWDCU","bundle":"https://pith.science/pith/ZYVV5VWJU4X4BZUFAGBEOUWDCU/bundle.json","state":"https://pith.science/pith/ZYVV5VWJU4X4BZUFAGBEOUWDCU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZYVV5VWJU4X4BZUFAGBEOUWDCU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:ZYVV5VWJU4X4BZUFAGBEOUWDCU","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":"7e12adfa8be599c0594645ac41d79cf126c21a4c88fd5414da50944f19c80647","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-16T17:47:44Z","title_canon_sha256":"3e568d70acd9d6590e8e1e58e863be12103ce91d3527fd3bb37df263c51ce370"},"schema_version":"1.0","source":{"id":"1210.4894","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.4894","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"arxiv_version","alias_value":"1210.4894v1","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.4894","created_at":"2026-05-18T03:42:55Z"},{"alias_kind":"pith_short_12","alias_value":"ZYVV5VWJU4X4","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"ZYVV5VWJU4X4BZUF","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"ZYVV5VWJ","created_at":"2026-05-18T12:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:1c6652df4f38009d53d5de9b45e486dce26116f527bcefee5d6973e05bc09ef1","target":"graph","created_at":"2026-05-18T03:42:55Z","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":"The Semantic Web effort has steadily been gaining traction in the recent years. In particular,Web search companies are recently realizing that their products need to evolve towards having richer semantic search capabilities. Description logics (DLs) have been adopted as the formal underpinnings for Semantic Web languages used in describing ontologies. Reasoning under uncertainty has recently taken a leading role in this arena, given the nature of data found on theWeb. In this paper, we present a probabilistic extension of the DL EL++ (which underlies the OWL2 EL profile) using Markov logic net","authors_text":"Gerardo I. Simari, Giorgio Orsi, Maria Vanina Martinez, Thomas Lukasiewicz","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-16T17:47:44Z","title":"Heuristic Ranking in Tightly Coupled Probabilistic Description Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.4894","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:a6c3c7fc874f8120cccd821858441b46cefb56791eb51d9193a58a749f73527d","target":"record","created_at":"2026-05-18T03:42:55Z","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":"7e12adfa8be599c0594645ac41d79cf126c21a4c88fd5414da50944f19c80647","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-16T17:47:44Z","title_canon_sha256":"3e568d70acd9d6590e8e1e58e863be12103ce91d3527fd3bb37df263c51ce370"},"schema_version":"1.0","source":{"id":"1210.4894","kind":"arxiv","version":1}},"canonical_sha256":"ce2b5ed6c9a72fc0e68501824752c31506485c26984b74493159904c7ae5b519","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce2b5ed6c9a72fc0e68501824752c31506485c26984b74493159904c7ae5b519","first_computed_at":"2026-05-18T03:42:55.104342Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:42:55.104342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GGIu0RF/aLNzk18mXNG+ffi+tRqQ2jaJh+zTpRzajiMQq9wnckXSNoOmAkvrmXDWme1VdI1WYGRn3by/gcETCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:42:55.105174Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.4894","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a6c3c7fc874f8120cccd821858441b46cefb56791eb51d9193a58a749f73527d","sha256:1c6652df4f38009d53d5de9b45e486dce26116f527bcefee5d6973e05bc09ef1"],"state_sha256":"941e9b37ba47ec8f09484c25b1e109cb087aff42c6db8e199dabad7277bf355e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Af7aa4P4FpeMcJr131bRE4QhK4irU8xepvoqzLumq/NRM01t3jSZhEPWQJ33Cw2fQNGgt/FsXasFLWyNJjgbDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T10:23:26.593386Z","bundle_sha256":"2d01a8540085c7e9d2398a06187040891c735494d69337c6f2aa06250d496ac0"}}