{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:7FWAJ63J4WRFXAGFHCTRRMTWRF","short_pith_number":"pith:7FWAJ63J","schema_version":"1.0","canonical_sha256":"f96c04fb69e5a25b80c538a718b27689572eb1da9f316406180ae4e69825f704","source":{"kind":"arxiv","id":"1209.5571","version":3},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1209.5571","created_at":"2026-05-18T02:52:48.625981+00:00"},{"alias_kind":"arxiv_version","alias_value":"1209.5571v3","created_at":"2026-05-18T02:52:48.625981+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.5571","created_at":"2026-05-18T02:52:48.625981+00:00"},{"alias_kind":"pith_short_12","alias_value":"7FWAJ63J4WRF","created_at":"2026-05-18T12:26:56.085431+00:00"},{"alias_kind":"pith_short_16","alias_value":"7FWAJ63J4WRFXAGF","created_at":"2026-05-18T12:26:56.085431+00:00"},{"alias_kind":"pith_short_8","alias_value":"7FWAJ63J","created_at":"2026-05-18T12:26:56.085431+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF","json":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF.json","graph_json":"https://pith.science/api/pith-number/7FWAJ63J4WRFXAGFHCTRRMTWRF/graph.json","events_json":"https://pith.science/api/pith-number/7FWAJ63J4WRFXAGFHCTRRMTWRF/events.json","paper":"https://pith.science/paper/7FWAJ63J"},"agent_actions":{"view_html":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF","download_json":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF.json","view_paper":"https://pith.science/paper/7FWAJ63J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1209.5571&json=true","fetch_graph":"https://pith.science/api/pith-number/7FWAJ63J4WRFXAGFHCTRRMTWRF/graph.json","fetch_events":"https://pith.science/api/pith-number/7FWAJ63J4WRFXAGFHCTRRMTWRF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/action/storage_attestation","attest_author":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/action/author_attestation","sign_citation":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/action/citation_signature","submit_replication":"https://pith.science/pith/7FWAJ63J4WRFXAGFHCTRRMTWRF/action/replication_record"}},"created_at":"2026-05-18T02:52:48.625981+00:00","updated_at":"2026-05-18T02:52:48.625981+00:00"}