{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:2B2A7G3GSLWUDQJ5J3DWSVHRH3","short_pith_number":"pith:2B2A7G3G","schema_version":"1.0","canonical_sha256":"d0740f9b6692ed41c13d4ec76954f13ef78d4b2fae0530474595fb6bb0f8c5f4","source":{"kind":"arxiv","id":"1311.2973","version":1},"attestation_state":"computed","paper":{"title":"Locality and applications to subsumption testing and interpolation in $\\mathcal{EL}$ and some of its extensions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Viorica Sofronie-Stokkermans","submitted_at":"2013-11-12T22:27:26Z","abstract_excerpt":"In this paper we show that subsumption problems in lightweight description logics (such as $\\mathcal{EL}$ and $\\mathcal{EL}^+$) can be expressed as uniform word problems in classes of semilattices with monotone operators. We use possibilities of efficient local reasoning in such classes of algebras, to obtain uniform PTIME decision procedures for CBox subsumption in $\\mathcal{EL}$, $\\mathcal{EL}^+$ and extensions thereof. These locality considerations allow us to present a new family of (possibly many-sorted) logics which extend $\\mathcal{EL}$ and $\\mathcal{EL}^+$ with $n$-ary roles and/or num"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1311.2973","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-11-12T22:27:26Z","cross_cats_sorted":[],"title_canon_sha256":"75177d757f9338496567e0bedd0b48882dd232b9a541fa6237d365ed4865092d","abstract_canon_sha256":"b1ec4e6bda0e66aec0cfcbe96bd385d315bb12e7925985b62ce3cfd52ab07772"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:13.507674Z","signature_b64":"GAL3UJA4ct5MyrmhEXjYzfSp4EgGanlBAS9j+afZ0F2UO9ZheVveIivU/hBjcajN4W29+OmBjYGJCwbaNSdVCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0740f9b6692ed41c13d4ec76954f13ef78d4b2fae0530474595fb6bb0f8c5f4","last_reissued_at":"2026-05-18T03:07:13.507133Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:13.507133Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Locality and applications to subsumption testing and interpolation in $\\mathcal{EL}$ and some of its extensions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Viorica Sofronie-Stokkermans","submitted_at":"2013-11-12T22:27:26Z","abstract_excerpt":"In this paper we show that subsumption problems in lightweight description logics (such as $\\mathcal{EL}$ and $\\mathcal{EL}^+$) can be expressed as uniform word problems in classes of semilattices with monotone operators. We use possibilities of efficient local reasoning in such classes of algebras, to obtain uniform PTIME decision procedures for CBox subsumption in $\\mathcal{EL}$, $\\mathcal{EL}^+$ and extensions thereof. These locality considerations allow us to present a new family of (possibly many-sorted) logics which extend $\\mathcal{EL}$ and $\\mathcal{EL}^+$ with $n$-ary roles and/or num"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.2973","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1311.2973","created_at":"2026-05-18T03:07:13.507216+00:00"},{"alias_kind":"arxiv_version","alias_value":"1311.2973v1","created_at":"2026-05-18T03:07:13.507216+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.2973","created_at":"2026-05-18T03:07:13.507216+00:00"},{"alias_kind":"pith_short_12","alias_value":"2B2A7G3GSLWU","created_at":"2026-05-18T12:27:30.460161+00:00"},{"alias_kind":"pith_short_16","alias_value":"2B2A7G3GSLWUDQJ5","created_at":"2026-05-18T12:27:30.460161+00:00"},{"alias_kind":"pith_short_8","alias_value":"2B2A7G3G","created_at":"2026-05-18T12:27:30.460161+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2B2A7G3GSLWUDQJ5J3DWSVHRH3","json":"https://pith.science/pith/2B2A7G3GSLWUDQJ5J3DWSVHRH3.json","graph_json":"https://pith.science/api/pith-number/2B2A7G3GSLWUDQJ5J3DWSVHRH3/graph.json","events_json":"https://pith.science/api/pith-number/2B2A7G3GSLWUDQJ5J3DWSVHRH3/events.json","paper":"https://pith.science/paper/2B2A7G3G"},"agent_actions":{"view_html":"https://pith.science/pith/2B2A7G3GSLWUDQJ5J3DWSVHRH3","download_json":"https://pith.science/pith/2B2A7G3GSLWUDQJ5J3DWSVHRH3.json","view_paper":"https://pith.science/paper/2B2A7G3G","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1311.2973&json=true","fetch_graph":"https://pith.science/api/pith-number/2B2A7G3GSLWUDQJ5J3DWSVHRH3/graph.json","fetch_events":"https://pith.science/api/pith-number/2B2A7G3GSLWUDQJ5J3DWSVHRH3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2B2A7G3GSLWUDQJ5J3DWSVHRH3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2B2A7G3GSLWUDQJ5J3DWSVHRH3/action/storage_attestation","attest_author":"https://pith.science/pith/2B2A7G3GSLWUDQJ5J3DWSVHRH3/action/author_attestation","sign_citation":"https://pith.science/pith/2B2A7G3GSLWUDQJ5J3DWSVHRH3/action/citation_signature","submit_replication":"https://pith.science/pith/2B2A7G3GSLWUDQJ5J3DWSVHRH3/action/replication_record"}},"created_at":"2026-05-18T03:07:13.507216+00:00","updated_at":"2026-05-18T03:07:13.507216+00:00"}