{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:J66JFO72IBOZVE5A37L4AHZWFQ","short_pith_number":"pith:J66JFO72","canonical_record":{"source":{"id":"1301.4780","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-01-21T08:13:54Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"8ad2ab45ef38c1082c7916c91ebb3045a52757af39d89f21a570aad2692a7106","abstract_canon_sha256":"6c7ca277311f2e087f9bf575b1331913984785c295773517bf761cd83ae2492c"},"schema_version":"1.0"},"canonical_sha256":"4fbc92bbfa405d9a93a0dfd7c01f362c24d65e76387cc74621aade3ad8017ef9","source":{"kind":"arxiv","id":"1301.4780","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.4780","created_at":"2026-05-18T03:35:55Z"},{"alias_kind":"arxiv_version","alias_value":"1301.4780v1","created_at":"2026-05-18T03:35:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.4780","created_at":"2026-05-18T03:35:55Z"},{"alias_kind":"pith_short_12","alias_value":"J66JFO72IBOZ","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"J66JFO72IBOZVE5A","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"J66JFO72","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:J66JFO72IBOZVE5A37L4AHZWFQ","target":"record","payload":{"canonical_record":{"source":{"id":"1301.4780","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-01-21T08:13:54Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"8ad2ab45ef38c1082c7916c91ebb3045a52757af39d89f21a570aad2692a7106","abstract_canon_sha256":"6c7ca277311f2e087f9bf575b1331913984785c295773517bf761cd83ae2492c"},"schema_version":"1.0"},"canonical_sha256":"4fbc92bbfa405d9a93a0dfd7c01f362c24d65e76387cc74621aade3ad8017ef9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:35:55.672191Z","signature_b64":"X1EYYPE22qoGkgBLvdZRCF1KJXB9IPmYY57SBs1/4IIX4YrZQeRyD95pe9FzX8NsqoAFoXYB5OPsvAxlpfUABg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4fbc92bbfa405d9a93a0dfd7c01f362c24d65e76387cc74621aade3ad8017ef9","last_reissued_at":"2026-05-18T03:35:55.671340Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:35:55.671340Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1301.4780","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:35:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ClGtJi0hkzsFsyUt7NG0hFLAYTdxdQVavox+5mT3b1LCGIHX0hk5H2jCIQUYNYOOvkUcRhmCeaOuYo6qSD4mDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:01:38.934306Z"},"content_sha256":"6fc55e4cebdcb13a8ce9b631c903f16748b5b762c41fa34e3e9781edb5650b9e","schema_version":"1.0","event_id":"sha256:6fc55e4cebdcb13a8ce9b631c903f16748b5b762c41fa34e3e9781edb5650b9e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:J66JFO72IBOZVE5A37L4AHZWFQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, A Semantic Based Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CG","authors_text":"Christophe Cruz (Le2i), Christophe Nicolle (Le2i), Frank Boochs (i3mainz), Helmi Ben Hmida (i3mainz)","submitted_at":"2013-01-21T08:13:54Z","abstract_excerpt":"The Constructive Solid Geometry (CSG) is a data model providing a set of binary Boolean operators such as Union, Difference and Intersection. In this work, these operators are used to compute topological relations between objects defined by the constraints of the nine Intersection Model (9-IM) from Egenhofer. With the help of these constraints, we define a procedure to compute the topological relations on CSG objects. These topological relations are Disjoint, Contains, Inside, Covers, CoveredBy, Equals and Overlaps, and are defined in a top-level ontology with a specific semantic definition on"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.4780","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:35:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"va7sPQdJZpcRei3MyGLLrr1bRezZgsfNSkAhB3i5OS8ZtBuj/x72HE4gbsDapBj76jbrz9n8EwXsYZazPAr3CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:01:38.934674Z"},"content_sha256":"957b9059c3725b44173b44c4b70670ed6c32b7091ea8e384a5148a9a38d1ce33","schema_version":"1.0","event_id":"sha256:957b9059c3725b44173b44c4b70670ed6c32b7091ea8e384a5148a9a38d1ce33"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J66JFO72IBOZVE5A37L4AHZWFQ/bundle.json","state_url":"https://pith.science/pith/J66JFO72IBOZVE5A37L4AHZWFQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J66JFO72IBOZVE5A37L4AHZWFQ/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-02T04:01:38Z","links":{"resolver":"https://pith.science/pith/J66JFO72IBOZVE5A37L4AHZWFQ","bundle":"https://pith.science/pith/J66JFO72IBOZVE5A37L4AHZWFQ/bundle.json","state":"https://pith.science/pith/J66JFO72IBOZVE5A37L4AHZWFQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J66JFO72IBOZVE5A37L4AHZWFQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:J66JFO72IBOZVE5A37L4AHZWFQ","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":"6c7ca277311f2e087f9bf575b1331913984785c295773517bf761cd83ae2492c","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-01-21T08:13:54Z","title_canon_sha256":"8ad2ab45ef38c1082c7916c91ebb3045a52757af39d89f21a570aad2692a7106"},"schema_version":"1.0","source":{"id":"1301.4780","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.4780","created_at":"2026-05-18T03:35:55Z"},{"alias_kind":"arxiv_version","alias_value":"1301.4780v1","created_at":"2026-05-18T03:35:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.4780","created_at":"2026-05-18T03:35:55Z"},{"alias_kind":"pith_short_12","alias_value":"J66JFO72IBOZ","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"J66JFO72IBOZVE5A","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"J66JFO72","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:957b9059c3725b44173b44c4b70670ed6c32b7091ea8e384a5148a9a38d1ce33","target":"graph","created_at":"2026-05-18T03:35:55Z","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":"The Constructive Solid Geometry (CSG) is a data model providing a set of binary Boolean operators such as Union, Difference and Intersection. In this work, these operators are used to compute topological relations between objects defined by the constraints of the nine Intersection Model (9-IM) from Egenhofer. With the help of these constraints, we define a procedure to compute the topological relations on CSG objects. These topological relations are Disjoint, Contains, Inside, Covers, CoveredBy, Equals and Overlaps, and are defined in a top-level ontology with a specific semantic definition on","authors_text":"Christophe Cruz (Le2i), Christophe Nicolle (Le2i), Frank Boochs (i3mainz), Helmi Ben Hmida (i3mainz)","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-01-21T08:13:54Z","title":"From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, A Semantic Based Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.4780","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:6fc55e4cebdcb13a8ce9b631c903f16748b5b762c41fa34e3e9781edb5650b9e","target":"record","created_at":"2026-05-18T03:35:55Z","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":"6c7ca277311f2e087f9bf575b1331913984785c295773517bf761cd83ae2492c","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-01-21T08:13:54Z","title_canon_sha256":"8ad2ab45ef38c1082c7916c91ebb3045a52757af39d89f21a570aad2692a7106"},"schema_version":"1.0","source":{"id":"1301.4780","kind":"arxiv","version":1}},"canonical_sha256":"4fbc92bbfa405d9a93a0dfd7c01f362c24d65e76387cc74621aade3ad8017ef9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4fbc92bbfa405d9a93a0dfd7c01f362c24d65e76387cc74621aade3ad8017ef9","first_computed_at":"2026-05-18T03:35:55.671340Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:35:55.671340Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X1EYYPE22qoGkgBLvdZRCF1KJXB9IPmYY57SBs1/4IIX4YrZQeRyD95pe9FzX8NsqoAFoXYB5OPsvAxlpfUABg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:35:55.672191Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.4780","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6fc55e4cebdcb13a8ce9b631c903f16748b5b762c41fa34e3e9781edb5650b9e","sha256:957b9059c3725b44173b44c4b70670ed6c32b7091ea8e384a5148a9a38d1ce33"],"state_sha256":"3aa9294ad7052ac6f1540ce42611d6b0fb96e34cb0351ed37b799542ca70edd3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PsJg/aY2xWhZU79N+MZCJPdsHfQGh0jlASN9INqOFhcrqVHKxKGUUjDrDmC/WzHXH5XfXpN9ezkRhTQoKi6HAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T04:01:38.936583Z","bundle_sha256":"ed6252a53ae1abc7ddeb37bf3a4c1ea057f94ad60a6c54b9cdb3ab75baef76ee"}}