{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:PSEXSHQ6TK5X46D2LRCBCHTDTF","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":"8c9c152a781edf429d77170b0683fed07e6a1c9e71b72a7131e6cd19a9f12b65","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T12:28:09Z","title_canon_sha256":"19695632909f961ac565609a277627a136e6e1c7a7bb25f182437be6b8614379"},"schema_version":"1.0","source":{"id":"2505.21103","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.21103","created_at":"2026-07-05T11:10:23Z"},{"alias_kind":"arxiv_version","alias_value":"2505.21103v1","created_at":"2026-07-05T11:10:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.21103","created_at":"2026-07-05T11:10:23Z"},{"alias_kind":"pith_short_12","alias_value":"PSEXSHQ6TK5X","created_at":"2026-07-05T11:10:23Z"},{"alias_kind":"pith_short_16","alias_value":"PSEXSHQ6TK5X46D2","created_at":"2026-07-05T11:10:23Z"},{"alias_kind":"pith_short_8","alias_value":"PSEXSHQ6","created_at":"2026-07-05T11:10:23Z"}],"graph_snapshots":[{"event_id":"sha256:9ac09ebbb4f9fdb0afa5cd620e28d8872268fd2b6b282037efdd69565f24b06e","target":"graph","created_at":"2026-07-05T11:10:23Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2505.21103/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Standard Description Logics (DLs) can encode quantitative aspects of an application domain through either number restrictions, which constrain the number of individuals that are in a certain relationship with an individual, or concrete domains, which can be used to assign concrete values to individuals using so-called features. These two mechanisms have been extended towards very expressive DLs, for which reasoning nevertheless remains decidable. Number restrictions have been generalized to more powerful comparisons of sets of role successors in $\\mathcal{ALCSCC}$, while the comparison of feat","authors_text":"Filippo De Bortoli, Franz Baader, Patrick Koopmann, Stefan Borgwardt","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T12:28:09Z","title":"Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.21103","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:dcfff4e727bf95a18de317fc4f64be2018e2943989a2703cdf98caf1c6993972","target":"record","created_at":"2026-07-05T11:10:23Z","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":"8c9c152a781edf429d77170b0683fed07e6a1c9e71b72a7131e6cd19a9f12b65","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-05-27T12:28:09Z","title_canon_sha256":"19695632909f961ac565609a277627a136e6e1c7a7bb25f182437be6b8614379"},"schema_version":"1.0","source":{"id":"2505.21103","kind":"arxiv","version":1}},"canonical_sha256":"7c89791e1e9abb7e787a5c44111e63996b6a30f910637bed5fe5999661163059","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c89791e1e9abb7e787a5c44111e63996b6a30f910637bed5fe5999661163059","first_computed_at":"2026-07-05T11:10:23.687263Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:10:23.687263Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IiIps+z8gYdhf/SJtiYeg8a0ZvcJci8QGNwwUfF8Ghn0c1bl0yitmEWY9bNnd8/NsZQ5JDcNx00hoq5oCo3uBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:10:23.687678Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.21103","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dcfff4e727bf95a18de317fc4f64be2018e2943989a2703cdf98caf1c6993972","sha256:9ac09ebbb4f9fdb0afa5cd620e28d8872268fd2b6b282037efdd69565f24b06e"],"state_sha256":"eca305c560f635716f2c4f6c4fe9bdb91ad46d70b0e4a46f58edf22db1b33e65"}