{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:7FWAJ63J4WRFXAGFHCTRRMTWRF","short_pith_number":"pith:7FWAJ63J","canonical_record":{"source":{"id":"1209.5571","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-25T10:48:13Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"9e696a933758f23e32d8c2bee16000ab7108ef37e4d3dfca8cac49efe1521a38","abstract_canon_sha256":"30b9f154c00bd7440c31096fc10150d3ce028ea6dbdbea938f01b8c81661ca5e"},"schema_version":"1.0"},"canonical_sha256":"f96c04fb69e5a25b80c538a718b27689572eb1da9f316406180ae4e69825f704","source":{"kind":"arxiv","id":"1209.5571","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.5571","created_at":"2026-05-18T02:52:48Z"},{"alias_kind":"arxiv_version","alias_value":"1209.5571v3","created_at":"2026-05-18T02:52:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.5571","created_at":"2026-05-18T02:52:48Z"},{"alias_kind":"pith_short_12","alias_value":"7FWAJ63J4WRF","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"7FWAJ63J4WRFXAGF","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"7FWAJ63J","created_at":"2026-05-18T12:26:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:7FWAJ63J4WRFXAGFHCTRRMTWRF","target":"record","payload":{"canonical_record":{"source":{"id":"1209.5571","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-25T10:48:13Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"9e696a933758f23e32d8c2bee16000ab7108ef37e4d3dfca8cac49efe1521a38","abstract_canon_sha256":"30b9f154c00bd7440c31096fc10150d3ce028ea6dbdbea938f01b8c81661ca5e"},"schema_version":"1.0"},"canonical_sha256":"f96c04fb69e5a25b80c538a718b27689572eb1da9f316406180ae4e69825f704","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:52:48.626395Z","signature_b64":"gsyElNkh5WWm/srcbjJIf02JC3DndJEeF0yeUQ6rRlvo7InLRip2f0eTFmmS1F4y2OxVsibzYSqHJz9lV8upAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f96c04fb69e5a25b80c538a718b27689572eb1da9f316406180ae4e69825f704","last_reissued_at":"2026-05-18T02:52:48.625898Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:52:48.625898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1209.5571","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-18T02:52:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2HTFnLisZ5S9bPd64qQbE9EcLi5rVwdAiArddSBnBin1FYzML5UftiV9U9Et6N0GmKpbKyiRXmOIe2xA3Nr4DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T16:20:35.621523Z"},"content_sha256":"bcf25e486ff4c0cce3e5ba8817b96b27c6262c238421193d18ca4a41bfe71ece","schema_version":"1.0","event_id":"sha256:bcf25e486ff4c0cce3e5ba8817b96b27c6262c238421193d18ca4a41bfe71ece"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:7FWAJ63J4WRFXAGFHCTRRMTWRF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Cookbook for Temporal Conceptual Data Modelling with Description Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, Vladislav Ryzhikov","submitted_at":"2012-09-25T10:48:13Z","abstract_excerpt":"We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic concept inclusions and disjointness to the full Booleans), as well as cardinality constraints and role inclusions. In the temporal dimension, they capture future and past temporal operators on concepts, flexible and rigid roles, the operators `always' and `some time' on roles, data assertions for particular moments of time and global concept inclus"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.5571","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-18T02:52:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kriYVOV7Jz/Z88+U2ubm/6K1Y+RCAa59yM3b6A7zbebD/xuYyLsfXdU0xz2fM4NHZq7lvN9yvv342+91yqizCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T16:20:35.621855Z"},"content_sha256":"b8e41a35e908d687dc51b7132ef6526fc1c5a6873b900c06a2da17aafd8c60fa","schema_version":"1.0","event_id":"sha256:b8e41a35e908d687dc51b7132ef6526fc1c5a6873b900c06a2da17aafd8c60fa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/bundle.json","state_url":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/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-05T16:20:35Z","links":{"resolver":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF","bundle":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/bundle.json","state":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:7FWAJ63J4WRFXAGFHCTRRMTWRF","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":"30b9f154c00bd7440c31096fc10150d3ce028ea6dbdbea938f01b8c81661ca5e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-25T10:48:13Z","title_canon_sha256":"9e696a933758f23e32d8c2bee16000ab7108ef37e4d3dfca8cac49efe1521a38"},"schema_version":"1.0","source":{"id":"1209.5571","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.5571","created_at":"2026-05-18T02:52:48Z"},{"alias_kind":"arxiv_version","alias_value":"1209.5571v3","created_at":"2026-05-18T02:52:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.5571","created_at":"2026-05-18T02:52:48Z"},{"alias_kind":"pith_short_12","alias_value":"7FWAJ63J4WRF","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"7FWAJ63J4WRFXAGF","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"7FWAJ63J","created_at":"2026-05-18T12:26:56Z"}],"graph_snapshots":[{"event_id":"sha256:b8e41a35e908d687dc51b7132ef6526fc1c5a6873b900c06a2da17aafd8c60fa","target":"graph","created_at":"2026-05-18T02:52:48Z","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":"We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic concept inclusions and disjointness to the full Booleans), as well as cardinality constraints and role inclusions. In the temporal dimension, they capture future and past temporal operators on concepts, flexible and rigid roles, the operators `always' and `some time' on roles, data assertions for particular moments of time and global concept inclus","authors_text":"Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, Vladislav Ryzhikov","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-25T10:48:13Z","title":"A Cookbook for Temporal Conceptual Data Modelling with Description Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.5571","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:bcf25e486ff4c0cce3e5ba8817b96b27c6262c238421193d18ca4a41bfe71ece","target":"record","created_at":"2026-05-18T02:52:48Z","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":"30b9f154c00bd7440c31096fc10150d3ce028ea6dbdbea938f01b8c81661ca5e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-09-25T10:48:13Z","title_canon_sha256":"9e696a933758f23e32d8c2bee16000ab7108ef37e4d3dfca8cac49efe1521a38"},"schema_version":"1.0","source":{"id":"1209.5571","kind":"arxiv","version":3}},"canonical_sha256":"f96c04fb69e5a25b80c538a718b27689572eb1da9f316406180ae4e69825f704","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f96c04fb69e5a25b80c538a718b27689572eb1da9f316406180ae4e69825f704","first_computed_at":"2026-05-18T02:52:48.625898Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:48.625898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gsyElNkh5WWm/srcbjJIf02JC3DndJEeF0yeUQ6rRlvo7InLRip2f0eTFmmS1F4y2OxVsibzYSqHJz9lV8upAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:48.626395Z","signed_message":"canonical_sha256_bytes"},"source_id":"1209.5571","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bcf25e486ff4c0cce3e5ba8817b96b27c6262c238421193d18ca4a41bfe71ece","sha256:b8e41a35e908d687dc51b7132ef6526fc1c5a6873b900c06a2da17aafd8c60fa"],"state_sha256":"8f80281dfa366d79eba42a537bd7ab2ed859fb484ab20bf70bec3aaa2d46e4f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gAuYjtOgqARNO01oI8TmrGM5Olq10t99+WaaE50J7cLEZPk1CHJe+/Q36iuvR9uWK749hLWudLzp7TuoH6uuDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T16:20:35.623726Z","bundle_sha256":"dc02b2de87b272cb3afe0b31c3edcd0c8f9acdf229d43e7d0dd3d521c8a86758"}}