{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:RCP4B4QOKDOOQA5KKXM2T3NB6C","short_pith_number":"pith:RCP4B4QO","canonical_record":{"source":{"id":"1707.08468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-25T12:46:24Z","cross_cats_sorted":[],"title_canon_sha256":"5bed6f287fe881ff93bb4602d0bd94d3660c90c07ed11d0b1c326ffed7b0c7e8","abstract_canon_sha256":"4bc3b14701a85ea616e4828260c9c1fe8805638a87e56b0dfb068211fa78c47f"},"schema_version":"1.0"},"canonical_sha256":"889fc0f20e50dce803aa55d9a9eda1f0bbb7c6ceeb16f2d650b39794d052422c","source":{"kind":"arxiv","id":"1707.08468","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08468","created_at":"2026-05-18T00:39:24Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08468v1","created_at":"2026-05-18T00:39:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08468","created_at":"2026-05-18T00:39:24Z"},{"alias_kind":"pith_short_12","alias_value":"RCP4B4QOKDOO","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RCP4B4QOKDOOQA5K","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RCP4B4QO","created_at":"2026-05-18T12:31:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:RCP4B4QOKDOOQA5KKXM2T3NB6C","target":"record","payload":{"canonical_record":{"source":{"id":"1707.08468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-25T12:46:24Z","cross_cats_sorted":[],"title_canon_sha256":"5bed6f287fe881ff93bb4602d0bd94d3660c90c07ed11d0b1c326ffed7b0c7e8","abstract_canon_sha256":"4bc3b14701a85ea616e4828260c9c1fe8805638a87e56b0dfb068211fa78c47f"},"schema_version":"1.0"},"canonical_sha256":"889fc0f20e50dce803aa55d9a9eda1f0bbb7c6ceeb16f2d650b39794d052422c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:24.175443Z","signature_b64":"vEElaNQcldJPDulhBIP2+NQKUU1a08jhEWNASZbVj2bx8zLISJyklT+EG00YEkDBvVrZU9NgLRC+oyZAGO6/Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"889fc0f20e50dce803aa55d9a9eda1f0bbb7c6ceeb16f2d650b39794d052422c","last_reissued_at":"2026-05-18T00:39:24.174891Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:24.174891Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.08468","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:39:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a95kaM7aoVeiygc3Jn4ja/qcr+C3do8KGOrjWaKjJt4MY3XrBjHXs1/1XiNSsqwJq9SJlWgsBSU/glOPxi6vDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T04:09:41.703966Z"},"content_sha256":"4bf16a6fd1deaa32b08d5a0fffaacc6c7a8433655aeb502c470ca5f49ff112ea","schema_version":"1.0","event_id":"sha256:4bf16a6fd1deaa32b08d5a0fffaacc6c7a8433655aeb502c470ca5f49ff112ea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:RCP4B4QOKDOOQA5KKXM2T3NB6C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Decidable Very Expressive Description Logic for Databases (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alessandro Artale, Enrico Franconi, Francesco Sportelli, Rafael Pe\\~naloza","submitted_at":"2017-07-25T12:46:24Z","abstract_excerpt":"We introduce $\\mathcal{DLR}^+$, an extension of the n-ary propositionally closed description logic $\\mathcal{DLR}$ to deal with attribute-labelled tuples (generalising the positional notation), projections of relations, and global and local objectification of relations, able to express inclusion, functional, key, and external uniqueness dependencies. The logic is equipped with both TBox and ABox axioms. We show how a simple syntactic restriction on the appearance of projections sharing common attributes in a $\\mathcal{DLR}^+$ knowledge base makes reasoning in the language decidable with the sa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08468","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:39:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SdfML9Pq2q7L70ncNxUHs3uTvaZXYI5qQy3SZDHCzCAWFmkdxP6BfrtvEHlTVmB9GPpROP+NB0GHu+bqD18uAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T04:09:41.704311Z"},"content_sha256":"cb5d538dd2c262d70453a7144c3cda8c88e0cbc356f549eeefd7a9d6faee4b1b","schema_version":"1.0","event_id":"sha256:cb5d538dd2c262d70453a7144c3cda8c88e0cbc356f549eeefd7a9d6faee4b1b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RCP4B4QOKDOOQA5KKXM2T3NB6C/bundle.json","state_url":"https://pith.science/pith/RCP4B4QOKDOOQA5KKXM2T3NB6C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RCP4B4QOKDOOQA5KKXM2T3NB6C/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-20T04:09:41Z","links":{"resolver":"https://pith.science/pith/RCP4B4QOKDOOQA5KKXM2T3NB6C","bundle":"https://pith.science/pith/RCP4B4QOKDOOQA5KKXM2T3NB6C/bundle.json","state":"https://pith.science/pith/RCP4B4QOKDOOQA5KKXM2T3NB6C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RCP4B4QOKDOOQA5KKXM2T3NB6C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:RCP4B4QOKDOOQA5KKXM2T3NB6C","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":"4bc3b14701a85ea616e4828260c9c1fe8805638a87e56b0dfb068211fa78c47f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-25T12:46:24Z","title_canon_sha256":"5bed6f287fe881ff93bb4602d0bd94d3660c90c07ed11d0b1c326ffed7b0c7e8"},"schema_version":"1.0","source":{"id":"1707.08468","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08468","created_at":"2026-05-18T00:39:24Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08468v1","created_at":"2026-05-18T00:39:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08468","created_at":"2026-05-18T00:39:24Z"},{"alias_kind":"pith_short_12","alias_value":"RCP4B4QOKDOO","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RCP4B4QOKDOOQA5K","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RCP4B4QO","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:cb5d538dd2c262d70453a7144c3cda8c88e0cbc356f549eeefd7a9d6faee4b1b","target":"graph","created_at":"2026-05-18T00:39:24Z","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 introduce $\\mathcal{DLR}^+$, an extension of the n-ary propositionally closed description logic $\\mathcal{DLR}$ to deal with attribute-labelled tuples (generalising the positional notation), projections of relations, and global and local objectification of relations, able to express inclusion, functional, key, and external uniqueness dependencies. The logic is equipped with both TBox and ABox axioms. We show how a simple syntactic restriction on the appearance of projections sharing common attributes in a $\\mathcal{DLR}^+$ knowledge base makes reasoning in the language decidable with the sa","authors_text":"Alessandro Artale, Enrico Franconi, Francesco Sportelli, Rafael Pe\\~naloza","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-25T12:46:24Z","title":"A Decidable Very Expressive Description Logic for Databases (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08468","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:4bf16a6fd1deaa32b08d5a0fffaacc6c7a8433655aeb502c470ca5f49ff112ea","target":"record","created_at":"2026-05-18T00:39:24Z","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":"4bc3b14701a85ea616e4828260c9c1fe8805638a87e56b0dfb068211fa78c47f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-25T12:46:24Z","title_canon_sha256":"5bed6f287fe881ff93bb4602d0bd94d3660c90c07ed11d0b1c326ffed7b0c7e8"},"schema_version":"1.0","source":{"id":"1707.08468","kind":"arxiv","version":1}},"canonical_sha256":"889fc0f20e50dce803aa55d9a9eda1f0bbb7c6ceeb16f2d650b39794d052422c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"889fc0f20e50dce803aa55d9a9eda1f0bbb7c6ceeb16f2d650b39794d052422c","first_computed_at":"2026-05-18T00:39:24.174891Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:24.174891Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vEElaNQcldJPDulhBIP2+NQKUU1a08jhEWNASZbVj2bx8zLISJyklT+EG00YEkDBvVrZU9NgLRC+oyZAGO6/Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:24.175443Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.08468","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4bf16a6fd1deaa32b08d5a0fffaacc6c7a8433655aeb502c470ca5f49ff112ea","sha256:cb5d538dd2c262d70453a7144c3cda8c88e0cbc356f549eeefd7a9d6faee4b1b"],"state_sha256":"292d81668441dcdd9380e98add28de6581172412c9cfdc4ba52cc1b1c9b97baf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XCJpALeKCdYjHKe4i/s+3Iqp2exE097X4ZCq8G9xRzRZkTak+H8TGwSMJ3YHiPYvO9vVi35dR5lJaYBYRUlQCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T04:09:41.706193Z","bundle_sha256":"2425cc333bd3b375acf06458b1803843acfc4f912d2a95ae04d0df740802f7ce"}}