{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:G5BZ4VA2GSEPEJR2DKYEIKBYDR","short_pith_number":"pith:G5BZ4VA2","canonical_record":{"source":{"id":"1711.03430","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-09T15:39:41Z","cross_cats_sorted":[],"title_canon_sha256":"59b31a0ce89bbbeb39750cf6ba6dda55cf19b0f59ffe213d787c0ce17ccaa5bb","abstract_canon_sha256":"e559ef15d700b6732b845ef3e4d2f9891d511c5bb1b3971d5ddcd56dad037955"},"schema_version":"1.0"},"canonical_sha256":"37439e541a3488f2263a1ab04428381c754f14c1f0acd30c778ac4e8e3a31b1b","source":{"kind":"arxiv","id":"1711.03430","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.03430","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1711.03430v1","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.03430","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"G5BZ4VA2GSEP","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"G5BZ4VA2GSEPEJR2","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"G5BZ4VA2","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:G5BZ4VA2GSEPEJR2DKYEIKBYDR","target":"record","payload":{"canonical_record":{"source":{"id":"1711.03430","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-09T15:39:41Z","cross_cats_sorted":[],"title_canon_sha256":"59b31a0ce89bbbeb39750cf6ba6dda55cf19b0f59ffe213d787c0ce17ccaa5bb","abstract_canon_sha256":"e559ef15d700b6732b845ef3e4d2f9891d511c5bb1b3971d5ddcd56dad037955"},"schema_version":"1.0"},"canonical_sha256":"37439e541a3488f2263a1ab04428381c754f14c1f0acd30c778ac4e8e3a31b1b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:56.153757Z","signature_b64":"/QQ+WEf4OlFScGWtWpcFlzI6Eh2JB8dp+p6X7/2wEyFFuomhNh6leZnsPdTbT7AXbAsJ4Z7J7sQMo1vi8JvkBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37439e541a3488f2263a1ab04428381c754f14c1f0acd30c778ac4e8e3a31b1b","last_reissued_at":"2026-05-18T00:30:56.153142Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:56.153142Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.03430","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:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wjAWIM3H1M/HrMuCQ0BzeriaeGI2Rtu9sKzukbo79rxdjDKgWOi6hdd29lHEG2usjOHANi7FQnmX7TegWjXGCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T08:17:46.813367Z"},"content_sha256":"24161352f731e8f718ff26447638a848b39863c7d3f5811a8b361e6013aaca25","schema_version":"1.0","event_id":"sha256:24161352f731e8f718ff26447638a848b39863c7d3f5811a8b361e6013aaca25"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:G5BZ4VA2GSEPEJR2DKYEIKBYDR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Repairing Ontologies via Axiom Weakening","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Daniele Porello, Nicolas Troquard, Oliver Kutz, Pietro Galliani, Rafael Penaloza, Roberto Confalonieri","submitted_at":"2017-11-09T15:39:41Z","abstract_excerpt":"Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing the use of refinement operators. We introduce the theoretical framework for weakening DL"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.03430","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:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hVcJU/DElM/l2YbrQs0LSJGDqFzPVRfU8NGCz4LYRhpbZcxGYTWfSQZhcq8X01z2QIyQt5/M97AZ4mhtPR9fAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T08:17:46.813718Z"},"content_sha256":"5de53391828969ec11e27f013e919ddebd9d93da4cc6d56986f2ecd3bad04e39","schema_version":"1.0","event_id":"sha256:5de53391828969ec11e27f013e919ddebd9d93da4cc6d56986f2ecd3bad04e39"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G5BZ4VA2GSEPEJR2DKYEIKBYDR/bundle.json","state_url":"https://pith.science/pith/G5BZ4VA2GSEPEJR2DKYEIKBYDR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G5BZ4VA2GSEPEJR2DKYEIKBYDR/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-12T08:17:46Z","links":{"resolver":"https://pith.science/pith/G5BZ4VA2GSEPEJR2DKYEIKBYDR","bundle":"https://pith.science/pith/G5BZ4VA2GSEPEJR2DKYEIKBYDR/bundle.json","state":"https://pith.science/pith/G5BZ4VA2GSEPEJR2DKYEIKBYDR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G5BZ4VA2GSEPEJR2DKYEIKBYDR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:G5BZ4VA2GSEPEJR2DKYEIKBYDR","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":"e559ef15d700b6732b845ef3e4d2f9891d511c5bb1b3971d5ddcd56dad037955","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-09T15:39:41Z","title_canon_sha256":"59b31a0ce89bbbeb39750cf6ba6dda55cf19b0f59ffe213d787c0ce17ccaa5bb"},"schema_version":"1.0","source":{"id":"1711.03430","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.03430","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1711.03430v1","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.03430","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"G5BZ4VA2GSEP","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"G5BZ4VA2GSEPEJR2","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"G5BZ4VA2","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:5de53391828969ec11e27f013e919ddebd9d93da4cc6d56986f2ecd3bad04e39","target":"graph","created_at":"2026-05-18T00:30:56Z","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":"Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing the use of refinement operators. We introduce the theoretical framework for weakening DL","authors_text":"Daniele Porello, Nicolas Troquard, Oliver Kutz, Pietro Galliani, Rafael Penaloza, Roberto Confalonieri","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-09T15:39:41Z","title":"Repairing Ontologies via Axiom Weakening"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.03430","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:24161352f731e8f718ff26447638a848b39863c7d3f5811a8b361e6013aaca25","target":"record","created_at":"2026-05-18T00:30:56Z","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":"e559ef15d700b6732b845ef3e4d2f9891d511c5bb1b3971d5ddcd56dad037955","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-09T15:39:41Z","title_canon_sha256":"59b31a0ce89bbbeb39750cf6ba6dda55cf19b0f59ffe213d787c0ce17ccaa5bb"},"schema_version":"1.0","source":{"id":"1711.03430","kind":"arxiv","version":1}},"canonical_sha256":"37439e541a3488f2263a1ab04428381c754f14c1f0acd30c778ac4e8e3a31b1b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37439e541a3488f2263a1ab04428381c754f14c1f0acd30c778ac4e8e3a31b1b","first_computed_at":"2026-05-18T00:30:56.153142Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:56.153142Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/QQ+WEf4OlFScGWtWpcFlzI6Eh2JB8dp+p6X7/2wEyFFuomhNh6leZnsPdTbT7AXbAsJ4Z7J7sQMo1vi8JvkBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:56.153757Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.03430","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:24161352f731e8f718ff26447638a848b39863c7d3f5811a8b361e6013aaca25","sha256:5de53391828969ec11e27f013e919ddebd9d93da4cc6d56986f2ecd3bad04e39"],"state_sha256":"5668e3019ae9c5a5572c1ef3a104623fc805b4ea6f1bc3b79b4d8095f7ed3958"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BOM+JVzNJJnGj6+hLrqR618/rmFcCj1KWWRqkMNzCEoe4yzdaGVJINxpy8eEKYkaEIGWFk7GZIelrd/Wtvu1Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T08:17:46.815737Z","bundle_sha256":"0c2aabf0e8dc762a2f9fe6ea5a22d16dab21524ea4356216bfaf7974c42d8890"}}