{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:OO2ZMQDFCNYLXXTOOHWZMTHUFH","short_pith_number":"pith:OO2ZMQDF","canonical_record":{"source":{"id":"1301.4992","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-21T12:43:38Z","cross_cats_sorted":[],"title_canon_sha256":"8ac7a5e523a4891f2089e917ad7fd5327122d91cbf7e6811b8d52f4c1824b4de","abstract_canon_sha256":"7f738f9cd5169c709181be635f0e0da1f8140386e5ffcdc201015df79ec24c2e"},"schema_version":"1.0"},"canonical_sha256":"73b59640651370bbde6e71ed964cf429f74b8a69894b037afb862d16a393b750","source":{"kind":"arxiv","id":"1301.4992","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.4992","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"arxiv_version","alias_value":"1301.4992v1","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.4992","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"pith_short_12","alias_value":"OO2ZMQDFCNYL","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"OO2ZMQDFCNYLXXTO","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"OO2ZMQDF","created_at":"2026-05-18T12:27:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:OO2ZMQDFCNYLXXTOOHWZMTHUFH","target":"record","payload":{"canonical_record":{"source":{"id":"1301.4992","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-21T12:43:38Z","cross_cats_sorted":[],"title_canon_sha256":"8ac7a5e523a4891f2089e917ad7fd5327122d91cbf7e6811b8d52f4c1824b4de","abstract_canon_sha256":"7f738f9cd5169c709181be635f0e0da1f8140386e5ffcdc201015df79ec24c2e"},"schema_version":"1.0"},"canonical_sha256":"73b59640651370bbde6e71ed964cf429f74b8a69894b037afb862d16a393b750","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:35:53.380677Z","signature_b64":"O4En5MkyO4DnNLvRcsbttw2DShkQmifslU/Bos8+Lcmzp0resWilvh/kG9nGiBW/iZEImn7uVtZS1f9a3VnDAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73b59640651370bbde6e71ed964cf429f74b8a69894b037afb862d16a393b750","last_reissued_at":"2026-05-18T03:35:53.379927Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:35:53.379927Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1301.4992","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:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qtd4ukIG98Axu+DXiOaMub0lCcmLONCTGybIgnvhs6x9zw5cN3ENakYezqVHWKwBjl3pabh97F2MSoRA6d0XDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:35:39.482581Z"},"content_sha256":"f6623195dcae787e5ba5c80367b1c3c62fb760875e581c16388c541df1412fae","schema_version":"1.0","event_id":"sha256:f6623195dcae787e5ba5c80367b1c3c62fb760875e581c16388c541df1412fae"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:OO2ZMQDFCNYLXXTOOHWZMTHUFH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for bodies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Christophe Cruz (Le2i), Christophe Nicolle (Le2i), Frank Boochs (i3mainz), Helmi Ben Hmida (i3mainz)","submitted_at":"2013-01-21T12:43:38Z","abstract_excerpt":"This paper presents a method to compute automatically topological relations using SWRL rules. The calculation of these rules is based on the definition of a Selective Nef Complexes Nef Polyhedra structure generated from standard Polyhedron. The Selective Nef Complexes is a data model providing a set of binary Boolean operators such as Union, Difference, Intersection and Symmetric difference, and unary operators such as Interior, Closure and Boundary. In this work, these operators are used to compute topological relations between objects defined by the constraints of the 9 Intersection Model (9"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.4992","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:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u2Eygy5nNcgZHCfjvaMdkWJjdgLkGYmLCeV9ezbgqAgNFODSf3W/Ruu/pfeIIK4+5bGkMjuaXQXnTDcwcLKnAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:35:39.482919Z"},"content_sha256":"9d3e73b8fc8bab870cb9988d6a950cf69be2778694881c9bdcc1162ccbee6a74","schema_version":"1.0","event_id":"sha256:9d3e73b8fc8bab870cb9988d6a950cf69be2778694881c9bdcc1162ccbee6a74"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OO2ZMQDFCNYLXXTOOHWZMTHUFH/bundle.json","state_url":"https://pith.science/pith/OO2ZMQDFCNYLXXTOOHWZMTHUFH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OO2ZMQDFCNYLXXTOOHWZMTHUFH/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-02T08:35:39Z","links":{"resolver":"https://pith.science/pith/OO2ZMQDFCNYLXXTOOHWZMTHUFH","bundle":"https://pith.science/pith/OO2ZMQDFCNYLXXTOOHWZMTHUFH/bundle.json","state":"https://pith.science/pith/OO2ZMQDFCNYLXXTOOHWZMTHUFH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OO2ZMQDFCNYLXXTOOHWZMTHUFH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:OO2ZMQDFCNYLXXTOOHWZMTHUFH","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":"7f738f9cd5169c709181be635f0e0da1f8140386e5ffcdc201015df79ec24c2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-21T12:43:38Z","title_canon_sha256":"8ac7a5e523a4891f2089e917ad7fd5327122d91cbf7e6811b8d52f4c1824b4de"},"schema_version":"1.0","source":{"id":"1301.4992","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.4992","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"arxiv_version","alias_value":"1301.4992v1","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.4992","created_at":"2026-05-18T03:35:53Z"},{"alias_kind":"pith_short_12","alias_value":"OO2ZMQDFCNYL","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"OO2ZMQDFCNYLXXTO","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"OO2ZMQDF","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:9d3e73b8fc8bab870cb9988d6a950cf69be2778694881c9bdcc1162ccbee6a74","target":"graph","created_at":"2026-05-18T03:35:53Z","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":"This paper presents a method to compute automatically topological relations using SWRL rules. The calculation of these rules is based on the definition of a Selective Nef Complexes Nef Polyhedra structure generated from standard Polyhedron. The Selective Nef Complexes is a data model providing a set of binary Boolean operators such as Union, Difference, Intersection and Symmetric difference, and unary operators such as Interior, Closure and Boundary. In this work, these operators are used to compute topological relations between objects defined by the constraints of the 9 Intersection Model (9","authors_text":"Christophe Cruz (Le2i), Christophe Nicolle (Le2i), Frank Boochs (i3mainz), Helmi Ben Hmida (i3mainz)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-21T12:43:38Z","title":"From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for bodies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.4992","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:f6623195dcae787e5ba5c80367b1c3c62fb760875e581c16388c541df1412fae","target":"record","created_at":"2026-05-18T03:35:53Z","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":"7f738f9cd5169c709181be635f0e0da1f8140386e5ffcdc201015df79ec24c2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-01-21T12:43:38Z","title_canon_sha256":"8ac7a5e523a4891f2089e917ad7fd5327122d91cbf7e6811b8d52f4c1824b4de"},"schema_version":"1.0","source":{"id":"1301.4992","kind":"arxiv","version":1}},"canonical_sha256":"73b59640651370bbde6e71ed964cf429f74b8a69894b037afb862d16a393b750","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73b59640651370bbde6e71ed964cf429f74b8a69894b037afb862d16a393b750","first_computed_at":"2026-05-18T03:35:53.379927Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:35:53.379927Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"O4En5MkyO4DnNLvRcsbttw2DShkQmifslU/Bos8+Lcmzp0resWilvh/kG9nGiBW/iZEImn7uVtZS1f9a3VnDAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:35:53.380677Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.4992","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f6623195dcae787e5ba5c80367b1c3c62fb760875e581c16388c541df1412fae","sha256:9d3e73b8fc8bab870cb9988d6a950cf69be2778694881c9bdcc1162ccbee6a74"],"state_sha256":"7ab3602fab2109284df7ca28a99733e11c15d6a4ad5420d2714e7cfd14e20d4f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A7WSIjrPX/heeNb6UzjIW/19QU+j9BCpACPpGDbEodRZzxPd9t4h0NzYMkaNGfl00Cl3FJkApXb/tzBfjKQdAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T08:35:39.484725Z","bundle_sha256":"f76a837ff92d3074717918128327875d7a29f763679570061eb30e1e5a5b0d94"}}