{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:JSQ4PNHCJRXDIDKBFT6JKLKSHR","short_pith_number":"pith:JSQ4PNHC","canonical_record":{"source":{"id":"1904.07559","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-16T09:44:56Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"634768e97b24f4b924bceb4dc27dc3ef131b13f76ea149bccb1cbc99334e05f3","abstract_canon_sha256":"24ff58f9b28f3441a6330d80fe61463bb78633b3f9b1c674dd564ba9d89e38e1"},"schema_version":"1.0"},"canonical_sha256":"4ca1c7b4e24c6e340d412cfc952d523c556c169a0f5f94aa534707bc9d5fc686","source":{"kind":"arxiv","id":"1904.07559","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.07559","created_at":"2026-05-17T23:48:24Z"},{"alias_kind":"arxiv_version","alias_value":"1904.07559v1","created_at":"2026-05-17T23:48:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.07559","created_at":"2026-05-17T23:48:24Z"},{"alias_kind":"pith_short_12","alias_value":"JSQ4PNHCJRXD","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JSQ4PNHCJRXDIDKB","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JSQ4PNHC","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:JSQ4PNHCJRXDIDKBFT6JKLKSHR","target":"record","payload":{"canonical_record":{"source":{"id":"1904.07559","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-16T09:44:56Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"634768e97b24f4b924bceb4dc27dc3ef131b13f76ea149bccb1cbc99334e05f3","abstract_canon_sha256":"24ff58f9b28f3441a6330d80fe61463bb78633b3f9b1c674dd564ba9d89e38e1"},"schema_version":"1.0"},"canonical_sha256":"4ca1c7b4e24c6e340d412cfc952d523c556c169a0f5f94aa534707bc9d5fc686","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:24.865025Z","signature_b64":"tAOvydVa7hG403ydTZGashgDVmKy+2m/6DPf8wOyIAH7+o/WG1RAfCxG54PuYyToGVbsgiDY/EOt30QkkqNtCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ca1c7b4e24c6e340d412cfc952d523c556c169a0f5f94aa534707bc9d5fc686","last_reissued_at":"2026-05-17T23:48:24.864376Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:24.864376Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.07559","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-17T23:48:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tqwwL7InDmrAqTv0fq4YKDoIXfm6Kb8W5sZPrhH17YjZb/JNJgqxx1I3Pri/z591qbqaOb3/6PyZTQN90LirDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T09:13:07.883178Z"},"content_sha256":"d99e5e5a471802dbdd9d67074acfbabe563864ca0160814da745870e74ee3f99","schema_version":"1.0","event_id":"sha256:d99e5e5a471802dbdd9d67074acfbabe563864ca0160814da745870e74ee3f99"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:JSQ4PNHCJRXDIDKBFT6JKLKSHR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Theoretical Foundations of Defeasible Description Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Giovanni Casini, Ivan Varzinczak, Katarina Britz, Kody Moodley, Thomas Meyer, Uli Sattler","submitted_at":"2019-04-16T09:44:56Z","abstract_excerpt":"We extend description logics (DLs) with non-monotonic reasoning features. We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as studied by Kraus, Lehmann and Magidor in the propositional case. In particular, we consider a natural and intuitive semantics for defeasible subsumption, and investigate KLM-style syntactic properties for both preferential and rational subsumption. Our contribution includes two representation results linking our semantic constructions to the set of preferential and rational properties considered. Besides showing that "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.07559","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-17T23:48:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U1MQsT9CnC9WsS7J/dNd//3jTOVfskTfpkOugg3rtJyxfM7xacP1elWsOsBCaKbF936EYB/V8vGVr/Y0xQKKCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T09:13:07.883547Z"},"content_sha256":"b6bab5c49460ef010761e291e083cd891220b3bf3d1d4cc722ad560082daf2f9","schema_version":"1.0","event_id":"sha256:b6bab5c49460ef010761e291e083cd891220b3bf3d1d4cc722ad560082daf2f9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JSQ4PNHCJRXDIDKBFT6JKLKSHR/bundle.json","state_url":"https://pith.science/pith/JSQ4PNHCJRXDIDKBFT6JKLKSHR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JSQ4PNHCJRXDIDKBFT6JKLKSHR/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-01T09:13:07Z","links":{"resolver":"https://pith.science/pith/JSQ4PNHCJRXDIDKBFT6JKLKSHR","bundle":"https://pith.science/pith/JSQ4PNHCJRXDIDKBFT6JKLKSHR/bundle.json","state":"https://pith.science/pith/JSQ4PNHCJRXDIDKBFT6JKLKSHR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JSQ4PNHCJRXDIDKBFT6JKLKSHR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:JSQ4PNHCJRXDIDKBFT6JKLKSHR","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":"24ff58f9b28f3441a6330d80fe61463bb78633b3f9b1c674dd564ba9d89e38e1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-16T09:44:56Z","title_canon_sha256":"634768e97b24f4b924bceb4dc27dc3ef131b13f76ea149bccb1cbc99334e05f3"},"schema_version":"1.0","source":{"id":"1904.07559","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.07559","created_at":"2026-05-17T23:48:24Z"},{"alias_kind":"arxiv_version","alias_value":"1904.07559v1","created_at":"2026-05-17T23:48:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.07559","created_at":"2026-05-17T23:48:24Z"},{"alias_kind":"pith_short_12","alias_value":"JSQ4PNHCJRXD","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JSQ4PNHCJRXDIDKB","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JSQ4PNHC","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:b6bab5c49460ef010761e291e083cd891220b3bf3d1d4cc722ad560082daf2f9","target":"graph","created_at":"2026-05-17T23:48: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 extend description logics (DLs) with non-monotonic reasoning features. We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as studied by Kraus, Lehmann and Magidor in the propositional case. In particular, we consider a natural and intuitive semantics for defeasible subsumption, and investigate KLM-style syntactic properties for both preferential and rational subsumption. Our contribution includes two representation results linking our semantic constructions to the set of preferential and rational properties considered. Besides showing that ","authors_text":"Giovanni Casini, Ivan Varzinczak, Katarina Britz, Kody Moodley, Thomas Meyer, Uli Sattler","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-16T09:44:56Z","title":"Theoretical Foundations of Defeasible Description Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.07559","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:d99e5e5a471802dbdd9d67074acfbabe563864ca0160814da745870e74ee3f99","target":"record","created_at":"2026-05-17T23:48: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":"24ff58f9b28f3441a6330d80fe61463bb78633b3f9b1c674dd564ba9d89e38e1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-04-16T09:44:56Z","title_canon_sha256":"634768e97b24f4b924bceb4dc27dc3ef131b13f76ea149bccb1cbc99334e05f3"},"schema_version":"1.0","source":{"id":"1904.07559","kind":"arxiv","version":1}},"canonical_sha256":"4ca1c7b4e24c6e340d412cfc952d523c556c169a0f5f94aa534707bc9d5fc686","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4ca1c7b4e24c6e340d412cfc952d523c556c169a0f5f94aa534707bc9d5fc686","first_computed_at":"2026-05-17T23:48:24.864376Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:24.864376Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tAOvydVa7hG403ydTZGashgDVmKy+2m/6DPf8wOyIAH7+o/WG1RAfCxG54PuYyToGVbsgiDY/EOt30QkkqNtCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:24.865025Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.07559","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d99e5e5a471802dbdd9d67074acfbabe563864ca0160814da745870e74ee3f99","sha256:b6bab5c49460ef010761e291e083cd891220b3bf3d1d4cc722ad560082daf2f9"],"state_sha256":"36c484ce6dc8b09094f1cfa8b9051fab944833e699bbdfd34034d47c689c4f4d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G58rCP0dXIR7/vZoFyroYNH2Q1GGjeTGQkKEqtYLiH+a+vA6yKN7W00cKL/r183I+mpjSvnZkk2dbYbAk48WDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T09:13:07.885539Z","bundle_sha256":"1f9239524bb63199af410e7640841fd3cac5e2473dc440fea8e4cf4faf79ccb2"}}