{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:YHSR26X7W7ZV7VJ3WC46W5NIA4","short_pith_number":"pith:YHSR26X7","canonical_record":{"source":{"id":"1810.04363","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-10T04:14:59Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"32e4d4de187f723cbaf4e1ecc759a0e9da6c1e790bbdf97db2ef2b9d6e6746c0","abstract_canon_sha256":"7ed3dba58d6e9c7e2c4b47691babdce14dc85428568ea8f3653b62591068d0cc"},"schema_version":"1.0"},"canonical_sha256":"c1e51d7affb7f35fd53bb0b9eb75a80723f79d05c68b62712b291fb0f62be339","source":{"kind":"arxiv","id":"1810.04363","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.04363","created_at":"2026-05-18T00:03:31Z"},{"alias_kind":"arxiv_version","alias_value":"1810.04363v1","created_at":"2026-05-18T00:03:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.04363","created_at":"2026-05-18T00:03:31Z"},{"alias_kind":"pith_short_12","alias_value":"YHSR26X7W7ZV","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YHSR26X7W7ZV7VJ3","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YHSR26X7","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:YHSR26X7W7ZV7VJ3WC46W5NIA4","target":"record","payload":{"canonical_record":{"source":{"id":"1810.04363","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-10T04:14:59Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"32e4d4de187f723cbaf4e1ecc759a0e9da6c1e790bbdf97db2ef2b9d6e6746c0","abstract_canon_sha256":"7ed3dba58d6e9c7e2c4b47691babdce14dc85428568ea8f3653b62591068d0cc"},"schema_version":"1.0"},"canonical_sha256":"c1e51d7affb7f35fd53bb0b9eb75a80723f79d05c68b62712b291fb0f62be339","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:31.470167Z","signature_b64":"H35JuuK7bCktXHR+m9Qwg+vY7KJjEYFqGJIXm1FIjjlGC1e8rRJHgsU/nCXjbTdfAA4tNxnT8TxaLIK1XEeoDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1e51d7affb7f35fd53bb0b9eb75a80723f79d05c68b62712b291fb0f62be339","last_reissued_at":"2026-05-18T00:03:31.469546Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:31.469546Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.04363","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:03:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zF7plp1GbwpCmIRBzs+zS0m4JOW065Q3qtNcR4F8AtFmH+8oQtv/Xys2mIVGByPPWGGHRQABYcLUg9EGF0vEAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T06:08:04.486901Z"},"content_sha256":"20dafc417e40653dfa22c3bf6ac0331b2e70658af02293fcf672a1f77b0b9263","schema_version":"1.0","event_id":"sha256:20dafc417e40653dfa22c3bf6ac0331b2e70658af02293fcf672a1f77b0b9263"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:YHSR26X7W7ZV7VJ3WC46W5NIA4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Denis Ponomaryov, Stepan Yakovenko","submitted_at":"2018-10-10T04:14:59Z","abstract_excerpt":"We introduce an extension to the Protege ontology editor, which allows for discovering concept definitions, which are not explicitly present in axioms, but are logically implied by an ontology. The plugin supports ontologies formulated in the Description Logic EL, which underpins the OWL 2 EL profile of the Web Ontology Language and despite its limited expressiveness captures most of the biomedical ontologies published on the Web. The developed tool allows to verify whether a concept can be defined using a vocabulary of interest specified by a user. In particular, it allows to decide whether s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.04363","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:03:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pb6HsMmjQoahM2vb+fDMV3NI7iJIVg1qfhH3T+314pYtDyOaA9BtK9OsiEBFJeREnnMlZ5YEKVfukJi3c6yvCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T06:08:04.488023Z"},"content_sha256":"7b788481842f4782341ff714d5c0543a792989b91dbc4465a8e66dd7bc12cb8c","schema_version":"1.0","event_id":"sha256:7b788481842f4782341ff714d5c0543a792989b91dbc4465a8e66dd7bc12cb8c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YHSR26X7W7ZV7VJ3WC46W5NIA4/bundle.json","state_url":"https://pith.science/pith/YHSR26X7W7ZV7VJ3WC46W5NIA4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YHSR26X7W7ZV7VJ3WC46W5NIA4/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-04T06:08:04Z","links":{"resolver":"https://pith.science/pith/YHSR26X7W7ZV7VJ3WC46W5NIA4","bundle":"https://pith.science/pith/YHSR26X7W7ZV7VJ3WC46W5NIA4/bundle.json","state":"https://pith.science/pith/YHSR26X7W7ZV7VJ3WC46W5NIA4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YHSR26X7W7ZV7VJ3WC46W5NIA4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:YHSR26X7W7ZV7VJ3WC46W5NIA4","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":"7ed3dba58d6e9c7e2c4b47691babdce14dc85428568ea8f3653b62591068d0cc","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-10T04:14:59Z","title_canon_sha256":"32e4d4de187f723cbaf4e1ecc759a0e9da6c1e790bbdf97db2ef2b9d6e6746c0"},"schema_version":"1.0","source":{"id":"1810.04363","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.04363","created_at":"2026-05-18T00:03:31Z"},{"alias_kind":"arxiv_version","alias_value":"1810.04363v1","created_at":"2026-05-18T00:03:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.04363","created_at":"2026-05-18T00:03:31Z"},{"alias_kind":"pith_short_12","alias_value":"YHSR26X7W7ZV","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YHSR26X7W7ZV7VJ3","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YHSR26X7","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:7b788481842f4782341ff714d5c0543a792989b91dbc4465a8e66dd7bc12cb8c","target":"graph","created_at":"2026-05-18T00:03:31Z","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 introduce an extension to the Protege ontology editor, which allows for discovering concept definitions, which are not explicitly present in axioms, but are logically implied by an ontology. The plugin supports ontologies formulated in the Description Logic EL, which underpins the OWL 2 EL profile of the Web Ontology Language and despite its limited expressiveness captures most of the biomedical ontologies published on the Web. The developed tool allows to verify whether a concept can be defined using a vocabulary of interest specified by a user. In particular, it allows to decide whether s","authors_text":"Denis Ponomaryov, Stepan Yakovenko","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-10T04:14:59Z","title":"DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.04363","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:20dafc417e40653dfa22c3bf6ac0331b2e70658af02293fcf672a1f77b0b9263","target":"record","created_at":"2026-05-18T00:03:31Z","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":"7ed3dba58d6e9c7e2c4b47691babdce14dc85428568ea8f3653b62591068d0cc","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-10-10T04:14:59Z","title_canon_sha256":"32e4d4de187f723cbaf4e1ecc759a0e9da6c1e790bbdf97db2ef2b9d6e6746c0"},"schema_version":"1.0","source":{"id":"1810.04363","kind":"arxiv","version":1}},"canonical_sha256":"c1e51d7affb7f35fd53bb0b9eb75a80723f79d05c68b62712b291fb0f62be339","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1e51d7affb7f35fd53bb0b9eb75a80723f79d05c68b62712b291fb0f62be339","first_computed_at":"2026-05-18T00:03:31.469546Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:03:31.469546Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H35JuuK7bCktXHR+m9Qwg+vY7KJjEYFqGJIXm1FIjjlGC1e8rRJHgsU/nCXjbTdfAA4tNxnT8TxaLIK1XEeoDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:03:31.470167Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.04363","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:20dafc417e40653dfa22c3bf6ac0331b2e70658af02293fcf672a1f77b0b9263","sha256:7b788481842f4782341ff714d5c0543a792989b91dbc4465a8e66dd7bc12cb8c"],"state_sha256":"5f12c094d008eebc68c77c532b9cd796ac8ccea65e5519e11f8f2a918de0988b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"78a/DPQU0m0TgpeoSj3fhkx4FVFllgU+fvQbVqaqIIUKqYkczaQokivQE3JquJiC1bYLZWUMiQ/aFUSPKyFUCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T06:08:04.492544Z","bundle_sha256":"c47d616406bf04dbb620669abe4f0d385f699dd4d5a8bd35111257d9e3420924"}}