{"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"}