{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:RBSCOKDZA7QMFTBAZXB7HDU6UJ","short_pith_number":"pith:RBSCOKDZ","canonical_record":{"source":{"id":"1401.3487","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:37:57Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"979fdfd119e0a2037fd9b97644c40daa50ef66eb33330e92fe13d1b46aeda9b8","abstract_canon_sha256":"a351c2a20d7a127e1b1b9a164fd8029ded85d735203e2392ed62e7b2999278a1"},"schema_version":"1.0"},"canonical_sha256":"886427287907e0c2cc20cdc3f38e9ea242d5c3054ea156471efbdff7989386f4","source":{"kind":"arxiv","id":"1401.3487","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3487","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3487v1","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3487","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"pith_short_12","alias_value":"RBSCOKDZA7QM","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"RBSCOKDZA7QMFTBA","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"RBSCOKDZ","created_at":"2026-05-18T12:28:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:RBSCOKDZA7QMFTBAZXB7HDU6UJ","target":"record","payload":{"canonical_record":{"source":{"id":"1401.3487","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:37:57Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"979fdfd119e0a2037fd9b97644c40daa50ef66eb33330e92fe13d1b46aeda9b8","abstract_canon_sha256":"a351c2a20d7a127e1b1b9a164fd8029ded85d735203e2392ed62e7b2999278a1"},"schema_version":"1.0"},"canonical_sha256":"886427287907e0c2cc20cdc3f38e9ea242d5c3054ea156471efbdff7989386f4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:08.701541Z","signature_b64":"ynoWA3wTkqpziGOB2sBTNGQYDjwsEkeRVqeoEgLFO40OvXKsS9lI8xjUbupiCjuiN+flUhBfjI8YrT90U9q1Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"886427287907e0c2cc20cdc3f38e9ea242d5c3054ea156471efbdff7989386f4","last_reissued_at":"2026-05-18T03:02:08.700890Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:08.700890Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.3487","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:02:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"toYJGVnvAlOoWsHnWnRZIDcoH6BOmDJdTvZRcsQc0tHUkxRY9R2r9V7ok1dUV9nAfu+Cbg3HSpDjRM3hFZnVBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T09:54:38.477766Z"},"content_sha256":"4fb178b54ae6bbe5cba42b5dd7ab7ef3f6f3a97fb4188af6b278a3c0b3af3db1","schema_version":"1.0","event_id":"sha256:4fb178b54ae6bbe5cba42b5dd7ab7ef3f6f3a97fb4188af6b278a3c0b3af3db1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:RBSCOKDZA7QMFTBAZXB7HDU6UJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The DL-Lite Family and Relations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Alessandro Artale, Diego Calvanese, Michael Zakharyaschev, Roman Kontchakov","submitted_at":"2014-01-15T05:37:57Z","abstract_excerpt":"The recently introduced series of description logics under the common moniker DL-Lite has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and the ability to represent  conceptual modeling formalisms, on the other.  The main aim of this article is to carry out a thorough and systematic investigation of inference in extensions of the original DL-Lite logics along five axes: by (i) adding the Boolean connectives and (ii) number restrictions to concept constructs, (iii) allowing role hierarchies, (iv) "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3487","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:02:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gyaYYPJMUEQTXZIshZS6N6/gkfi0jUnJBmemzDGRYXCHQsuyGc7jLsSZXN+TAUtFjSN1tGXPQ3YAtmLg6/fzDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T09:54:38.478115Z"},"content_sha256":"ed3d42bc90323dfe2cd0cef7d10c4aefa8a41ebe78d6c015aaa9a110d9e25256","schema_version":"1.0","event_id":"sha256:ed3d42bc90323dfe2cd0cef7d10c4aefa8a41ebe78d6c015aaa9a110d9e25256"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RBSCOKDZA7QMFTBAZXB7HDU6UJ/bundle.json","state_url":"https://pith.science/pith/RBSCOKDZA7QMFTBAZXB7HDU6UJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RBSCOKDZA7QMFTBAZXB7HDU6UJ/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-20T09:54:38Z","links":{"resolver":"https://pith.science/pith/RBSCOKDZA7QMFTBAZXB7HDU6UJ","bundle":"https://pith.science/pith/RBSCOKDZA7QMFTBAZXB7HDU6UJ/bundle.json","state":"https://pith.science/pith/RBSCOKDZA7QMFTBAZXB7HDU6UJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RBSCOKDZA7QMFTBAZXB7HDU6UJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:RBSCOKDZA7QMFTBAZXB7HDU6UJ","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":"a351c2a20d7a127e1b1b9a164fd8029ded85d735203e2392ed62e7b2999278a1","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:37:57Z","title_canon_sha256":"979fdfd119e0a2037fd9b97644c40daa50ef66eb33330e92fe13d1b46aeda9b8"},"schema_version":"1.0","source":{"id":"1401.3487","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3487","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3487v1","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3487","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"pith_short_12","alias_value":"RBSCOKDZA7QM","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"RBSCOKDZA7QMFTBA","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"RBSCOKDZ","created_at":"2026-05-18T12:28:46Z"}],"graph_snapshots":[{"event_id":"sha256:ed3d42bc90323dfe2cd0cef7d10c4aefa8a41ebe78d6c015aaa9a110d9e25256","target":"graph","created_at":"2026-05-18T03:02:08Z","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 recently introduced series of description logics under the common moniker DL-Lite has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and the ability to represent  conceptual modeling formalisms, on the other.  The main aim of this article is to carry out a thorough and systematic investigation of inference in extensions of the original DL-Lite logics along five axes: by (i) adding the Boolean connectives and (ii) number restrictions to concept constructs, (iii) allowing role hierarchies, (iv) ","authors_text":"Alessandro Artale, Diego Calvanese, Michael Zakharyaschev, Roman Kontchakov","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:37:57Z","title":"The DL-Lite Family and Relations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3487","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:4fb178b54ae6bbe5cba42b5dd7ab7ef3f6f3a97fb4188af6b278a3c0b3af3db1","target":"record","created_at":"2026-05-18T03:02:08Z","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":"a351c2a20d7a127e1b1b9a164fd8029ded85d735203e2392ed62e7b2999278a1","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:37:57Z","title_canon_sha256":"979fdfd119e0a2037fd9b97644c40daa50ef66eb33330e92fe13d1b46aeda9b8"},"schema_version":"1.0","source":{"id":"1401.3487","kind":"arxiv","version":1}},"canonical_sha256":"886427287907e0c2cc20cdc3f38e9ea242d5c3054ea156471efbdff7989386f4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"886427287907e0c2cc20cdc3f38e9ea242d5c3054ea156471efbdff7989386f4","first_computed_at":"2026-05-18T03:02:08.700890Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:08.700890Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ynoWA3wTkqpziGOB2sBTNGQYDjwsEkeRVqeoEgLFO40OvXKsS9lI8xjUbupiCjuiN+flUhBfjI8YrT90U9q1Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:08.701541Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3487","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4fb178b54ae6bbe5cba42b5dd7ab7ef3f6f3a97fb4188af6b278a3c0b3af3db1","sha256:ed3d42bc90323dfe2cd0cef7d10c4aefa8a41ebe78d6c015aaa9a110d9e25256"],"state_sha256":"fa72bba398f082000021cf934db720307f522e7b012113a23891a26d702273eb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+nyJbFscdnBl6tczfFdS89FWvbbZAlfhGinYKPASaIvKVb5Kxl9f9/Er7RV0kZ9P33E19x9AjxAnIyajJ39RAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T09:54:38.480093Z","bundle_sha256":"00cd420776d996c141c8cbcd0cae6c5c3bc0688dd029a01566eb23b49270bb88"}}