{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:I7RX7RU45FTGF5KJTLKX2NY6CX","short_pith_number":"pith:I7RX7RU4","schema_version":"1.0","canonical_sha256":"47e37fc69ce96662f5499ad57d371e15fcad19884b754e466b901fc06c4b4a98","source":{"kind":"arxiv","id":"1402.0575","version":1},"attestation_state":"computed","paper":{"title":"Reasoning about Explanations for Negative Query Answers in DL-Lite","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Diego Calvanese, Giorgio Stefanoni, Magdalena Ortiz, Mantas Simkus","submitted_at":"2014-02-04T01:39:28Z","abstract_excerpt":"In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for Description Logics, where research has focused on the explanation of both TBox reasoning and, more recently, query answering. Besides explaining the  presence of a tuple in a query answer, it is important to explain also why a   given tuple is missing. We address the latter problem for instance and  conjunctive query answering over DL-Lite ontologies by adopting abductive  reasoning; that is, we look for additions to the ABox that force a given  tupl"},"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":"1402.0575","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-02-04T01:39:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"64dbb89b59d76d101e79c31c55dc80506d43d2ff351e97719b11bd075a01190e","abstract_canon_sha256":"85d5cc1de644769efea760ee4a4b2bd536dad7b1dd83f0716739477edb24b64d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:00:13.799529Z","signature_b64":"821fB7btLLOTVNU2trQBZsFrbbHGld5tLBV1vC7hUbQEhmE9CPzxtUrIDH7vMITH8cS7frDca0NLsbDSYGvCDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"47e37fc69ce96662f5499ad57d371e15fcad19884b754e466b901fc06c4b4a98","last_reissued_at":"2026-05-18T03:00:13.798929Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:00:13.798929Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reasoning about Explanations for Negative Query Answers in DL-Lite","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Diego Calvanese, Giorgio Stefanoni, Magdalena Ortiz, Mantas Simkus","submitted_at":"2014-02-04T01:39:28Z","abstract_excerpt":"In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for Description Logics, where research has focused on the explanation of both TBox reasoning and, more recently, query answering. Besides explaining the  presence of a tuple in a query answer, it is important to explain also why a   given tuple is missing. We address the latter problem for instance and  conjunctive query answering over DL-Lite ontologies by adopting abductive  reasoning; that is, we look for additions to the ABox that force a given  tupl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.0575","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":"1402.0575","created_at":"2026-05-18T03:00:13.799018+00:00"},{"alias_kind":"arxiv_version","alias_value":"1402.0575v1","created_at":"2026-05-18T03:00:13.799018+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.0575","created_at":"2026-05-18T03:00:13.799018+00:00"},{"alias_kind":"pith_short_12","alias_value":"I7RX7RU45FTG","created_at":"2026-05-18T12:28:33.132498+00:00"},{"alias_kind":"pith_short_16","alias_value":"I7RX7RU45FTGF5KJ","created_at":"2026-05-18T12:28:33.132498+00:00"},{"alias_kind":"pith_short_8","alias_value":"I7RX7RU4","created_at":"2026-05-18T12:28:33.132498+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/I7RX7RU45FTGF5KJTLKX2NY6CX","json":"https://pith.science/pith/I7RX7RU45FTGF5KJTLKX2NY6CX.json","graph_json":"https://pith.science/api/pith-number/I7RX7RU45FTGF5KJTLKX2NY6CX/graph.json","events_json":"https://pith.science/api/pith-number/I7RX7RU45FTGF5KJTLKX2NY6CX/events.json","paper":"https://pith.science/paper/I7RX7RU4"},"agent_actions":{"view_html":"https://pith.science/pith/I7RX7RU45FTGF5KJTLKX2NY6CX","download_json":"https://pith.science/pith/I7RX7RU45FTGF5KJTLKX2NY6CX.json","view_paper":"https://pith.science/paper/I7RX7RU4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1402.0575&json=true","fetch_graph":"https://pith.science/api/pith-number/I7RX7RU45FTGF5KJTLKX2NY6CX/graph.json","fetch_events":"https://pith.science/api/pith-number/I7RX7RU45FTGF5KJTLKX2NY6CX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/I7RX7RU45FTGF5KJTLKX2NY6CX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/I7RX7RU45FTGF5KJTLKX2NY6CX/action/storage_attestation","attest_author":"https://pith.science/pith/I7RX7RU45FTGF5KJTLKX2NY6CX/action/author_attestation","sign_citation":"https://pith.science/pith/I7RX7RU45FTGF5KJTLKX2NY6CX/action/citation_signature","submit_replication":"https://pith.science/pith/I7RX7RU45FTGF5KJTLKX2NY6CX/action/replication_record"}},"created_at":"2026-05-18T03:00:13.799018+00:00","updated_at":"2026-05-18T03:00:13.799018+00:00"}