{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:7RO6ZDIPJODGWHK36GCDQIMCRA","short_pith_number":"pith:7RO6ZDIP","schema_version":"1.0","canonical_sha256":"fc5dec8d0f4b866b1d5bf18438218288152ca3fd3ad0f58f8211fe16a06828dd","source":{"kind":"arxiv","id":"1403.0613","version":2},"attestation_state":"computed","paper":{"title":"On Redundant Topological Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alan Both, Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long","submitted_at":"2014-03-03T22:01:16Z","abstract_excerpt":"The Region Connection Calculus (RCC) is a well-known calculus for representing part-whole and topological relations. It plays an important role in qualitative spatial reasoning, geographical information science, and ontology. The computational complexity of reasoning with RCC5 and RCC8 (two fragments of RCC) as well as other qualitative spatial/temporal calculi has been investigated in depth in the literature. Most of these works focus on the consistency of qualitative constraint networks. In this paper, we consider the important problem of redundant qualitative constraints. For a set $\\Gamma$"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1403.0613","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T22:01:16Z","cross_cats_sorted":[],"title_canon_sha256":"c48ff33f0cc41b3f7cbf1c86cf5204e1c9be0fda9936cfd2b15892dc044a4e49","abstract_canon_sha256":"10c091056897229486ac57e59c0ba03820e84039967ebafc4af44f68bfc0db42"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:31.400894Z","signature_b64":"WVGneSV8lPltB4BBg0Cbb+Q2RsBWIc296eGhN4z6w+QSP8LGHOp0vpGAC53N/sE1EmK9D7tiYtmEpEkgj5iBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc5dec8d0f4b866b1d5bf18438218288152ca3fd3ad0f58f8211fe16a06828dd","last_reissued_at":"2026-05-18T00:50:31.400285Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:31.400285Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Redundant Topological Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alan Both, Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long","submitted_at":"2014-03-03T22:01:16Z","abstract_excerpt":"The Region Connection Calculus (RCC) is a well-known calculus for representing part-whole and topological relations. It plays an important role in qualitative spatial reasoning, geographical information science, and ontology. The computational complexity of reasoning with RCC5 and RCC8 (two fragments of RCC) as well as other qualitative spatial/temporal calculi has been investigated in depth in the literature. Most of these works focus on the consistency of qualitative constraint networks. In this paper, we consider the important problem of redundant qualitative constraints. For a set $\\Gamma$"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.0613","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1403.0613","created_at":"2026-05-18T00:50:31.400411+00:00"},{"alias_kind":"arxiv_version","alias_value":"1403.0613v2","created_at":"2026-05-18T00:50:31.400411+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.0613","created_at":"2026-05-18T00:50:31.400411+00:00"},{"alias_kind":"pith_short_12","alias_value":"7RO6ZDIPJODG","created_at":"2026-05-18T12:28:19.803747+00:00"},{"alias_kind":"pith_short_16","alias_value":"7RO6ZDIPJODGWHK3","created_at":"2026-05-18T12:28:19.803747+00:00"},{"alias_kind":"pith_short_8","alias_value":"7RO6ZDIP","created_at":"2026-05-18T12:28:19.803747+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA","json":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA.json","graph_json":"https://pith.science/api/pith-number/7RO6ZDIPJODGWHK36GCDQIMCRA/graph.json","events_json":"https://pith.science/api/pith-number/7RO6ZDIPJODGWHK36GCDQIMCRA/events.json","paper":"https://pith.science/paper/7RO6ZDIP"},"agent_actions":{"view_html":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA","download_json":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA.json","view_paper":"https://pith.science/paper/7RO6ZDIP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1403.0613&json=true","fetch_graph":"https://pith.science/api/pith-number/7RO6ZDIPJODGWHK36GCDQIMCRA/graph.json","fetch_events":"https://pith.science/api/pith-number/7RO6ZDIPJODGWHK36GCDQIMCRA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/action/storage_attestation","attest_author":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/action/author_attestation","sign_citation":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/action/citation_signature","submit_replication":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/action/replication_record"}},"created_at":"2026-05-18T00:50:31.400411+00:00","updated_at":"2026-05-18T00:50:31.400411+00:00"}