{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:52DPMPZAFVZUGIJSFV23FZLHZ7","short_pith_number":"pith:52DPMPZA","canonical_record":{"source":{"id":"1705.04719","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-12T18:54:16Z","cross_cats_sorted":[],"title_canon_sha256":"ae9126ded7ef94fd1afd6df33c373e5c96cdbe1a18a10cc69e6e34e335b98edd","abstract_canon_sha256":"3b94b2a14623a7b75739f9e29b88190ec5116f286ae4861a5d6521542b30c87a"},"schema_version":"1.0"},"canonical_sha256":"ee86f63f202d734321322d75b2e567cff61734413582c40fd7054e59e8d319c5","source":{"kind":"arxiv","id":"1705.04719","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.04719","created_at":"2026-05-18T00:44:34Z"},{"alias_kind":"arxiv_version","alias_value":"1705.04719v1","created_at":"2026-05-18T00:44:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.04719","created_at":"2026-05-18T00:44:34Z"},{"alias_kind":"pith_short_12","alias_value":"52DPMPZAFVZU","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"52DPMPZAFVZUGIJS","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"52DPMPZA","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:52DPMPZAFVZUGIJSFV23FZLHZ7","target":"record","payload":{"canonical_record":{"source":{"id":"1705.04719","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-12T18:54:16Z","cross_cats_sorted":[],"title_canon_sha256":"ae9126ded7ef94fd1afd6df33c373e5c96cdbe1a18a10cc69e6e34e335b98edd","abstract_canon_sha256":"3b94b2a14623a7b75739f9e29b88190ec5116f286ae4861a5d6521542b30c87a"},"schema_version":"1.0"},"canonical_sha256":"ee86f63f202d734321322d75b2e567cff61734413582c40fd7054e59e8d319c5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:34.841444Z","signature_b64":"Ny/BZD3Tn+6xVOpDPM4sRRNk4ee6yQFmeXfhYQLuWdQ/GLhqTlk0lc89XOSFTTTx9TPsVwaX4qLmPCGi7dtmDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee86f63f202d734321322d75b2e567cff61734413582c40fd7054e59e8d319c5","last_reissued_at":"2026-05-18T00:44:34.840848Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:34.840848Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.04719","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-18T00:44:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2/oqZVi+O5k/+B/vQ1xvnWlIpay322D7AQTUA1XRdV5uKelVlPhjHucXr8AzDOz+cBCGa87JJ1G3wgv3pkhjCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T02:04:47.969678Z"},"content_sha256":"46a329d30c5eee80623900214983ed6017a671379b3b8e9a69fbf870d90e1a03","schema_version":"1.0","event_id":"sha256:46a329d30c5eee80623900214983ed6017a671379b3b8e9a69fbf870d90e1a03"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:52DPMPZAFVZUGIJSFV23FZLHZ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Complexity of Semantic Integration of OWL Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Denis Ponomaryov, Yevgeny Kazakov","submitted_at":"2017-05-12T18:54:16Z","abstract_excerpt":"We propose a new mechanism for integration of OWL ontologies using semantic import relations. In contrast to the standard OWL importing, we do not require all axioms of the imported ontologies to be taken into account for reasoning tasks, but only their logical implications over a chosen signature. This property comes natural in many ontology integration scenarios, especially when the number of ontologies is large. In this paper, we study the complexity of reasoning over ontologies with semantic import relations and establish a range of tight complexity bounds for various fragments of OWL."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.04719","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-18T00:44:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+4Dtjau7X294GTBiZEJyWDH4rnQ+DHi2TXVmv1Xkl4SBoo3NvlAzwWspeqUbE7UVsJMz/3mDRpPbauoBWUmsBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T02:04:47.970024Z"},"content_sha256":"a4d750ae21d232533979636629203d8bf86d44707efe82ce659b60e673d2dff7","schema_version":"1.0","event_id":"sha256:a4d750ae21d232533979636629203d8bf86d44707efe82ce659b60e673d2dff7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/52DPMPZAFVZUGIJSFV23FZLHZ7/bundle.json","state_url":"https://pith.science/pith/52DPMPZAFVZUGIJSFV23FZLHZ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/52DPMPZAFVZUGIJSFV23FZLHZ7/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-07-09T02:04:47Z","links":{"resolver":"https://pith.science/pith/52DPMPZAFVZUGIJSFV23FZLHZ7","bundle":"https://pith.science/pith/52DPMPZAFVZUGIJSFV23FZLHZ7/bundle.json","state":"https://pith.science/pith/52DPMPZAFVZUGIJSFV23FZLHZ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/52DPMPZAFVZUGIJSFV23FZLHZ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:52DPMPZAFVZUGIJSFV23FZLHZ7","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":"3b94b2a14623a7b75739f9e29b88190ec5116f286ae4861a5d6521542b30c87a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-12T18:54:16Z","title_canon_sha256":"ae9126ded7ef94fd1afd6df33c373e5c96cdbe1a18a10cc69e6e34e335b98edd"},"schema_version":"1.0","source":{"id":"1705.04719","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.04719","created_at":"2026-05-18T00:44:34Z"},{"alias_kind":"arxiv_version","alias_value":"1705.04719v1","created_at":"2026-05-18T00:44:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.04719","created_at":"2026-05-18T00:44:34Z"},{"alias_kind":"pith_short_12","alias_value":"52DPMPZAFVZU","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"52DPMPZAFVZUGIJS","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"52DPMPZA","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:a4d750ae21d232533979636629203d8bf86d44707efe82ce659b60e673d2dff7","target":"graph","created_at":"2026-05-18T00:44:34Z","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 propose a new mechanism for integration of OWL ontologies using semantic import relations. In contrast to the standard OWL importing, we do not require all axioms of the imported ontologies to be taken into account for reasoning tasks, but only their logical implications over a chosen signature. This property comes natural in many ontology integration scenarios, especially when the number of ontologies is large. In this paper, we study the complexity of reasoning over ontologies with semantic import relations and establish a range of tight complexity bounds for various fragments of OWL.","authors_text":"Denis Ponomaryov, Yevgeny Kazakov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-12T18:54:16Z","title":"On the Complexity of Semantic Integration of OWL Ontologies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.04719","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:46a329d30c5eee80623900214983ed6017a671379b3b8e9a69fbf870d90e1a03","target":"record","created_at":"2026-05-18T00:44:34Z","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":"3b94b2a14623a7b75739f9e29b88190ec5116f286ae4861a5d6521542b30c87a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-12T18:54:16Z","title_canon_sha256":"ae9126ded7ef94fd1afd6df33c373e5c96cdbe1a18a10cc69e6e34e335b98edd"},"schema_version":"1.0","source":{"id":"1705.04719","kind":"arxiv","version":1}},"canonical_sha256":"ee86f63f202d734321322d75b2e567cff61734413582c40fd7054e59e8d319c5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ee86f63f202d734321322d75b2e567cff61734413582c40fd7054e59e8d319c5","first_computed_at":"2026-05-18T00:44:34.840848Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:34.840848Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ny/BZD3Tn+6xVOpDPM4sRRNk4ee6yQFmeXfhYQLuWdQ/GLhqTlk0lc89XOSFTTTx9TPsVwaX4qLmPCGi7dtmDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:34.841444Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.04719","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:46a329d30c5eee80623900214983ed6017a671379b3b8e9a69fbf870d90e1a03","sha256:a4d750ae21d232533979636629203d8bf86d44707efe82ce659b60e673d2dff7"],"state_sha256":"b8618887e96ed6bde73f2d5dcb1e8cf68a72d631a433f0fdb7f26e5f5b3803d3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H7tqjNZGL89lkxa47aEvEy91+0vfDGATibR7lDSt7mS884xGUiIxlhKudIKgggP2X/5r4rwkQwdQv5ecx/A6Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T02:04:47.971902Z","bundle_sha256":"a1755b3ae5c66de247e9d96e43c24a9f065dd3aa941c0761ba719248ce3cdcda"}}