{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:C3FUIMFZTRUFA6CL4CI2VRNDXP","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":"6b0603f68aca7b4ca131ec826970d85078bcb044490af504d178d3fe911b0719","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-18T21:10:03Z","title_canon_sha256":"2b0142548dfd874c9c60f1653cd0cb580b42b178f5b9a266b5245b129c370e37"},"schema_version":"1.0","source":{"id":"1401.4604","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.4604","created_at":"2026-05-18T03:01:45Z"},{"alias_kind":"arxiv_version","alias_value":"1401.4604v1","created_at":"2026-05-18T03:01:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.4604","created_at":"2026-05-18T03:01:45Z"},{"alias_kind":"pith_short_12","alias_value":"C3FUIMFZTRUF","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"C3FUIMFZTRUFA6CL","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"C3FUIMFZ","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:6b0f6969c31dc66cf21bdd36abd7437b09c525a3e20d909ee260b887186b7bbc","target":"graph","created_at":"2026-05-18T03:01:45Z","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":"To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at least one query, ontology, and data set. The lack of completeness guarantees, however, may be unacceptable for applications in areas such as health care and defence, where missing answers can adversely affect the applications functionality. Furthermore, even if an application can tolerate some level of incompleteness, it is often advantageous to estimate how many and what kind of answers are being lost.\n\nIn this paper","authors_text":"Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-18T21:10:03Z","title":"Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.4604","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:f438e21de064e9e5ffe68195f1db700839c4a88a06a0c188aee955e9e37389cb","target":"record","created_at":"2026-05-18T03:01:45Z","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":"6b0603f68aca7b4ca131ec826970d85078bcb044490af504d178d3fe911b0719","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-18T21:10:03Z","title_canon_sha256":"2b0142548dfd874c9c60f1653cd0cb580b42b178f5b9a266b5245b129c370e37"},"schema_version":"1.0","source":{"id":"1401.4604","kind":"arxiv","version":1}},"canonical_sha256":"16cb4430b99c6850784be091aac5a3bbf07d379c5e66c976fcd6c599805a3cf9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"16cb4430b99c6850784be091aac5a3bbf07d379c5e66c976fcd6c599805a3cf9","first_computed_at":"2026-05-18T03:01:45.244673Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:45.244673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kq9LDgnni/RlSYnoi/NDPgXBbQeEhEKVEJCM6K4KLDK6/y/jniEi0lFW9HtJOTK3x43v6CKHekpp33NuyFU7Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:45.245406Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.4604","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f438e21de064e9e5ffe68195f1db700839c4a88a06a0c188aee955e9e37389cb","sha256:6b0f6969c31dc66cf21bdd36abd7437b09c525a3e20d909ee260b887186b7bbc"],"state_sha256":"99fcb8b7a1432d3e576bd235dd30a20bdc178be483e4e7f5790a94a7b888d067"}