{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:MOOWTJ36GSBVZ45L7CL4RFNLEI","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":"6427b7dbde5df13fa02601cee369caa109a9d672ab9bc5ab4ae4e5e3bb93213e","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-07-07T14:00:06Z","title_canon_sha256":"9fbc0622399a392f59ae6f3735582dd8161bd09eddc9c5c8e05ca34d4a0d0575"},"schema_version":"1.0","source":{"id":"1607.02018","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.02018","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"arxiv_version","alias_value":"1607.02018v1","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02018","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"pith_short_12","alias_value":"MOOWTJ36GSBV","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"MOOWTJ36GSBVZ45L","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"MOOWTJ36","created_at":"2026-05-18T12:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:674300a8f9bee54ea6af4c64132fc0cfad2150e30ebb5c7a8f33aaedd59e4540","target":"graph","created_at":"2026-05-18T01:11:22Z","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":"In ontology-based data access, databases are connected to an ontology via mappings from queries over the database to queries over the ontology. In this paper, we consider mappings from relational databases to first-order ontologies, and define an ASP-based framework for GLAV mappings with queries over the ontology in the mapping rule bodies. We show that this type of mappings can be used to express constraints and exceptions, as well as being a powerful mechanism for succinctly representing OBDA mappings. We give an algorithm for brave reasoning in this setting, and show that this problem has ","authors_text":"Daniel P. Lupp, Evgenij Thorstensen","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-07-07T14:00:06Z","title":"Mapping Data to Ontologies with Exceptions Using Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02018","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:98c38e423250ca0a5fe116d7de7b3242f8d2c616cb4014fd7e110b1526ba44cc","target":"record","created_at":"2026-05-18T01:11:22Z","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":"6427b7dbde5df13fa02601cee369caa109a9d672ab9bc5ab4ae4e5e3bb93213e","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-07-07T14:00:06Z","title_canon_sha256":"9fbc0622399a392f59ae6f3735582dd8161bd09eddc9c5c8e05ca34d4a0d0575"},"schema_version":"1.0","source":{"id":"1607.02018","kind":"arxiv","version":1}},"canonical_sha256":"639d69a77e34835cf3abf897c895ab223451b0e3ae269da5927524ec9a6d49dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"639d69a77e34835cf3abf897c895ab223451b0e3ae269da5927524ec9a6d49dd","first_computed_at":"2026-05-18T01:11:22.767609Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:22.767609Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lxiyZaLOsXvqU+/506nEUrsuvT8iPga0cDitIAo4o0I74Kfq5SIrHi0bXnnBHOB16Wa0lhjN19P0DtN3lWAHBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:22.768386Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.02018","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98c38e423250ca0a5fe116d7de7b3242f8d2c616cb4014fd7e110b1526ba44cc","sha256:674300a8f9bee54ea6af4c64132fc0cfad2150e30ebb5c7a8f33aaedd59e4540"],"state_sha256":"4396cbd1b5213796b018687fd879901c27493e8b745b0713e30fc32951397259"}