{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:5RU3SX4N2OSDD2C2W7BUM75HVE","short_pith_number":"pith:5RU3SX4N","canonical_record":{"source":{"id":"1508.02626","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-11T15:25:21Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f27dac1d7252bac5b309ac77fdf0649e78955b9c6fb47f23ae62a341990d5519","abstract_canon_sha256":"3581dc2fa24a063f7eb6a942b395d9fbc833ae1e92c2a1eac82970b74fe92ecb"},"schema_version":"1.0"},"canonical_sha256":"ec69b95f8dd3a431e85ab7c3467fa7a92cb90393957008841bc2751d3b843af9","source":{"kind":"arxiv","id":"1508.02626","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.02626","created_at":"2026-05-18T01:30:14Z"},{"alias_kind":"arxiv_version","alias_value":"1508.02626v2","created_at":"2026-05-18T01:30:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.02626","created_at":"2026-05-18T01:30:14Z"},{"alias_kind":"pith_short_12","alias_value":"5RU3SX4N2OSD","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"5RU3SX4N2OSDD2C2","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"5RU3SX4N","created_at":"2026-05-18T12:29:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:5RU3SX4N2OSDD2C2W7BUM75HVE","target":"record","payload":{"canonical_record":{"source":{"id":"1508.02626","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-11T15:25:21Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f27dac1d7252bac5b309ac77fdf0649e78955b9c6fb47f23ae62a341990d5519","abstract_canon_sha256":"3581dc2fa24a063f7eb6a942b395d9fbc833ae1e92c2a1eac82970b74fe92ecb"},"schema_version":"1.0"},"canonical_sha256":"ec69b95f8dd3a431e85ab7c3467fa7a92cb90393957008841bc2751d3b843af9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:30:14.968887Z","signature_b64":"g4AIKhGe4Klz/W3K6TqvLqCDkzTvSVRDbBfvRNrKABQkngt8y/qOaSGCumsHo95Yalk1o8N05hv7PPtNcQDeBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec69b95f8dd3a431e85ab7c3467fa7a92cb90393957008841bc2751d3b843af9","last_reissued_at":"2026-05-18T01:30:14.968238Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:30:14.968238Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.02626","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-18T01:30:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+NbQyUPVAi+ERGPehxqaQ9DVeba2133cMe+iUVDTaCMha80TggsAqgjtCCONZvjUAshFUkFdDNDkO9u8riX2Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:07:30.442239Z"},"content_sha256":"453aead477b10d87eb7c11d50b613bf5c45f1c2f772f5d12101d64055c8edc5f","schema_version":"1.0","event_id":"sha256:453aead477b10d87eb7c11d50b613bf5c45f1c2f772f5d12101d64055c8edc5f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:5RU3SX4N2OSDD2C2W7BUM75HVE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Anni-Yasmin Turhan, Rafael Pe\\~naloza, Stefan Borgwardt, Theofilos Mailis","submitted_at":"2015-08-11T15:25:21Z","abstract_excerpt":"Fuzzy Description Logics (DLs) provide a means for representing vague knowledge about an application domain. In this paper, we study fuzzy extensions of conjunctive queries (CQs) over the DL $\\mathcal{SROIQ}$ based on finite chains of degrees of truth. To answer such queries, we extend a well-known technique that reduces the fuzzy ontology to a classical one, and use classical DL reasoners as a black box. We improve the complexity of previous reduction techniques for finitely valued fuzzy DLs, which allows us to prove tight complexity results for answering certain kinds of fuzzy CQs. We conclu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.02626","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-18T01:30:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8oapfW4bfczCkawsU6ZYe9O8QLNbCP0Hh2Ik2GQW1mRBazM+7v58FrfIozeUi/UkuXoDtss1pV56ZueAq9mJDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:07:30.442614Z"},"content_sha256":"fd2f38ba0331fd6778da7d4c3d7ea64aaf407ccf1b24eec67a6936b4726d1cb4","schema_version":"1.0","event_id":"sha256:fd2f38ba0331fd6778da7d4c3d7ea64aaf407ccf1b24eec67a6936b4726d1cb4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5RU3SX4N2OSDD2C2W7BUM75HVE/bundle.json","state_url":"https://pith.science/pith/5RU3SX4N2OSDD2C2W7BUM75HVE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5RU3SX4N2OSDD2C2W7BUM75HVE/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-28T04:07:30Z","links":{"resolver":"https://pith.science/pith/5RU3SX4N2OSDD2C2W7BUM75HVE","bundle":"https://pith.science/pith/5RU3SX4N2OSDD2C2W7BUM75HVE/bundle.json","state":"https://pith.science/pith/5RU3SX4N2OSDD2C2W7BUM75HVE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5RU3SX4N2OSDD2C2W7BUM75HVE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:5RU3SX4N2OSDD2C2W7BUM75HVE","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":"3581dc2fa24a063f7eb6a942b395d9fbc833ae1e92c2a1eac82970b74fe92ecb","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-11T15:25:21Z","title_canon_sha256":"f27dac1d7252bac5b309ac77fdf0649e78955b9c6fb47f23ae62a341990d5519"},"schema_version":"1.0","source":{"id":"1508.02626","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.02626","created_at":"2026-05-18T01:30:14Z"},{"alias_kind":"arxiv_version","alias_value":"1508.02626v2","created_at":"2026-05-18T01:30:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.02626","created_at":"2026-05-18T01:30:14Z"},{"alias_kind":"pith_short_12","alias_value":"5RU3SX4N2OSD","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"5RU3SX4N2OSDD2C2","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"5RU3SX4N","created_at":"2026-05-18T12:29:07Z"}],"graph_snapshots":[{"event_id":"sha256:fd2f38ba0331fd6778da7d4c3d7ea64aaf407ccf1b24eec67a6936b4726d1cb4","target":"graph","created_at":"2026-05-18T01:30: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":"Fuzzy Description Logics (DLs) provide a means for representing vague knowledge about an application domain. In this paper, we study fuzzy extensions of conjunctive queries (CQs) over the DL $\\mathcal{SROIQ}$ based on finite chains of degrees of truth. To answer such queries, we extend a well-known technique that reduces the fuzzy ontology to a classical one, and use classical DL reasoners as a black box. We improve the complexity of previous reduction techniques for finitely valued fuzzy DLs, which allows us to prove tight complexity results for answering certain kinds of fuzzy CQs. We conclu","authors_text":"Anni-Yasmin Turhan, Rafael Pe\\~naloza, Stefan Borgwardt, Theofilos Mailis","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-11T15:25:21Z","title":"Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.02626","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:453aead477b10d87eb7c11d50b613bf5c45f1c2f772f5d12101d64055c8edc5f","target":"record","created_at":"2026-05-18T01:30: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":"3581dc2fa24a063f7eb6a942b395d9fbc833ae1e92c2a1eac82970b74fe92ecb","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-11T15:25:21Z","title_canon_sha256":"f27dac1d7252bac5b309ac77fdf0649e78955b9c6fb47f23ae62a341990d5519"},"schema_version":"1.0","source":{"id":"1508.02626","kind":"arxiv","version":2}},"canonical_sha256":"ec69b95f8dd3a431e85ab7c3467fa7a92cb90393957008841bc2751d3b843af9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec69b95f8dd3a431e85ab7c3467fa7a92cb90393957008841bc2751d3b843af9","first_computed_at":"2026-05-18T01:30:14.968238Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:30:14.968238Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"g4AIKhGe4Klz/W3K6TqvLqCDkzTvSVRDbBfvRNrKABQkngt8y/qOaSGCumsHo95Yalk1o8N05hv7PPtNcQDeBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:30:14.968887Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.02626","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:453aead477b10d87eb7c11d50b613bf5c45f1c2f772f5d12101d64055c8edc5f","sha256:fd2f38ba0331fd6778da7d4c3d7ea64aaf407ccf1b24eec67a6936b4726d1cb4"],"state_sha256":"cc67c9a0ef9c3a4cd67fa0595647a44f1ac16f3ce3322d1467cef29ac5992484"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VzsNI1Zhz+nD48bLyH8m/NryOOKfz9nrJi510qXeeFvfblzLx60BCHFq0CFFY4PrRscF51HmrFy8VnzHQs4yDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T04:07:30.444636Z","bundle_sha256":"b88779fea327bc88160834005c3cf7d988f3e6238bfca23d0106c113db7dd1dd"}}