{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:EGRSDDXNN3MX3AIR3FAGYS2WTH","short_pith_number":"pith:EGRSDDXN","canonical_record":{"source":{"id":"0909.0122","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2009-09-01T08:31:22Z","cross_cats_sorted":[],"title_canon_sha256":"1082fc0978990bd9a879d3549dbdb25e6d0e0322e61ef2a159fd0495e3808371","abstract_canon_sha256":"e4f4a4cc1b3a881863dafe89a234aeea4dfddbd967c52e0dde03906fe10383be"},"schema_version":"1.0"},"canonical_sha256":"21a3218eed6ed97d8111d9406c4b5699d99bdaf71f7696d3d3a36712b97bb43e","source":{"kind":"arxiv","id":"0909.0122","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0909.0122","created_at":"2026-05-18T03:10:12Z"},{"alias_kind":"arxiv_version","alias_value":"0909.0122v1","created_at":"2026-05-18T03:10:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0909.0122","created_at":"2026-05-18T03:10:12Z"},{"alias_kind":"pith_short_12","alias_value":"EGRSDDXNN3MX","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"EGRSDDXNN3MX3AIR","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"EGRSDDXN","created_at":"2026-05-18T12:25:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:EGRSDDXNN3MX3AIR3FAGYS2WTH","target":"record","payload":{"canonical_record":{"source":{"id":"0909.0122","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2009-09-01T08:31:22Z","cross_cats_sorted":[],"title_canon_sha256":"1082fc0978990bd9a879d3549dbdb25e6d0e0322e61ef2a159fd0495e3808371","abstract_canon_sha256":"e4f4a4cc1b3a881863dafe89a234aeea4dfddbd967c52e0dde03906fe10383be"},"schema_version":"1.0"},"canonical_sha256":"21a3218eed6ed97d8111d9406c4b5699d99bdaf71f7696d3d3a36712b97bb43e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:10:12.526230Z","signature_b64":"CaInnYe6BBKvU6By83yxLLZn1WfnuGU0n2Ig9UHpwoO4ocoZ3XBW3m2fq/XF3sNhjWpfKv8q1l6x65MbqgZPAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"21a3218eed6ed97d8111d9406c4b5699d99bdaf71f7696d3d3a36712b97bb43e","last_reissued_at":"2026-05-18T03:10:12.525722Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:10:12.525722Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0909.0122","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:10:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DGXCDnf3n4nGtd2v93rKnARXZHeWa06eF9xj1o+9jAnuHhqKTbWOi4cPnJK91jjb1ws8+NHn4d8zHymIQix8BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T23:02:07.079644Z"},"content_sha256":"36acf075e12246e228dc1f545761bf417613a0c5ff4015c7780b8b9a19d38a9c","schema_version":"1.0","event_id":"sha256:36acf075e12246e228dc1f545761bf417613a0c5ff4015c7780b8b9a19d38a9c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:EGRSDDXNN3MX3AIR3FAGYS2WTH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reasoning with Topological and Directional Spatial Information","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Anthony G. Cohn, Sanjiang Li","submitted_at":"2009-09-01T08:31:22Z","abstract_excerpt":"Current research on qualitative spatial representation and reasoning mainly focuses on one single aspect of space. In real world applications, however, multiple spatial aspects are often involved simultaneously.\n  This paper investigates problems arising in reasoning with combined topological and directional information. We use the RCC8 algebra and the Rectangle Algebra (RA) for expressing topological and directional information respectively. We give examples to show that the bipath-consistency algorithm BIPATH is incomplete for solving even basic RCC8 and RA constraints. If topological constr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0909.0122","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:10:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JHnzPVgJMRULgkOiP8MTwmm4uHNPf1CEDEgKvD7Vp7rJxCltGLXmxh0d1/TK+DuDN1bL4wFoYMXxhYyGTL2+BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T23:02:07.080285Z"},"content_sha256":"8d92876911fa1381d6b98034d14275b692df082bcd818c967a5d2795ef9f4bb1","schema_version":"1.0","event_id":"sha256:8d92876911fa1381d6b98034d14275b692df082bcd818c967a5d2795ef9f4bb1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EGRSDDXNN3MX3AIR3FAGYS2WTH/bundle.json","state_url":"https://pith.science/pith/EGRSDDXNN3MX3AIR3FAGYS2WTH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EGRSDDXNN3MX3AIR3FAGYS2WTH/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-05-28T23:02:07Z","links":{"resolver":"https://pith.science/pith/EGRSDDXNN3MX3AIR3FAGYS2WTH","bundle":"https://pith.science/pith/EGRSDDXNN3MX3AIR3FAGYS2WTH/bundle.json","state":"https://pith.science/pith/EGRSDDXNN3MX3AIR3FAGYS2WTH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EGRSDDXNN3MX3AIR3FAGYS2WTH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:EGRSDDXNN3MX3AIR3FAGYS2WTH","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":"e4f4a4cc1b3a881863dafe89a234aeea4dfddbd967c52e0dde03906fe10383be","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2009-09-01T08:31:22Z","title_canon_sha256":"1082fc0978990bd9a879d3549dbdb25e6d0e0322e61ef2a159fd0495e3808371"},"schema_version":"1.0","source":{"id":"0909.0122","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0909.0122","created_at":"2026-05-18T03:10:12Z"},{"alias_kind":"arxiv_version","alias_value":"0909.0122v1","created_at":"2026-05-18T03:10:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0909.0122","created_at":"2026-05-18T03:10:12Z"},{"alias_kind":"pith_short_12","alias_value":"EGRSDDXNN3MX","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"EGRSDDXNN3MX3AIR","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"EGRSDDXN","created_at":"2026-05-18T12:25:59Z"}],"graph_snapshots":[{"event_id":"sha256:8d92876911fa1381d6b98034d14275b692df082bcd818c967a5d2795ef9f4bb1","target":"graph","created_at":"2026-05-18T03:10:12Z","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":"Current research on qualitative spatial representation and reasoning mainly focuses on one single aspect of space. In real world applications, however, multiple spatial aspects are often involved simultaneously.\n  This paper investigates problems arising in reasoning with combined topological and directional information. We use the RCC8 algebra and the Rectangle Algebra (RA) for expressing topological and directional information respectively. We give examples to show that the bipath-consistency algorithm BIPATH is incomplete for solving even basic RCC8 and RA constraints. If topological constr","authors_text":"Anthony G. Cohn, Sanjiang Li","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2009-09-01T08:31:22Z","title":"Reasoning with Topological and Directional Spatial Information"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0909.0122","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:36acf075e12246e228dc1f545761bf417613a0c5ff4015c7780b8b9a19d38a9c","target":"record","created_at":"2026-05-18T03:10:12Z","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":"e4f4a4cc1b3a881863dafe89a234aeea4dfddbd967c52e0dde03906fe10383be","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2009-09-01T08:31:22Z","title_canon_sha256":"1082fc0978990bd9a879d3549dbdb25e6d0e0322e61ef2a159fd0495e3808371"},"schema_version":"1.0","source":{"id":"0909.0122","kind":"arxiv","version":1}},"canonical_sha256":"21a3218eed6ed97d8111d9406c4b5699d99bdaf71f7696d3d3a36712b97bb43e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"21a3218eed6ed97d8111d9406c4b5699d99bdaf71f7696d3d3a36712b97bb43e","first_computed_at":"2026-05-18T03:10:12.525722Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:10:12.525722Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CaInnYe6BBKvU6By83yxLLZn1WfnuGU0n2Ig9UHpwoO4ocoZ3XBW3m2fq/XF3sNhjWpfKv8q1l6x65MbqgZPAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:10:12.526230Z","signed_message":"canonical_sha256_bytes"},"source_id":"0909.0122","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:36acf075e12246e228dc1f545761bf417613a0c5ff4015c7780b8b9a19d38a9c","sha256:8d92876911fa1381d6b98034d14275b692df082bcd818c967a5d2795ef9f4bb1"],"state_sha256":"db85c9d0fbcbe7437a4b7c81cb7624b28c07d52259c370c86e12a3ad7177eca7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N/RkaT5cjCS7XIMa2dl2m+q1lJXGmny1jWwDZHxJuSDyJrMiUUoKteOmEJ6si7fn0GCYeHyZ1/gAJLMkwvv4Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T23:02:07.083769Z","bundle_sha256":"01deb1d49105744c9889ee9cd82b2d1a9e27f3ba28feaa90ac1950d2426002b9"}}