{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:YUB5MV3I3ADQD6YAEMFJPY523Q","short_pith_number":"pith:YUB5MV3I","canonical_record":{"source":{"id":"1902.00545","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-02-01T20:16:13Z","cross_cats_sorted":[],"title_canon_sha256":"2149a9ce1340deaa602b1018a2a9a2a5f03ebaf6af00d99bc7a475cfadf11fa3","abstract_canon_sha256":"47384e0606ce865f506eb28e6159d8c03c3b220028f91a3540ed8a500ef9654f"},"schema_version":"1.0"},"canonical_sha256":"c503d65768d80701fb00230a97e3badc17d018dfb9015e6eff16f8f4f2dda3db","source":{"kind":"arxiv","id":"1902.00545","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.00545","created_at":"2026-05-17T23:54:47Z"},{"alias_kind":"arxiv_version","alias_value":"1902.00545v2","created_at":"2026-05-17T23:54:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.00545","created_at":"2026-05-17T23:54:47Z"},{"alias_kind":"pith_short_12","alias_value":"YUB5MV3I3ADQ","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"YUB5MV3I3ADQD6YA","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"YUB5MV3I","created_at":"2026-05-18T12:33:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:YUB5MV3I3ADQD6YAEMFJPY523Q","target":"record","payload":{"canonical_record":{"source":{"id":"1902.00545","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-02-01T20:16:13Z","cross_cats_sorted":[],"title_canon_sha256":"2149a9ce1340deaa602b1018a2a9a2a5f03ebaf6af00d99bc7a475cfadf11fa3","abstract_canon_sha256":"47384e0606ce865f506eb28e6159d8c03c3b220028f91a3540ed8a500ef9654f"},"schema_version":"1.0"},"canonical_sha256":"c503d65768d80701fb00230a97e3badc17d018dfb9015e6eff16f8f4f2dda3db","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:47.787903Z","signature_b64":"Ng5Dnu4pKGwqP9HGxmR5Dl7z1AfuOKmXqf1Vt+Q09CgqxlTEfQewA3nIedEdPI7FVxei/aGLyl5qHhFg3ifcDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c503d65768d80701fb00230a97e3badc17d018dfb9015e6eff16f8f4f2dda3db","last_reissued_at":"2026-05-17T23:54:47.787210Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:47.787210Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.00545","source_version":2,"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-17T23:54:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"07acuFp/ywvpS3s9MmW9swvC696yCFT+CAfFCECo/nAYbxh3KYrgSU/J2z8K+yWsg5pFoRjLihyhAqKB1OxBCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T12:20:45.394250Z"},"content_sha256":"cd2a8aa76d598ac0dc5dc3edc4b99f5297ef734d13d5498babd27bfff1ee0038","schema_version":"1.0","event_id":"sha256:cd2a8aa76d598ac0dc5dc3edc4b99f5297ef734d13d5498babd27bfff1ee0038"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:YUB5MV3I3ADQD6YAEMFJPY523Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantic Query Integration With Reason","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Germany), Martin Leinberger (University of Koblenz-Landau, Philipp Seifer (University of Koblenz-Landau, Ralf L\\\"ammel (University of Koblenz-Landau, Steffen Staab (University of Koblenz-Landau, University of Southampton","submitted_at":"2019-02-01T20:16:13Z","abstract_excerpt":"Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain specific knowledge in various technological or scientific domains. The flexibility of such approaches, however, makes programming with semantic data tedious and error-prone. In particular the logics-based data descriptions employed by OWL are problematic for existing error-detecting techniques, such as type systems. In this paper, we present DOTSpa, an advanced integration of semantic data into programming. We embed de"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.00545","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"},"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-17T23:54:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ijMOAINYX35o933UU7MzSa6LzgRvln/6v8I1zSzTLdYGZZVBjYPKaPwMQVTYmCxqMOOvX8zU+aqKvCpyo8MbDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T12:20:45.394841Z"},"content_sha256":"1ad3eda37f2d788524bcc715347cd9ca70bdcc8d8d526e837a51f9dcc162a09a","schema_version":"1.0","event_id":"sha256:1ad3eda37f2d788524bcc715347cd9ca70bdcc8d8d526e837a51f9dcc162a09a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YUB5MV3I3ADQD6YAEMFJPY523Q/bundle.json","state_url":"https://pith.science/pith/YUB5MV3I3ADQD6YAEMFJPY523Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YUB5MV3I3ADQD6YAEMFJPY523Q/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-31T12:20:45Z","links":{"resolver":"https://pith.science/pith/YUB5MV3I3ADQD6YAEMFJPY523Q","bundle":"https://pith.science/pith/YUB5MV3I3ADQD6YAEMFJPY523Q/bundle.json","state":"https://pith.science/pith/YUB5MV3I3ADQD6YAEMFJPY523Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YUB5MV3I3ADQD6YAEMFJPY523Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:YUB5MV3I3ADQD6YAEMFJPY523Q","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":"47384e0606ce865f506eb28e6159d8c03c3b220028f91a3540ed8a500ef9654f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-02-01T20:16:13Z","title_canon_sha256":"2149a9ce1340deaa602b1018a2a9a2a5f03ebaf6af00d99bc7a475cfadf11fa3"},"schema_version":"1.0","source":{"id":"1902.00545","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.00545","created_at":"2026-05-17T23:54:47Z"},{"alias_kind":"arxiv_version","alias_value":"1902.00545v2","created_at":"2026-05-17T23:54:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.00545","created_at":"2026-05-17T23:54:47Z"},{"alias_kind":"pith_short_12","alias_value":"YUB5MV3I3ADQ","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"YUB5MV3I3ADQD6YA","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"YUB5MV3I","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:1ad3eda37f2d788524bcc715347cd9ca70bdcc8d8d526e837a51f9dcc162a09a","target":"graph","created_at":"2026-05-17T23:54:47Z","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":"Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain specific knowledge in various technological or scientific domains. The flexibility of such approaches, however, makes programming with semantic data tedious and error-prone. In particular the logics-based data descriptions employed by OWL are problematic for existing error-detecting techniques, such as type systems. In this paper, we present DOTSpa, an advanced integration of semantic data into programming. We embed de","authors_text":"Germany), Martin Leinberger (University of Koblenz-Landau, Philipp Seifer (University of Koblenz-Landau, Ralf L\\\"ammel (University of Koblenz-Landau, Steffen Staab (University of Koblenz-Landau, University of Southampton","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-02-01T20:16:13Z","title":"Semantic Query Integration With Reason"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.00545","kind":"arxiv","version":2},"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:cd2a8aa76d598ac0dc5dc3edc4b99f5297ef734d13d5498babd27bfff1ee0038","target":"record","created_at":"2026-05-17T23:54:47Z","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":"47384e0606ce865f506eb28e6159d8c03c3b220028f91a3540ed8a500ef9654f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-02-01T20:16:13Z","title_canon_sha256":"2149a9ce1340deaa602b1018a2a9a2a5f03ebaf6af00d99bc7a475cfadf11fa3"},"schema_version":"1.0","source":{"id":"1902.00545","kind":"arxiv","version":2}},"canonical_sha256":"c503d65768d80701fb00230a97e3badc17d018dfb9015e6eff16f8f4f2dda3db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c503d65768d80701fb00230a97e3badc17d018dfb9015e6eff16f8f4f2dda3db","first_computed_at":"2026-05-17T23:54:47.787210Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:47.787210Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ng5Dnu4pKGwqP9HGxmR5Dl7z1AfuOKmXqf1Vt+Q09CgqxlTEfQewA3nIedEdPI7FVxei/aGLyl5qHhFg3ifcDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:47.787903Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.00545","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cd2a8aa76d598ac0dc5dc3edc4b99f5297ef734d13d5498babd27bfff1ee0038","sha256:1ad3eda37f2d788524bcc715347cd9ca70bdcc8d8d526e837a51f9dcc162a09a"],"state_sha256":"4b7b5e9e9de9558d3d73b51cb35af8b5494167230496af61e7988ba0479ef4ac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cdC0/ZsmtU8HIJ4xuDoy8LGDWvsP1aLxV5zdBr1tbRjmGehYvhBXNSmtEW/YRKJCXi6dRfnaxcz1D7IGpGyBBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T12:20:45.398031Z","bundle_sha256":"95d42fee746796c4b22b0e3e1ab8cb921a95af315bfd67e6949bec12af599e6e"}}