{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:VTZ5VA6HVKIPPRJDR655VIBKVT","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":"55126d508779f51a6592b0f01222cb7e530ee0068e3164045893c8ccadb8df80","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-16T05:24:14Z","title_canon_sha256":"14c22b3d24658c4aa13c686b4ca2ff4bacccc27ba5b056bcfb97c1f0b406040d"},"schema_version":"1.0","source":{"id":"1904.07469","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.07469","created_at":"2026-05-17T23:48:25Z"},{"alias_kind":"arxiv_version","alias_value":"1904.07469v1","created_at":"2026-05-17T23:48:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.07469","created_at":"2026-05-17T23:48:25Z"},{"alias_kind":"pith_short_12","alias_value":"VTZ5VA6HVKIP","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"VTZ5VA6HVKIPPRJD","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"VTZ5VA6H","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:e3cd267f9dfb193b27d6e0198e44f72248cc9b4b0b56800ab96f18e202919c55","target":"graph","created_at":"2026-05-17T23:48:25Z","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":"With the rise of knowledge management and knowledge economy, the knowledge elements that directly link and embody the knowledge system have become the research focus and hotspot in certain areas. The existing knowledge element representation methods are limited in functions to deal with the formality, logic and reasoning. Based on description logic ALC and the common knowledge element model, in order to describe the knowledge element, the description logic ALC is expanded. The concept is extended to two diferent ones (that is, the object knowledge element concept and the attribute knowledge el","authors_text":"Bin Wen, Jianhou Gan, Juan L.G. Guirao, Wei Gao","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-16T05:24:14Z","title":"An extended description logic system with knowledge element based on ALC"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.07469","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:b18ea6e538ca1f1e9c2f0826fad505b2f645de7bcbac9a5fe47af099dd78cd02","target":"record","created_at":"2026-05-17T23:48:25Z","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":"55126d508779f51a6592b0f01222cb7e530ee0068e3164045893c8ccadb8df80","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-16T05:24:14Z","title_canon_sha256":"14c22b3d24658c4aa13c686b4ca2ff4bacccc27ba5b056bcfb97c1f0b406040d"},"schema_version":"1.0","source":{"id":"1904.07469","kind":"arxiv","version":1}},"canonical_sha256":"acf3da83c7aa90f7c5238fbbdaa02aacdfc0c914fab5410bf8bfaaa6047344f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"acf3da83c7aa90f7c5238fbbdaa02aacdfc0c914fab5410bf8bfaaa6047344f9","first_computed_at":"2026-05-17T23:48:25.137620Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:25.137620Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jiccLpLKZfo01cm04YAYy2Hl/0ed5454qLbNFwV5Sp7F+E3meFsR/+zQc2XRawhdGRQMA02R3OBDpfo9ZbarDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:25.138303Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.07469","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b18ea6e538ca1f1e9c2f0826fad505b2f645de7bcbac9a5fe47af099dd78cd02","sha256:e3cd267f9dfb193b27d6e0198e44f72248cc9b4b0b56800ab96f18e202919c55"],"state_sha256":"0c5d376f1e5bda46f235d46d191b9f2da1085c9b3b426afd3eb6cc30e01c10e4"}