{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:PQJHSHETKL4NSINDLP5TSQBOAV","short_pith_number":"pith:PQJHSHET","canonical_record":{"source":{"id":"1502.07628","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-26T16:41:13Z","cross_cats_sorted":[],"title_canon_sha256":"6801c40333ec6fece37f7d6da14cd7daa8015894a4e1ecbab059c895810c6b29","abstract_canon_sha256":"b2f4066ac40874fb44e2dc7ea3b56c6aafb9c14881befa35fa9329cb9496d6b5"},"schema_version":"1.0"},"canonical_sha256":"7c12791c9352f8d921a35bfb39402e0568e61876c5450f2dac653bbfb128f3e2","source":{"kind":"arxiv","id":"1502.07628","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.07628","created_at":"2026-05-18T02:26:03Z"},{"alias_kind":"arxiv_version","alias_value":"1502.07628v1","created_at":"2026-05-18T02:26:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.07628","created_at":"2026-05-18T02:26:03Z"},{"alias_kind":"pith_short_12","alias_value":"PQJHSHETKL4N","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PQJHSHETKL4NSIND","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PQJHSHET","created_at":"2026-05-18T12:29:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:PQJHSHETKL4NSINDLP5TSQBOAV","target":"record","payload":{"canonical_record":{"source":{"id":"1502.07628","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-26T16:41:13Z","cross_cats_sorted":[],"title_canon_sha256":"6801c40333ec6fece37f7d6da14cd7daa8015894a4e1ecbab059c895810c6b29","abstract_canon_sha256":"b2f4066ac40874fb44e2dc7ea3b56c6aafb9c14881befa35fa9329cb9496d6b5"},"schema_version":"1.0"},"canonical_sha256":"7c12791c9352f8d921a35bfb39402e0568e61876c5450f2dac653bbfb128f3e2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:26:03.248687Z","signature_b64":"uaKScTJzJxBJrv+VJ79ZFR2vWScfX3XODBZlC2aCH/0Jv0OgcXEJ0wAONbhPROrXwL+nL41+JsBwhZS8ptfSCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c12791c9352f8d921a35bfb39402e0568e61876c5450f2dac653bbfb128f3e2","last_reissued_at":"2026-05-18T02:26:03.248259Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:26:03.248259Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.07628","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-18T02:26:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O6cS1+JSP53YdNWuKlUFyoQYpfsUIhgOJxcgIUI0CEOnMnmn9xgPaG0Z1TlE8mZjZHCJmaoPrnuukzen8AOFCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:22:58.211636Z"},"content_sha256":"4e9092a635a9c220f77b365e66c624c14e03796eb4245948d847de327a909f0a","schema_version":"1.0","event_id":"sha256:4e9092a635a9c220f77b365e66c624c14e03796eb4245948d847de327a909f0a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:PQJHSHETKL4NSINDLP5TSQBOAV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Relaxation-based revision operators in description logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"C\\'eline Hudelot, Isabelle Bloch, Jamal Atif, Marc Aiguier","submitted_at":"2015-02-26T16:41:13Z","abstract_excerpt":"As ontologies and description logics (DLs) reach out to a broader audience, several reasoning services are developed in this context. Belief revision is one of them, of prime importance when knowledge is prone to change and inconsistency. In this paper we address both the generalization of the well-known AGM postulates, and the definition of concrete and well-founded revision operators in different DL families. We introduce a model-theoretic version of the AGM postulates with a general definition of inconsistency, hence enlarging their scope to a wide family of non-classical logics, in particu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.07628","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-18T02:26:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D22F5iHreVEFhRew8mx8oxOIT/K8U6DO5MJJOORGN8t5BstesAZrpvGWKXzkuwxTlAP3CwvmIpm5PwcbxZwNDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:22:58.212281Z"},"content_sha256":"f41aa7c9f3ecdd8a591c9ee661eb2f39461494c38b74bc2fece2458a15d512d1","schema_version":"1.0","event_id":"sha256:f41aa7c9f3ecdd8a591c9ee661eb2f39461494c38b74bc2fece2458a15d512d1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PQJHSHETKL4NSINDLP5TSQBOAV/bundle.json","state_url":"https://pith.science/pith/PQJHSHETKL4NSINDLP5TSQBOAV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PQJHSHETKL4NSINDLP5TSQBOAV/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-05-25T16:22:58Z","links":{"resolver":"https://pith.science/pith/PQJHSHETKL4NSINDLP5TSQBOAV","bundle":"https://pith.science/pith/PQJHSHETKL4NSINDLP5TSQBOAV/bundle.json","state":"https://pith.science/pith/PQJHSHETKL4NSINDLP5TSQBOAV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PQJHSHETKL4NSINDLP5TSQBOAV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:PQJHSHETKL4NSINDLP5TSQBOAV","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":"b2f4066ac40874fb44e2dc7ea3b56c6aafb9c14881befa35fa9329cb9496d6b5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-26T16:41:13Z","title_canon_sha256":"6801c40333ec6fece37f7d6da14cd7daa8015894a4e1ecbab059c895810c6b29"},"schema_version":"1.0","source":{"id":"1502.07628","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.07628","created_at":"2026-05-18T02:26:03Z"},{"alias_kind":"arxiv_version","alias_value":"1502.07628v1","created_at":"2026-05-18T02:26:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.07628","created_at":"2026-05-18T02:26:03Z"},{"alias_kind":"pith_short_12","alias_value":"PQJHSHETKL4N","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PQJHSHETKL4NSIND","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PQJHSHET","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:f41aa7c9f3ecdd8a591c9ee661eb2f39461494c38b74bc2fece2458a15d512d1","target":"graph","created_at":"2026-05-18T02:26:03Z","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":"As ontologies and description logics (DLs) reach out to a broader audience, several reasoning services are developed in this context. Belief revision is one of them, of prime importance when knowledge is prone to change and inconsistency. In this paper we address both the generalization of the well-known AGM postulates, and the definition of concrete and well-founded revision operators in different DL families. We introduce a model-theoretic version of the AGM postulates with a general definition of inconsistency, hence enlarging their scope to a wide family of non-classical logics, in particu","authors_text":"C\\'eline Hudelot, Isabelle Bloch, Jamal Atif, Marc Aiguier","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-26T16:41:13Z","title":"Relaxation-based revision operators in description logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.07628","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:4e9092a635a9c220f77b365e66c624c14e03796eb4245948d847de327a909f0a","target":"record","created_at":"2026-05-18T02:26:03Z","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":"b2f4066ac40874fb44e2dc7ea3b56c6aafb9c14881befa35fa9329cb9496d6b5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-26T16:41:13Z","title_canon_sha256":"6801c40333ec6fece37f7d6da14cd7daa8015894a4e1ecbab059c895810c6b29"},"schema_version":"1.0","source":{"id":"1502.07628","kind":"arxiv","version":1}},"canonical_sha256":"7c12791c9352f8d921a35bfb39402e0568e61876c5450f2dac653bbfb128f3e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c12791c9352f8d921a35bfb39402e0568e61876c5450f2dac653bbfb128f3e2","first_computed_at":"2026-05-18T02:26:03.248259Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:26:03.248259Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uaKScTJzJxBJrv+VJ79ZFR2vWScfX3XODBZlC2aCH/0Jv0OgcXEJ0wAONbhPROrXwL+nL41+JsBwhZS8ptfSCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:26:03.248687Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.07628","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e9092a635a9c220f77b365e66c624c14e03796eb4245948d847de327a909f0a","sha256:f41aa7c9f3ecdd8a591c9ee661eb2f39461494c38b74bc2fece2458a15d512d1"],"state_sha256":"18c095ae037c09144d7becad757841140b644b81c93e4dc16cf9c390d64e83d3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VqUh1xEYs3GQfQZjbmqm/RQrLFqU3MTipj9da06jz7reyJz/djWgw+0sBawrwVQU1VKjIkUwW5J6knpT5FpsAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T16:22:58.216578Z","bundle_sha256":"560808b9f7bb5fac6e4d72fb4154c50e91b45298531a8e8a75d0681960763ed5"}}