{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:JWUFIXF5FJIVLYNRQMIRRNGLOX","short_pith_number":"pith:JWUFIXF5","canonical_record":{"source":{"id":"1504.05150","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-04-20T18:39:27Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"6f3970f876155ad8e88d1cc576e2997b1da2fb13b312366fb138b6f17f280f40","abstract_canon_sha256":"c5b941c9754dc30ad71cfee5b062832ff85e16b2de4463228a568c903b1b9de2"},"schema_version":"1.0"},"canonical_sha256":"4da8545cbd2a5155e1b1831118b4cb75d3885bd70f03059f09906a29e7a1f21b","source":{"kind":"arxiv","id":"1504.05150","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05150","created_at":"2026-05-18T02:18:14Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05150v2","created_at":"2026-05-18T02:18:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05150","created_at":"2026-05-18T02:18:14Z"},{"alias_kind":"pith_short_12","alias_value":"JWUFIXF5FJIV","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JWUFIXF5FJIVLYNR","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JWUFIXF5","created_at":"2026-05-18T12:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:JWUFIXF5FJIVLYNRQMIRRNGLOX","target":"record","payload":{"canonical_record":{"source":{"id":"1504.05150","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-04-20T18:39:27Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"6f3970f876155ad8e88d1cc576e2997b1da2fb13b312366fb138b6f17f280f40","abstract_canon_sha256":"c5b941c9754dc30ad71cfee5b062832ff85e16b2de4463228a568c903b1b9de2"},"schema_version":"1.0"},"canonical_sha256":"4da8545cbd2a5155e1b1831118b4cb75d3885bd70f03059f09906a29e7a1f21b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:18:14.897389Z","signature_b64":"v4ue9km1OAiaQJxwNmyp73LKJxEaxGEvHqf5BEC+rGooRKiIIhuOMGTvEwNVescdMauO2hExXXKdVgcV/ymwCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4da8545cbd2a5155e1b1831118b4cb75d3885bd70f03059f09906a29e7a1f21b","last_reissued_at":"2026-05-18T02:18:14.896670Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:18:14.896670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.05150","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-18T02:18:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OhyvcNj7pzyozTkWkGCfGgvcWge2LQnSKBFn0bplWGF0/s54G0d72FexYeesjzKAUbceNsbkaX+lq6+5vq+HBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T10:29:52.991477Z"},"content_sha256":"b085dee93599e69857627f170a52c6fff0d4d033a360e49c0f57f8d7ed4bf5e8","schema_version":"1.0","event_id":"sha256:b085dee93599e69857627f170a52c6fff0d4d033a360e49c0f57f8d7ed4bf5e8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:JWUFIXF5FJIVLYNRQMIRRNGLOX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computing Horn Rewritings of Description Logics Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Bernardo Cuenca Grau, Mark Kaminski","submitted_at":"2015-04-20T18:39:27Z","abstract_excerpt":"We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary dataset. Ontologies that admit such rewritings are amenable to reasoning techniques ensuring tractability in data complexity. After showing undecidability whenever L1 extends ALCF, we focus on devising efficiently checkable conditions that ensure existence of a Horn rewriting. By lifting existing techniques for rewriting Disjunctive Datalog programs into plain Datalog to the case of arbitrary first-order programs with "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05150","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-18T02:18:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yktlId/CVWUk0eF9ohe0VEChSDQOE/0FimVcSJ4A0ruJQQxnPkhfAsMONdH2eNk3MP0qhqMrXJjIBL3iHq1eBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T10:29:52.991829Z"},"content_sha256":"ee58812ffe9c1d46bd09f8c8be1bd03cae4dae76ac16d115e1bab8bdb04b3fef","schema_version":"1.0","event_id":"sha256:ee58812ffe9c1d46bd09f8c8be1bd03cae4dae76ac16d115e1bab8bdb04b3fef"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JWUFIXF5FJIVLYNRQMIRRNGLOX/bundle.json","state_url":"https://pith.science/pith/JWUFIXF5FJIVLYNRQMIRRNGLOX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JWUFIXF5FJIVLYNRQMIRRNGLOX/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-28T10:29:52Z","links":{"resolver":"https://pith.science/pith/JWUFIXF5FJIVLYNRQMIRRNGLOX","bundle":"https://pith.science/pith/JWUFIXF5FJIVLYNRQMIRRNGLOX/bundle.json","state":"https://pith.science/pith/JWUFIXF5FJIVLYNRQMIRRNGLOX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JWUFIXF5FJIVLYNRQMIRRNGLOX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:JWUFIXF5FJIVLYNRQMIRRNGLOX","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":"c5b941c9754dc30ad71cfee5b062832ff85e16b2de4463228a568c903b1b9de2","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-04-20T18:39:27Z","title_canon_sha256":"6f3970f876155ad8e88d1cc576e2997b1da2fb13b312366fb138b6f17f280f40"},"schema_version":"1.0","source":{"id":"1504.05150","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05150","created_at":"2026-05-18T02:18:14Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05150v2","created_at":"2026-05-18T02:18:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05150","created_at":"2026-05-18T02:18:14Z"},{"alias_kind":"pith_short_12","alias_value":"JWUFIXF5FJIV","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JWUFIXF5FJIVLYNR","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JWUFIXF5","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:ee58812ffe9c1d46bd09f8c8be1bd03cae4dae76ac16d115e1bab8bdb04b3fef","target":"graph","created_at":"2026-05-18T02:18:14Z","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":"We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary dataset. Ontologies that admit such rewritings are amenable to reasoning techniques ensuring tractability in data complexity. After showing undecidability whenever L1 extends ALCF, we focus on devising efficiently checkable conditions that ensure existence of a Horn rewriting. By lifting existing techniques for rewriting Disjunctive Datalog programs into plain Datalog to the case of arbitrary first-order programs with ","authors_text":"Bernardo Cuenca Grau, Mark Kaminski","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-04-20T18:39:27Z","title":"Computing Horn Rewritings of Description Logics Ontologies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05150","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:b085dee93599e69857627f170a52c6fff0d4d033a360e49c0f57f8d7ed4bf5e8","target":"record","created_at":"2026-05-18T02:18:14Z","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":"c5b941c9754dc30ad71cfee5b062832ff85e16b2de4463228a568c903b1b9de2","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-04-20T18:39:27Z","title_canon_sha256":"6f3970f876155ad8e88d1cc576e2997b1da2fb13b312366fb138b6f17f280f40"},"schema_version":"1.0","source":{"id":"1504.05150","kind":"arxiv","version":2}},"canonical_sha256":"4da8545cbd2a5155e1b1831118b4cb75d3885bd70f03059f09906a29e7a1f21b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4da8545cbd2a5155e1b1831118b4cb75d3885bd70f03059f09906a29e7a1f21b","first_computed_at":"2026-05-18T02:18:14.896670Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:18:14.896670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v4ue9km1OAiaQJxwNmyp73LKJxEaxGEvHqf5BEC+rGooRKiIIhuOMGTvEwNVescdMauO2hExXXKdVgcV/ymwCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:18:14.897389Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.05150","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b085dee93599e69857627f170a52c6fff0d4d033a360e49c0f57f8d7ed4bf5e8","sha256:ee58812ffe9c1d46bd09f8c8be1bd03cae4dae76ac16d115e1bab8bdb04b3fef"],"state_sha256":"cb97936c2990d9be315c59d1a3048690e230b090c0716cad9ea4511aac364a8b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VskN07YSDjSOCfbUH17mp/bgMQAtS6lolX9b5fxaflTnfBjpa8SfH0b+PgxOqYitmfHr/TDC7OPXXyF36TxOCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T10:29:52.993795Z","bundle_sha256":"ffa47504945b2fac912a450e1f464621e5e4f58d13af24ac32ac8efe80c16c73"}}