{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:I4I35M5VJ7OOVOSP2BBZQBQSUN","short_pith_number":"pith:I4I35M5V","canonical_record":{"source":{"id":"1301.2146","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-10T15:07:22Z","cross_cats_sorted":[],"title_canon_sha256":"193071fdcfc2cfaff5f2819c1ca0feb0948e15bcde9f2df0dffd464ec499a541","abstract_canon_sha256":"64e8b3eeb93f1664c2e24ee3e52a4bd3b977eeceb9a03ad9100790a15f1455ff"},"schema_version":"1.0"},"canonical_sha256":"4711beb3b54fdceaba4fd043980612a3406b0b03cb1f3805f0ba2e2ff9b8e0bd","source":{"kind":"arxiv","id":"1301.2146","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.2146","created_at":"2026-05-18T03:36:47Z"},{"alias_kind":"arxiv_version","alias_value":"1301.2146v1","created_at":"2026-05-18T03:36:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.2146","created_at":"2026-05-18T03:36:47Z"},{"alias_kind":"pith_short_12","alias_value":"I4I35M5VJ7OO","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"I4I35M5VJ7OOVOSP","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"I4I35M5V","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:I4I35M5VJ7OOVOSP2BBZQBQSUN","target":"record","payload":{"canonical_record":{"source":{"id":"1301.2146","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-10T15:07:22Z","cross_cats_sorted":[],"title_canon_sha256":"193071fdcfc2cfaff5f2819c1ca0feb0948e15bcde9f2df0dffd464ec499a541","abstract_canon_sha256":"64e8b3eeb93f1664c2e24ee3e52a4bd3b977eeceb9a03ad9100790a15f1455ff"},"schema_version":"1.0"},"canonical_sha256":"4711beb3b54fdceaba4fd043980612a3406b0b03cb1f3805f0ba2e2ff9b8e0bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:36:47.405818Z","signature_b64":"gYMGHwuPrffoN13bkQ9vuNo2zSUhojOOTOFDGqaohxlUgFSjj0Wmu2RdBct9Pc1RCpvn+E4Ok5v6eDrSy95YBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4711beb3b54fdceaba4fd043980612a3406b0b03cb1f3805f0ba2e2ff9b8e0bd","last_reissued_at":"2026-05-18T03:36:47.405114Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:36:47.405114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1301.2146","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-18T03:36:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s7l0Ezd00lQbj7LP8lWsetfUy/G+tjgBsD4RT0NbMutnQbhSPkqBeL+JJLCusfThqLjnA4Y7uKiE8ANZFLolAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T17:20:11.467717Z"},"content_sha256":"85ea1ba5400533c3c518f89d30568bbe1200b1a5fd6e919a4e98c713a9baa6ee","schema_version":"1.0","event_id":"sha256:85ea1ba5400533c3c518f89d30568bbe1200b1a5fd6e919a4e98c713a9baa6ee"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:I4I35M5VJ7OOVOSP2BBZQBQSUN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Guohui Xiao, Xiaowang Zhang, Zuoquan Lin","submitted_at":"2013-01-10T15:07:22Z","abstract_excerpt":"In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuracies. It is well known, as the logical foundation of the Semantic Web, description logic is lack of the ability of tolerating inconsistent or incomplete data. Recently, the ability of paraconsistent approaches in Semantic Web is weaker in this paper, we present a tableau algorithm based on sign transformation in Semantic Web which holds the stronger ability of reasoning. We prove that the tableau algorithm is decidable"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.2146","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-18T03:36:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"irhAgHvWyv7FgzA5cK16KyFyNmf25tnCbGi+tFb2nNCBa1nErwpBckrgc9anIgMr0cNV9x/Uib7JWNhEUIFvAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T17:20:11.468457Z"},"content_sha256":"9f763bb5751463cde363d04b06f821326d89eaafe9ee67b597ef4c731b738c26","schema_version":"1.0","event_id":"sha256:9f763bb5751463cde363d04b06f821326d89eaafe9ee67b597ef4c731b738c26"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I4I35M5VJ7OOVOSP2BBZQBQSUN/bundle.json","state_url":"https://pith.science/pith/I4I35M5VJ7OOVOSP2BBZQBQSUN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I4I35M5VJ7OOVOSP2BBZQBQSUN/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-06-11T17:20:11Z","links":{"resolver":"https://pith.science/pith/I4I35M5VJ7OOVOSP2BBZQBQSUN","bundle":"https://pith.science/pith/I4I35M5VJ7OOVOSP2BBZQBQSUN/bundle.json","state":"https://pith.science/pith/I4I35M5VJ7OOVOSP2BBZQBQSUN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I4I35M5VJ7OOVOSP2BBZQBQSUN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:I4I35M5VJ7OOVOSP2BBZQBQSUN","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":"64e8b3eeb93f1664c2e24ee3e52a4bd3b977eeceb9a03ad9100790a15f1455ff","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-10T15:07:22Z","title_canon_sha256":"193071fdcfc2cfaff5f2819c1ca0feb0948e15bcde9f2df0dffd464ec499a541"},"schema_version":"1.0","source":{"id":"1301.2146","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.2146","created_at":"2026-05-18T03:36:47Z"},{"alias_kind":"arxiv_version","alias_value":"1301.2146v1","created_at":"2026-05-18T03:36:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.2146","created_at":"2026-05-18T03:36:47Z"},{"alias_kind":"pith_short_12","alias_value":"I4I35M5VJ7OO","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"I4I35M5VJ7OOVOSP","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"I4I35M5V","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:9f763bb5751463cde363d04b06f821326d89eaafe9ee67b597ef4c731b738c26","target":"graph","created_at":"2026-05-18T03:36:47Z","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":"In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuracies. It is well known, as the logical foundation of the Semantic Web, description logic is lack of the ability of tolerating inconsistent or incomplete data. Recently, the ability of paraconsistent approaches in Semantic Web is weaker in this paper, we present a tableau algorithm based on sign transformation in Semantic Web which holds the stronger ability of reasoning. We prove that the tableau algorithm is decidable","authors_text":"Guohui Xiao, Xiaowang Zhang, Zuoquan Lin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-10T15:07:22Z","title":"A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.2146","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:85ea1ba5400533c3c518f89d30568bbe1200b1a5fd6e919a4e98c713a9baa6ee","target":"record","created_at":"2026-05-18T03:36:47Z","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":"64e8b3eeb93f1664c2e24ee3e52a4bd3b977eeceb9a03ad9100790a15f1455ff","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-10T15:07:22Z","title_canon_sha256":"193071fdcfc2cfaff5f2819c1ca0feb0948e15bcde9f2df0dffd464ec499a541"},"schema_version":"1.0","source":{"id":"1301.2146","kind":"arxiv","version":1}},"canonical_sha256":"4711beb3b54fdceaba4fd043980612a3406b0b03cb1f3805f0ba2e2ff9b8e0bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4711beb3b54fdceaba4fd043980612a3406b0b03cb1f3805f0ba2e2ff9b8e0bd","first_computed_at":"2026-05-18T03:36:47.405114Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:36:47.405114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gYMGHwuPrffoN13bkQ9vuNo2zSUhojOOTOFDGqaohxlUgFSjj0Wmu2RdBct9Pc1RCpvn+E4Ok5v6eDrSy95YBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:36:47.405818Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.2146","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85ea1ba5400533c3c518f89d30568bbe1200b1a5fd6e919a4e98c713a9baa6ee","sha256:9f763bb5751463cde363d04b06f821326d89eaafe9ee67b597ef4c731b738c26"],"state_sha256":"795f2b3154e30dab4b8c9e51c7c8a00a6b4b7719f0565d955683b7f0bbb08955"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tC6RXIlL45OXyVFSCoWc6YpOub4hBb6AK7o9QSVmy6h5bKH+kHzt8Hly31hvUUZPJy0J8r8BHwlK7JIjjnySDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T17:20:11.472402Z","bundle_sha256":"534a477df461d4c2aa77d9bc9c7f69743f82189e2d08dde7ee7753835192180d"}}