{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:73KE6QQBHNIZFLWCTTIKVTJGJJ","short_pith_number":"pith:73KE6QQB","schema_version":"1.0","canonical_sha256":"fed44f42013b5192aec29cd0aacd264a4b094d25a661f07253e6f8803538faf7","source":{"kind":"arxiv","id":"1401.3476","version":1},"attestation_state":"computed","paper":{"title":"The Complexity of Circumscription in DLs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Carsten Lutz, Frank Wolter, Piero A. Bonatti","submitted_at":"2014-01-15T05:32:08Z","abstract_excerpt":"As fragments of first-order logic, Description logics (DLs) do not provide nonmonotonic features such as defeasible inheritance and default rules. Since many applications would benefit from the availability of such features, several families of nonmonotonic DLs have been developed that are mostly based on default logic and autoepistemic logic. In this paper, we consider circumscription as an interesting alternative approach to nonmonotonic DLs that, in particular, supports defeasible inheritance in a natural way. We study DLs extended with circumscription under different language restrictions "},"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":"1401.3476","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:32:08Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"9fb131454d14aef50d1ee746c806e7134548f2c3983a2a60be477d9eb2fb3ee1","abstract_canon_sha256":"a699ad9f8520212bcd58cac1d2bf92622abf7719e80337aadeaf0abec65ac809"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:08.806187Z","signature_b64":"UfWMX1qLZOzoEIyt7RGhbivl8ZxQjYKIyy0YZ/leIerjQsPqvO2zGZ2hHP4TcCwlp5k6LosZwUk43OeGQF4RCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fed44f42013b5192aec29cd0aacd264a4b094d25a661f07253e6f8803538faf7","last_reissued_at":"2026-05-18T03:02:08.805542Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:08.805542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Complexity of Circumscription in DLs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Carsten Lutz, Frank Wolter, Piero A. Bonatti","submitted_at":"2014-01-15T05:32:08Z","abstract_excerpt":"As fragments of first-order logic, Description logics (DLs) do not provide nonmonotonic features such as defeasible inheritance and default rules. Since many applications would benefit from the availability of such features, several families of nonmonotonic DLs have been developed that are mostly based on default logic and autoepistemic logic. In this paper, we consider circumscription as an interesting alternative approach to nonmonotonic DLs that, in particular, supports defeasible inheritance in a natural way. We study DLs extended with circumscription under different language restrictions "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3476","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":"1401.3476","created_at":"2026-05-18T03:02:08.805626+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.3476v1","created_at":"2026-05-18T03:02:08.805626+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3476","created_at":"2026-05-18T03:02:08.805626+00:00"},{"alias_kind":"pith_short_12","alias_value":"73KE6QQBHNIZ","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_16","alias_value":"73KE6QQBHNIZFLWC","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_8","alias_value":"73KE6QQB","created_at":"2026-05-18T12:28:16.859392+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/73KE6QQBHNIZFLWCTTIKVTJGJJ","json":"https://pith.science/pith/73KE6QQBHNIZFLWCTTIKVTJGJJ.json","graph_json":"https://pith.science/api/pith-number/73KE6QQBHNIZFLWCTTIKVTJGJJ/graph.json","events_json":"https://pith.science/api/pith-number/73KE6QQBHNIZFLWCTTIKVTJGJJ/events.json","paper":"https://pith.science/paper/73KE6QQB"},"agent_actions":{"view_html":"https://pith.science/pith/73KE6QQBHNIZFLWCTTIKVTJGJJ","download_json":"https://pith.science/pith/73KE6QQBHNIZFLWCTTIKVTJGJJ.json","view_paper":"https://pith.science/paper/73KE6QQB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.3476&json=true","fetch_graph":"https://pith.science/api/pith-number/73KE6QQBHNIZFLWCTTIKVTJGJJ/graph.json","fetch_events":"https://pith.science/api/pith-number/73KE6QQBHNIZFLWCTTIKVTJGJJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/73KE6QQBHNIZFLWCTTIKVTJGJJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/73KE6QQBHNIZFLWCTTIKVTJGJJ/action/storage_attestation","attest_author":"https://pith.science/pith/73KE6QQBHNIZFLWCTTIKVTJGJJ/action/author_attestation","sign_citation":"https://pith.science/pith/73KE6QQBHNIZFLWCTTIKVTJGJJ/action/citation_signature","submit_replication":"https://pith.science/pith/73KE6QQBHNIZFLWCTTIKVTJGJJ/action/replication_record"}},"created_at":"2026-05-18T03:02:08.805626+00:00","updated_at":"2026-05-18T03:02:08.805626+00:00"}