{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:DA7FAGJW7VA5XKPD4YN2CZDBNY","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":"929482ec4c297130e79425cbe23352a49bbf9b87a50cc43ae512633fbd8f3df6","cross_cats_sorted":["math.LO"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.LO","submitted_at":"2013-05-24T18:27:52Z","title_canon_sha256":"cc731f0b8410cd7d6d80d9272cbe6bd1745de92f0bbb0539dcc20182b0b8eba1"},"schema_version":"1.0","source":{"id":"1305.5820","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.5820","created_at":"2026-05-18T03:24:54Z"},{"alias_kind":"arxiv_version","alias_value":"1305.5820v1","created_at":"2026-05-18T03:24:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.5820","created_at":"2026-05-18T03:24:54Z"},{"alias_kind":"pith_short_12","alias_value":"DA7FAGJW7VA5","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"DA7FAGJW7VA5XKPD","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"DA7FAGJW","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:c87b43e1ce2e472a36adfcc0e54ecf85b8e1cfba59a25d8f4060364c6a936bf2","target":"graph","created_at":"2026-05-18T03:24:54Z","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":"This thesis studies the model theoretic properties of the Description Logics (DLs) ALC, ALCI, ALCQ, as well as ALCO, ALCQO, ALCQIO and EL.\n  TBoxes of ALC, ALCI and ALCQ are characterised as fragments of FO which are invariant under global bisimulation and disjoint unions. The logics ALCO, ALCQO and ALCQIO, which incorporate individuals, are characterised w.r.t. to the class K of all interpretations which interpret individuals as singleton sets. The characterisations for TBoxes of ALCO and ALCQO both require additionally that an FO-sentence is, under certain circumstances, preserved under forw","authors_text":"Robert Piro","cross_cats":["math.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.LO","submitted_at":"2013-05-24T18:27:52Z","title":"Model Theoretic Characterisations of Description Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.5820","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:fc17d4e4414859bde365a452cf9a1746cacbc4b1829e8bfddbe27a23c5f3097d","target":"record","created_at":"2026-05-18T03:24:54Z","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":"929482ec4c297130e79425cbe23352a49bbf9b87a50cc43ae512633fbd8f3df6","cross_cats_sorted":["math.LO"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.LO","submitted_at":"2013-05-24T18:27:52Z","title_canon_sha256":"cc731f0b8410cd7d6d80d9272cbe6bd1745de92f0bbb0539dcc20182b0b8eba1"},"schema_version":"1.0","source":{"id":"1305.5820","kind":"arxiv","version":1}},"canonical_sha256":"183e501936fd41dba9e3e61ba164616e229b553bcb9bff7b444eee9fe413530c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"183e501936fd41dba9e3e61ba164616e229b553bcb9bff7b444eee9fe413530c","first_computed_at":"2026-05-18T03:24:54.733555Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:24:54.733555Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nl5dAQBjGEQQl63CXPpXdCt0FGtxIuYnlFf07NQDG2C5mjyDD0vnVp4hAR52AAsx/G/zskvvxUKb0f54gB/7BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:24:54.734194Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.5820","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc17d4e4414859bde365a452cf9a1746cacbc4b1829e8bfddbe27a23c5f3097d","sha256:c87b43e1ce2e472a36adfcc0e54ecf85b8e1cfba59a25d8f4060364c6a936bf2"],"state_sha256":"746666e74d5fe93c53099780450e0af056f7fc52db7525b46f1e8ec759290612"}