{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:3BFZ5G3M4IZPYGEAPANWJUMDMV","short_pith_number":"pith:3BFZ5G3M","schema_version":"1.0","canonical_sha256":"d84b9e9b6ce232fc1880781b64d1836551b45c70a8f2580d4991dc0403b5aa53","source":{"kind":"arxiv","id":"1709.04970","version":1},"attestation_state":"computed","paper":{"title":"Integrating Context of Statements within Description Logics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Antoine Zimmermann, Jos\\'e M. Gim\\'enez-Garc\\'ia","submitted_at":"2017-09-14T20:38:31Z","abstract_excerpt":"We address the problem of providing contextual information about a logical formula (eg provenance, date of validity, or confidence) and representing it within a logical system. In this case, it is needed to rely on a higher order or non standard formalism, or some kind of reification mechanism. We explore the case of reification and formalize the concept of contextualizing logical statements in the case of Description Logics. Then, we define several properties of contextualization that are desirable. No previous approaches satisfy all of the them. Consequently, we define a new way of contextua"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1709.04970","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2017-09-14T20:38:31Z","cross_cats_sorted":[],"title_canon_sha256":"76488634e635168d87c4c2c9862547d07e7d7b809be2b9ffc6903d2904b6c210","abstract_canon_sha256":"1b87c1a8dcc0835313f4b03aafbe044bd9abd53d5d33155e3410ba00705a5d1d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:08.719805Z","signature_b64":"N+Pmq2AnvyeyqBToxNOK8FrfRfguCxKxxpYJzYsj62cBHME3ScXMoLHiGQU7uqz2kHhxsnIR4bXl+zchyAyZBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d84b9e9b6ce232fc1880781b64d1836551b45c70a8f2580d4991dc0403b5aa53","last_reissued_at":"2026-05-18T00:35:08.719419Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:08.719419Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Integrating Context of Statements within Description Logics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Antoine Zimmermann, Jos\\'e M. Gim\\'enez-Garc\\'ia","submitted_at":"2017-09-14T20:38:31Z","abstract_excerpt":"We address the problem of providing contextual information about a logical formula (eg provenance, date of validity, or confidence) and representing it within a logical system. In this case, it is needed to rely on a higher order or non standard formalism, or some kind of reification mechanism. We explore the case of reification and formalize the concept of contextualizing logical statements in the case of Description Logics. Then, we define several properties of contextualization that are desirable. No previous approaches satisfy all of the them. Consequently, we define a new way of contextua"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.04970","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1709.04970","created_at":"2026-05-18T00:35:08.719484+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.04970v1","created_at":"2026-05-18T00:35:08.719484+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.04970","created_at":"2026-05-18T00:35:08.719484+00:00"},{"alias_kind":"pith_short_12","alias_value":"3BFZ5G3M4IZP","created_at":"2026-05-18T12:30:58.224056+00:00"},{"alias_kind":"pith_short_16","alias_value":"3BFZ5G3M4IZPYGEA","created_at":"2026-05-18T12:30:58.224056+00:00"},{"alias_kind":"pith_short_8","alias_value":"3BFZ5G3M","created_at":"2026-05-18T12:30:58.224056+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3BFZ5G3M4IZPYGEAPANWJUMDMV","json":"https://pith.science/pith/3BFZ5G3M4IZPYGEAPANWJUMDMV.json","graph_json":"https://pith.science/api/pith-number/3BFZ5G3M4IZPYGEAPANWJUMDMV/graph.json","events_json":"https://pith.science/api/pith-number/3BFZ5G3M4IZPYGEAPANWJUMDMV/events.json","paper":"https://pith.science/paper/3BFZ5G3M"},"agent_actions":{"view_html":"https://pith.science/pith/3BFZ5G3M4IZPYGEAPANWJUMDMV","download_json":"https://pith.science/pith/3BFZ5G3M4IZPYGEAPANWJUMDMV.json","view_paper":"https://pith.science/paper/3BFZ5G3M","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.04970&json=true","fetch_graph":"https://pith.science/api/pith-number/3BFZ5G3M4IZPYGEAPANWJUMDMV/graph.json","fetch_events":"https://pith.science/api/pith-number/3BFZ5G3M4IZPYGEAPANWJUMDMV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3BFZ5G3M4IZPYGEAPANWJUMDMV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3BFZ5G3M4IZPYGEAPANWJUMDMV/action/storage_attestation","attest_author":"https://pith.science/pith/3BFZ5G3M4IZPYGEAPANWJUMDMV/action/author_attestation","sign_citation":"https://pith.science/pith/3BFZ5G3M4IZPYGEAPANWJUMDMV/action/citation_signature","submit_replication":"https://pith.science/pith/3BFZ5G3M4IZPYGEAPANWJUMDMV/action/replication_record"}},"created_at":"2026-05-18T00:35:08.719484+00:00","updated_at":"2026-05-18T00:35:08.719484+00:00"}