{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:373LCAISUGNP6MZ7UXZ42OXVAV","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":"563eee705aa79fbf2e1824fbd5494d0717efc8c7b11b4fb370e95148bb0e87ea","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2023-07-18T19:19:20Z","title_canon_sha256":"03aa181f0ec86576a2b75e1478cff936eab004e5fcf5c3d5a4e46842f14775f0"},"schema_version":"1.0","source":{"id":"2307.09561","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.09561","created_at":"2026-07-05T08:07:28Z"},{"alias_kind":"arxiv_version","alias_value":"2307.09561v3","created_at":"2026-07-05T08:07:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.09561","created_at":"2026-07-05T08:07:28Z"},{"alias_kind":"pith_short_12","alias_value":"373LCAISUGNP","created_at":"2026-07-05T08:07:28Z"},{"alias_kind":"pith_short_16","alias_value":"373LCAISUGNP6MZ7","created_at":"2026-07-05T08:07:28Z"},{"alias_kind":"pith_short_8","alias_value":"373LCAIS","created_at":"2026-07-05T08:07:28Z"}],"graph_snapshots":[{"event_id":"sha256:7192314255de96da3e57c51fc04bdb49c8f404101e49a4a1537e544060826ce3","target":"graph","created_at":"2026-07-05T08:07:28Z","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/2307.09561/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We define LE-ALC, a generalization of the description logic ALC based on the propositional logic of general (i.e. not necessarily distributive) lattices, and semantically interpreted on relational structures based on formal contexts from Formal Concept Analysis (FCA). The description logic LE-ALC allows us to formally describe databases with objects, features, and formal concepts, represented according to FCA as Galois-stable sets of objects and features. We describe ABoxes and TBoxes in LE-ALC, provide a tableaux algorithm for checking the consistency of LE-ALC knowledge bases with acyclic TB","authors_text":"Alessandra Palmigiano, Andrea De Domenico, Giuseppe Greco, Ineke van der Berg, Krishna B. Manoorkar, Mattia Panettiere","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2023-07-18T19:19:20Z","title":"Non-distributive description logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.09561","kind":"arxiv","version":3},"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:5b3494f3fbce423d8d5d52a1b3c53b40cb8db93dbea08a65d3a55f5bdf6bdb7d","target":"record","created_at":"2026-07-05T08:07:28Z","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":"563eee705aa79fbf2e1824fbd5494d0717efc8c7b11b4fb370e95148bb0e87ea","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2023-07-18T19:19:20Z","title_canon_sha256":"03aa181f0ec86576a2b75e1478cff936eab004e5fcf5c3d5a4e46842f14775f0"},"schema_version":"1.0","source":{"id":"2307.09561","kind":"arxiv","version":3}},"canonical_sha256":"dff6b10112a19aff333fa5f3cd3af5057f5049236de6650fa9642d0b81979e5c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dff6b10112a19aff333fa5f3cd3af5057f5049236de6650fa9642d0b81979e5c","first_computed_at":"2026-07-05T08:07:28.399502Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:07:28.399502Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XY7eYB9PZBYudQJgXRBrmWIr/ok5fKWM0AdH7u+ZM7YgH7QSaW/LV9VyKSS38D3KHUWnXO6YUjONuleU0hzADw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:07:28.399995Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.09561","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b3494f3fbce423d8d5d52a1b3c53b40cb8db93dbea08a65d3a55f5bdf6bdb7d","sha256:7192314255de96da3e57c51fc04bdb49c8f404101e49a4a1537e544060826ce3"],"state_sha256":"aaa075b14ad6770af82a60c9bde32a736e32bd470f998b587404639a3309feb7"}