{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XD5FKBMBREARUH6N4FVET7JSVO","short_pith_number":"pith:XD5FKBMB","canonical_record":{"source":{"id":"1603.07466","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-24T08:22:36Z","cross_cats_sorted":[],"title_canon_sha256":"02b3f102ab249008e3f2e0f8dfaaba7b9c688a9cbf89636255429b036ba2c152","abstract_canon_sha256":"5bf46ad45c8d557b9905fdb725f952f6e4af803ac1fe49d3704ff9f58b0c2fb0"},"schema_version":"1.0"},"canonical_sha256":"b8fa55058189011a1fcde16a49fd32ab9ffc947d345efaa38d00a58b827061fd","source":{"kind":"arxiv","id":"1603.07466","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.07466","created_at":"2026-05-18T01:18:20Z"},{"alias_kind":"arxiv_version","alias_value":"1603.07466v1","created_at":"2026-05-18T01:18:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.07466","created_at":"2026-05-18T01:18:20Z"},{"alias_kind":"pith_short_12","alias_value":"XD5FKBMBREAR","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XD5FKBMBREARUH6N","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XD5FKBMB","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XD5FKBMBREARUH6N4FVET7JSVO","target":"record","payload":{"canonical_record":{"source":{"id":"1603.07466","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-24T08:22:36Z","cross_cats_sorted":[],"title_canon_sha256":"02b3f102ab249008e3f2e0f8dfaaba7b9c688a9cbf89636255429b036ba2c152","abstract_canon_sha256":"5bf46ad45c8d557b9905fdb725f952f6e4af803ac1fe49d3704ff9f58b0c2fb0"},"schema_version":"1.0"},"canonical_sha256":"b8fa55058189011a1fcde16a49fd32ab9ffc947d345efaa38d00a58b827061fd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:18:20.846383Z","signature_b64":"rF6YqwClE22iG+sywavOvl0LxrDoa8DBjczNO7gQ4p3BU2RNnhpO1HysEVLdXFAXxLTe2vfx5E0ScyKjtIH3CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8fa55058189011a1fcde16a49fd32ab9ffc947d345efaa38d00a58b827061fd","last_reissued_at":"2026-05-18T01:18:20.845858Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:18:20.845858Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.07466","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-18T01:18:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PrpI+mCF2qgFwL81TbVU7IVoccMFwabrfqWV3cN/tJinrpz+OgeaS3LULDxKW0MNsMppiqUgNU/Zgr3FkvUJAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T20:20:46.007990Z"},"content_sha256":"91ed209ce11b5a5f48078b9c8b77a59dd926c074c64037c981ac7f2ef1e40146","schema_version":"1.0","event_id":"sha256:91ed209ce11b5a5f48078b9c8b77a59dd926c074c64037c981ac7f2ef1e40146"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XD5FKBMBREARUH6N4FVET7JSVO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantics and Analysis of DMN Decision Tables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Diego Calvanese, Fabrizio M. Maggi, Irene Teinemaa, Marco Montali, Marlon Dumas, \\\"Ulari Laurson","submitted_at":"2016-03-24T08:22:36Z","abstract_excerpt":"The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications in general and business processes in particular. A central construct in DMN is that of a decision table. The increasing use of DMN decision tables to capture critical business knowledge raises the need to support analysis tasks on these tables such as correctness and completeness checking. This paper provides a formal semantics for DMN tables, a formal definition of key analysis tasks and scalable algorithms to tackle two such tasks, i.e., detection of overlapping rules and of missin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.07466","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-18T01:18:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lIsF1cgUXdu7AjwnouZPkwvz1Dc+68HLwgacu9OlSp6SxkqRaeMXazfNEnrnR3jHXldkrZ2f8tU04MdTHEoJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T20:20:46.008340Z"},"content_sha256":"4c7719ce08c7785e3bef492ce905e4f5260374ae53f08c430dddbc3a0d3325cb","schema_version":"1.0","event_id":"sha256:4c7719ce08c7785e3bef492ce905e4f5260374ae53f08c430dddbc3a0d3325cb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XD5FKBMBREARUH6N4FVET7JSVO/bundle.json","state_url":"https://pith.science/pith/XD5FKBMBREARUH6N4FVET7JSVO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XD5FKBMBREARUH6N4FVET7JSVO/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-04T20:20:46Z","links":{"resolver":"https://pith.science/pith/XD5FKBMBREARUH6N4FVET7JSVO","bundle":"https://pith.science/pith/XD5FKBMBREARUH6N4FVET7JSVO/bundle.json","state":"https://pith.science/pith/XD5FKBMBREARUH6N4FVET7JSVO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XD5FKBMBREARUH6N4FVET7JSVO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XD5FKBMBREARUH6N4FVET7JSVO","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":"5bf46ad45c8d557b9905fdb725f952f6e4af803ac1fe49d3704ff9f58b0c2fb0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-24T08:22:36Z","title_canon_sha256":"02b3f102ab249008e3f2e0f8dfaaba7b9c688a9cbf89636255429b036ba2c152"},"schema_version":"1.0","source":{"id":"1603.07466","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.07466","created_at":"2026-05-18T01:18:20Z"},{"alias_kind":"arxiv_version","alias_value":"1603.07466v1","created_at":"2026-05-18T01:18:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.07466","created_at":"2026-05-18T01:18:20Z"},{"alias_kind":"pith_short_12","alias_value":"XD5FKBMBREAR","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XD5FKBMBREARUH6N","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XD5FKBMB","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:4c7719ce08c7785e3bef492ce905e4f5260374ae53f08c430dddbc3a0d3325cb","target":"graph","created_at":"2026-05-18T01:18:20Z","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 Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications in general and business processes in particular. A central construct in DMN is that of a decision table. The increasing use of DMN decision tables to capture critical business knowledge raises the need to support analysis tasks on these tables such as correctness and completeness checking. This paper provides a formal semantics for DMN tables, a formal definition of key analysis tasks and scalable algorithms to tackle two such tasks, i.e., detection of overlapping rules and of missin","authors_text":"Diego Calvanese, Fabrizio M. Maggi, Irene Teinemaa, Marco Montali, Marlon Dumas, \\\"Ulari Laurson","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-24T08:22:36Z","title":"Semantics and Analysis of DMN Decision Tables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.07466","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:91ed209ce11b5a5f48078b9c8b77a59dd926c074c64037c981ac7f2ef1e40146","target":"record","created_at":"2026-05-18T01:18:20Z","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":"5bf46ad45c8d557b9905fdb725f952f6e4af803ac1fe49d3704ff9f58b0c2fb0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-24T08:22:36Z","title_canon_sha256":"02b3f102ab249008e3f2e0f8dfaaba7b9c688a9cbf89636255429b036ba2c152"},"schema_version":"1.0","source":{"id":"1603.07466","kind":"arxiv","version":1}},"canonical_sha256":"b8fa55058189011a1fcde16a49fd32ab9ffc947d345efaa38d00a58b827061fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b8fa55058189011a1fcde16a49fd32ab9ffc947d345efaa38d00a58b827061fd","first_computed_at":"2026-05-18T01:18:20.845858Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:18:20.845858Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rF6YqwClE22iG+sywavOvl0LxrDoa8DBjczNO7gQ4p3BU2RNnhpO1HysEVLdXFAXxLTe2vfx5E0ScyKjtIH3CA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:18:20.846383Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.07466","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91ed209ce11b5a5f48078b9c8b77a59dd926c074c64037c981ac7f2ef1e40146","sha256:4c7719ce08c7785e3bef492ce905e4f5260374ae53f08c430dddbc3a0d3325cb"],"state_sha256":"3265c8c0eb0f46b1d0c2d01cfa263a451aa8d56117f6e0b7119fc11cde251d6b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1pcE0BKCf5XSx9UbBqsX+6Wxp2KyCnrlE+Ffpf43jnSayPX2WXBhal22OGkxzXDymFixSgUYTDfzzG9vkQwnBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T20:20:46.010300Z","bundle_sha256":"3c3f8d6518d917f7831c80cef3c3839177ff45b1f063aa84c60b0a6a8478e548"}}