{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:IINEJDN7SKOUQWZHJF2KETBQHA","short_pith_number":"pith:IINEJDN7","canonical_record":{"source":{"id":"1809.01621","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-05T17:00:10Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"223582841acc244b89ea65b3678cba54f2facbc5cd34511361465543666dd6be","abstract_canon_sha256":"4d8fe247ca32af089c2b3468d23b58af05761885712342df1d8ca661689919a1"},"schema_version":"1.0"},"canonical_sha256":"421a448dbf929d485b274974a24c30382223fec75aeede818db608f9ff43e420","source":{"kind":"arxiv","id":"1809.01621","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.01621","created_at":"2026-05-18T00:06:00Z"},{"alias_kind":"arxiv_version","alias_value":"1809.01621v1","created_at":"2026-05-18T00:06:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.01621","created_at":"2026-05-18T00:06:00Z"},{"alias_kind":"pith_short_12","alias_value":"IINEJDN7SKOU","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"IINEJDN7SKOUQWZH","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"IINEJDN7","created_at":"2026-05-18T12:32:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:IINEJDN7SKOUQWZHJF2KETBQHA","target":"record","payload":{"canonical_record":{"source":{"id":"1809.01621","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-05T17:00:10Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"223582841acc244b89ea65b3678cba54f2facbc5cd34511361465543666dd6be","abstract_canon_sha256":"4d8fe247ca32af089c2b3468d23b58af05761885712342df1d8ca661689919a1"},"schema_version":"1.0"},"canonical_sha256":"421a448dbf929d485b274974a24c30382223fec75aeede818db608f9ff43e420","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:00.710274Z","signature_b64":"wmhjelJ39VWf971C9q+bZQ5e3ZxcPlf+kzVnxfyUOJE+lWVtHvnJxHEiq2nXTlq7oDT3txjJfcFK7kvF/4v0AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"421a448dbf929d485b274974a24c30382223fec75aeede818db608f9ff43e420","last_reissued_at":"2026-05-18T00:06:00.709898Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:00.709898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.01621","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:06:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bw/NzSNoeLWWlO/51DeHUWQ3bPBiF7vn7I3TyXNeOITsmbjGxaHSwE9aOwQmkaElBXH93+V8Qp0fxRkOVc+aBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:46:33.117406Z"},"content_sha256":"38e326d0e62186ff007a25b565689f3b150c5b5daaaea55b56f14a897f6d5322","schema_version":"1.0","event_id":"sha256:38e326d0e62186ff007a25b565689f3b150c5b5daaaea55b56f14a897f6d5322"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:IINEJDN7SKOUQWZHJF2KETBQHA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Algebra of Lightweight Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Marco A. Casanova, R\\^omulo Magalh\\~aes","submitted_at":"2018-09-05T17:00:10Z","abstract_excerpt":"This paper argues that certain ontology design problems are profitably addressed by treating ontologies as theories and by defining a set of operations that create new ontologies, including their constraints, out of other ontologies. The paper first shows how to use the operations in the context of ontology reuse, how to take advantage of the operations to compare different ontologies, or different versions of an ontology, and how the operations may help design mediated schemas in a bottom up fashion. The core of the paper discusses how to compute the operations for lightweight ontologies and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.01621","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:06:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nhbrRtwb/Mu2DT1vfAt9eNp17BuK2Ny2Y0w6AkC4i6YXQ9VA/S1npuK1ubMNMyk657q0nz7KdoLQ+541o82zBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:46:33.118088Z"},"content_sha256":"8d37326f72e9886d059b7b164ce2f2bd60be8c937c7b7af68e90611ace9ae261","schema_version":"1.0","event_id":"sha256:8d37326f72e9886d059b7b164ce2f2bd60be8c937c7b7af68e90611ace9ae261"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IINEJDN7SKOUQWZHJF2KETBQHA/bundle.json","state_url":"https://pith.science/pith/IINEJDN7SKOUQWZHJF2KETBQHA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IINEJDN7SKOUQWZHJF2KETBQHA/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-08-03T15:46:33Z","links":{"resolver":"https://pith.science/pith/IINEJDN7SKOUQWZHJF2KETBQHA","bundle":"https://pith.science/pith/IINEJDN7SKOUQWZHJF2KETBQHA/bundle.json","state":"https://pith.science/pith/IINEJDN7SKOUQWZHJF2KETBQHA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IINEJDN7SKOUQWZHJF2KETBQHA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:IINEJDN7SKOUQWZHJF2KETBQHA","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":"4d8fe247ca32af089c2b3468d23b58af05761885712342df1d8ca661689919a1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-05T17:00:10Z","title_canon_sha256":"223582841acc244b89ea65b3678cba54f2facbc5cd34511361465543666dd6be"},"schema_version":"1.0","source":{"id":"1809.01621","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.01621","created_at":"2026-05-18T00:06:00Z"},{"alias_kind":"arxiv_version","alias_value":"1809.01621v1","created_at":"2026-05-18T00:06:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.01621","created_at":"2026-05-18T00:06:00Z"},{"alias_kind":"pith_short_12","alias_value":"IINEJDN7SKOU","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"IINEJDN7SKOUQWZH","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"IINEJDN7","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:8d37326f72e9886d059b7b164ce2f2bd60be8c937c7b7af68e90611ace9ae261","target":"graph","created_at":"2026-05-18T00:06:00Z","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":"This paper argues that certain ontology design problems are profitably addressed by treating ontologies as theories and by defining a set of operations that create new ontologies, including their constraints, out of other ontologies. The paper first shows how to use the operations in the context of ontology reuse, how to take advantage of the operations to compare different ontologies, or different versions of an ontology, and how the operations may help design mediated schemas in a bottom up fashion. The core of the paper discusses how to compute the operations for lightweight ontologies and ","authors_text":"Marco A. Casanova, R\\^omulo Magalh\\~aes","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-05T17:00:10Z","title":"An Algebra of Lightweight Ontologies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.01621","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:38e326d0e62186ff007a25b565689f3b150c5b5daaaea55b56f14a897f6d5322","target":"record","created_at":"2026-05-18T00:06:00Z","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":"4d8fe247ca32af089c2b3468d23b58af05761885712342df1d8ca661689919a1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-05T17:00:10Z","title_canon_sha256":"223582841acc244b89ea65b3678cba54f2facbc5cd34511361465543666dd6be"},"schema_version":"1.0","source":{"id":"1809.01621","kind":"arxiv","version":1}},"canonical_sha256":"421a448dbf929d485b274974a24c30382223fec75aeede818db608f9ff43e420","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"421a448dbf929d485b274974a24c30382223fec75aeede818db608f9ff43e420","first_computed_at":"2026-05-18T00:06:00.709898Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:00.709898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wmhjelJ39VWf971C9q+bZQ5e3ZxcPlf+kzVnxfyUOJE+lWVtHvnJxHEiq2nXTlq7oDT3txjJfcFK7kvF/4v0AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:00.710274Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.01621","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:38e326d0e62186ff007a25b565689f3b150c5b5daaaea55b56f14a897f6d5322","sha256:8d37326f72e9886d059b7b164ce2f2bd60be8c937c7b7af68e90611ace9ae261"],"state_sha256":"5f5c7fddf5aad2623434d2c7707049d8a8f939fa5082d78f45c8a4b4a9990a85"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bTmMvE28F41kaVFakLtr1mKJ8NfvBMtiLtgUxX5inEoqDBfyXOKZbbwNahI/Xrk+FMg0+PSbjjrrfSc14iOtBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T15:46:33.123720Z","bundle_sha256":"9682ddc446982357d210d12b858c7a2d887bdb018af4cd7c7e1c4348dd0280c9"}}