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