{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:GWQQHYZP36J73VBBSXFHUVCJFG","short_pith_number":"pith:GWQQHYZP","canonical_record":{"source":{"id":"1904.06919","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-15T09:17:01Z","cross_cats_sorted":[],"title_canon_sha256":"038ebd767edd6f2f76785c6a8dc256283887103c0a7ecdec7c30f649cd0a95f5","abstract_canon_sha256":"83b96331738353f16119cfba5fe3bef52f90419d8b6539356cc4cadc3977e02e"},"schema_version":"1.0"},"canonical_sha256":"35a103e32fdf93fdd42195ca7a544929ab328fee712f379e683e0502fa424043","source":{"kind":"arxiv","id":"1904.06919","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.06919","created_at":"2026-05-17T23:48:35Z"},{"alias_kind":"arxiv_version","alias_value":"1904.06919v1","created_at":"2026-05-17T23:48:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.06919","created_at":"2026-05-17T23:48:35Z"},{"alias_kind":"pith_short_12","alias_value":"GWQQHYZP36J7","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"GWQQHYZP36J73VBB","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"GWQQHYZP","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:GWQQHYZP36J73VBBSXFHUVCJFG","target":"record","payload":{"canonical_record":{"source":{"id":"1904.06919","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-15T09:17:01Z","cross_cats_sorted":[],"title_canon_sha256":"038ebd767edd6f2f76785c6a8dc256283887103c0a7ecdec7c30f649cd0a95f5","abstract_canon_sha256":"83b96331738353f16119cfba5fe3bef52f90419d8b6539356cc4cadc3977e02e"},"schema_version":"1.0"},"canonical_sha256":"35a103e32fdf93fdd42195ca7a544929ab328fee712f379e683e0502fa424043","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:35.764888Z","signature_b64":"ph6CG3d9NETcmctkBkL+tBnX0b15NW33CFha319FKgY5bSWtGUj8zkTeeY/ITk3YdDSJazzZ8AONJIHRxeUYAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"35a103e32fdf93fdd42195ca7a544929ab328fee712f379e683e0502fa424043","last_reissued_at":"2026-05-17T23:48:35.764114Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:35.764114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.06919","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-17T23:48:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3E1YFS+83wgK0PxqmjlvC/20MRSbRleF5Wf1IjgKyDJ+0HX/Vo9iv3MRHEokP+uElS8idCcLWWIjx3ysHH7gDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:02:51.475737Z"},"content_sha256":"58d5686034180497b878eff962c3fbe6b40a95e31c9cec519d1230fa920fcc9e","schema_version":"1.0","event_id":"sha256:58d5686034180497b878eff962c3fbe6b40a95e31c9cec519d1230fa920fcc9e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:GWQQHYZP36J73VBBSXFHUVCJFG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model Comparison Games for Horn Description Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Fabio Papacchini, Frank Wolter, Jean Christoph Jung, Michael Zakharyaschev","submitted_at":"2019-04-15T09:17:01Z","abstract_excerpt":"Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated query answering is in PTime for data complexity. They were independently introduced in modal logic to capture the intersection of Horn first-order logic with modal logic. In this paper, we introduce model comparison games for the basic Horn description logic hornALC (corresponding to the basic Horn modal logic) and use them to obtain an Ehrenfeucht-Fra\\\"iss\\'e type definability result and a van Benthem style expressiv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.06919","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-17T23:48:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oHGGA/xBsXS4reBVZIpfUbfDVkHQWPxPyF5MABZV86aJ89hxtDFrbOjG3QRmsykpYLCaZuUltzydbc9gd0bDDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:02:51.476098Z"},"content_sha256":"f99898735a981574e5d580261a4721bb5792bed9217f863ff3ef52f5604fff95","schema_version":"1.0","event_id":"sha256:f99898735a981574e5d580261a4721bb5792bed9217f863ff3ef52f5604fff95"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GWQQHYZP36J73VBBSXFHUVCJFG/bundle.json","state_url":"https://pith.science/pith/GWQQHYZP36J73VBBSXFHUVCJFG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GWQQHYZP36J73VBBSXFHUVCJFG/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-07T11:02:51Z","links":{"resolver":"https://pith.science/pith/GWQQHYZP36J73VBBSXFHUVCJFG","bundle":"https://pith.science/pith/GWQQHYZP36J73VBBSXFHUVCJFG/bundle.json","state":"https://pith.science/pith/GWQQHYZP36J73VBBSXFHUVCJFG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GWQQHYZP36J73VBBSXFHUVCJFG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:GWQQHYZP36J73VBBSXFHUVCJFG","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":"83b96331738353f16119cfba5fe3bef52f90419d8b6539356cc4cadc3977e02e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-15T09:17:01Z","title_canon_sha256":"038ebd767edd6f2f76785c6a8dc256283887103c0a7ecdec7c30f649cd0a95f5"},"schema_version":"1.0","source":{"id":"1904.06919","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.06919","created_at":"2026-05-17T23:48:35Z"},{"alias_kind":"arxiv_version","alias_value":"1904.06919v1","created_at":"2026-05-17T23:48:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.06919","created_at":"2026-05-17T23:48:35Z"},{"alias_kind":"pith_short_12","alias_value":"GWQQHYZP36J7","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"GWQQHYZP36J73VBB","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"GWQQHYZP","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:f99898735a981574e5d580261a4721bb5792bed9217f863ff3ef52f5604fff95","target":"graph","created_at":"2026-05-17T23:48:35Z","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":"Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated query answering is in PTime for data complexity. They were independently introduced in modal logic to capture the intersection of Horn first-order logic with modal logic. In this paper, we introduce model comparison games for the basic Horn description logic hornALC (corresponding to the basic Horn modal logic) and use them to obtain an Ehrenfeucht-Fra\\\"iss\\'e type definability result and a van Benthem style expressiv","authors_text":"Fabio Papacchini, Frank Wolter, Jean Christoph Jung, Michael Zakharyaschev","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-15T09:17:01Z","title":"Model Comparison Games for Horn Description Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.06919","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:58d5686034180497b878eff962c3fbe6b40a95e31c9cec519d1230fa920fcc9e","target":"record","created_at":"2026-05-17T23:48:35Z","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":"83b96331738353f16119cfba5fe3bef52f90419d8b6539356cc4cadc3977e02e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-15T09:17:01Z","title_canon_sha256":"038ebd767edd6f2f76785c6a8dc256283887103c0a7ecdec7c30f649cd0a95f5"},"schema_version":"1.0","source":{"id":"1904.06919","kind":"arxiv","version":1}},"canonical_sha256":"35a103e32fdf93fdd42195ca7a544929ab328fee712f379e683e0502fa424043","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"35a103e32fdf93fdd42195ca7a544929ab328fee712f379e683e0502fa424043","first_computed_at":"2026-05-17T23:48:35.764114Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:35.764114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ph6CG3d9NETcmctkBkL+tBnX0b15NW33CFha319FKgY5bSWtGUj8zkTeeY/ITk3YdDSJazzZ8AONJIHRxeUYAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:35.764888Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.06919","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:58d5686034180497b878eff962c3fbe6b40a95e31c9cec519d1230fa920fcc9e","sha256:f99898735a981574e5d580261a4721bb5792bed9217f863ff3ef52f5604fff95"],"state_sha256":"9d0b23f9d950488f0594d022cb7049d33638572046813c5a222071c303cc03bf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AO8QCxg420bx1ry/Re4/czxoPhUhcwl3VY68pzAnX3pjZQ+bqrVB/+IZHKfgbFsUEBUzT8KcIOExK3r4fVUFAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T11:02:51.479294Z","bundle_sha256":"81a108ace29e0283e6de7e598191cb8f6d45818edbee92a04d9bf6f898ffbe58"}}