{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:Z2EEIHJMHL5TXDBTBGJNXDEOSQ","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":"1d0e063d76fc1ce9e4a603f74838dbab40dcb314be0aafe708f447f526a12516","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-17T17:59:56Z","title_canon_sha256":"75f8c58a51669647e244eef18e33b20c811d29bb690adc0ad9bc29cd8e79639d"},"schema_version":"1.0","source":{"id":"1810.08074","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.08074","created_at":"2026-05-18T00:02:50Z"},{"alias_kind":"arxiv_version","alias_value":"1810.08074v1","created_at":"2026-05-18T00:02:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.08074","created_at":"2026-05-18T00:02:50Z"},{"alias_kind":"pith_short_12","alias_value":"Z2EEIHJMHL5T","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Z2EEIHJMHL5TXDBT","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Z2EEIHJM","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:09a5e3a3486c8688df246f562090c9a58a55415974bafde3d77a6b270362b999","target":"graph","created_at":"2026-05-18T00:02:50Z","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 chapter discusses the institutional approach for organizing and maintaining ontologies. The theory of institutions was named and initially developed by Joseph Goguen and Rod Burstall. This theory, a metatheory based on category theory, regards ontologies as logical theories or local logics. The theory of institutions uses the category-theoretic ideas of fibrations and indexed categories to develop logical theories. Institutions unite the lattice approach of Formal Concept Analysis of Ganter and Wille with the distributed logic of Information Flow of Barwise and Seligman. The institutional","authors_text":"Robert E. Kent","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-17T17:59:56Z","title":"The Institutional Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.08074","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:62c78999f56698ee47d312b36cbce7ca5b92c821672661c071e394ae3e60c2b6","target":"record","created_at":"2026-05-18T00:02:50Z","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":"1d0e063d76fc1ce9e4a603f74838dbab40dcb314be0aafe708f447f526a12516","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-17T17:59:56Z","title_canon_sha256":"75f8c58a51669647e244eef18e33b20c811d29bb690adc0ad9bc29cd8e79639d"},"schema_version":"1.0","source":{"id":"1810.08074","kind":"arxiv","version":1}},"canonical_sha256":"ce88441d2c3afb3b8c330992db8c8e940ac61ecf5768ba039b6ffc089cd30b51","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce88441d2c3afb3b8c330992db8c8e940ac61ecf5768ba039b6ffc089cd30b51","first_computed_at":"2026-05-18T00:02:50.643720Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:50.643720Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/1FKSdJiP//oD4qhNVyjE/W1Z/pTiEjhfBJwT6P7R+bw5P43WiQ1Pg5/6gmhG61/43y6Dd/FaCNQcMfMBb5DAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:50.644376Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.08074","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:62c78999f56698ee47d312b36cbce7ca5b92c821672661c071e394ae3e60c2b6","sha256:09a5e3a3486c8688df246f562090c9a58a55415974bafde3d77a6b270362b999"],"state_sha256":"ff536aaaf3aeab0bcc6d488420e282ea99c4167ad88642b103afc7402b57eb78"}