{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:J4ZQBMPYXGH77A7CZLTYYPIDVN","short_pith_number":"pith:J4ZQBMPY","schema_version":"1.0","canonical_sha256":"4f3300b1f8b98fff83e2cae78c3d03ab4ef170ae7f14a512cca9f2742b3479cf","source":{"kind":"arxiv","id":"1812.03243","version":1},"attestation_state":"computed","paper":{"title":"Efficient Concept Induction for Description Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Md Kamruzzaman Sarker, Pascal Hitzler","submitted_at":"2018-12-08T00:10:05Z","abstract_excerpt":"Concept Induction refers to the problem of creating complex Description Logic class descriptions (i.e., TBox axioms) from instance examples (i.e., ABox data). In this paper we look particularly at the case where both a set of positive and a set of negative instances are given, and complex class expressions are sought under which the positive but not the negative examples fall. Concept induction has found applications in ontology engineering, but existing algorithms have fundamental performance issues in some scenarios, mainly because a high number of invokations of an external Description Logi"},"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":"1812.03243","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-12-08T00:10:05Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9f52c84c3a1c99e11e226f0724a09deafcd2bdf5d375605d7ed2d7bebe52f336","abstract_canon_sha256":"f3d24a29f861a708a8e84e873613de402c5d2c5bf1d968d1b682446ac3fd6e2a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:46.789769Z","signature_b64":"oN6FODtOEBpRtQKL2yQTWl7i25R4rv+U4UAuWjQ/9QS614I0bQHQoy/F3EKoV2g1GpmH8IRb8Pt70vDPhOCtCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4f3300b1f8b98fff83e2cae78c3d03ab4ef170ae7f14a512cca9f2742b3479cf","last_reissued_at":"2026-05-17T23:58:46.789366Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:46.789366Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Efficient Concept Induction for Description Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Md Kamruzzaman Sarker, Pascal Hitzler","submitted_at":"2018-12-08T00:10:05Z","abstract_excerpt":"Concept Induction refers to the problem of creating complex Description Logic class descriptions (i.e., TBox axioms) from instance examples (i.e., ABox data). In this paper we look particularly at the case where both a set of positive and a set of negative instances are given, and complex class expressions are sought under which the positive but not the negative examples fall. Concept induction has found applications in ontology engineering, but existing algorithms have fundamental performance issues in some scenarios, mainly because a high number of invokations of an external Description Logi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.03243","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":"1812.03243","created_at":"2026-05-17T23:58:46.789431+00:00"},{"alias_kind":"arxiv_version","alias_value":"1812.03243v1","created_at":"2026-05-17T23:58:46.789431+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.03243","created_at":"2026-05-17T23:58:46.789431+00:00"},{"alias_kind":"pith_short_12","alias_value":"J4ZQBMPYXGH7","created_at":"2026-05-18T12:32:31.084164+00:00"},{"alias_kind":"pith_short_16","alias_value":"J4ZQBMPYXGH77A7C","created_at":"2026-05-18T12:32:31.084164+00:00"},{"alias_kind":"pith_short_8","alias_value":"J4ZQBMPY","created_at":"2026-05-18T12:32:31.084164+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/J4ZQBMPYXGH77A7CZLTYYPIDVN","json":"https://pith.science/pith/J4ZQBMPYXGH77A7CZLTYYPIDVN.json","graph_json":"https://pith.science/api/pith-number/J4ZQBMPYXGH77A7CZLTYYPIDVN/graph.json","events_json":"https://pith.science/api/pith-number/J4ZQBMPYXGH77A7CZLTYYPIDVN/events.json","paper":"https://pith.science/paper/J4ZQBMPY"},"agent_actions":{"view_html":"https://pith.science/pith/J4ZQBMPYXGH77A7CZLTYYPIDVN","download_json":"https://pith.science/pith/J4ZQBMPYXGH77A7CZLTYYPIDVN.json","view_paper":"https://pith.science/paper/J4ZQBMPY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1812.03243&json=true","fetch_graph":"https://pith.science/api/pith-number/J4ZQBMPYXGH77A7CZLTYYPIDVN/graph.json","fetch_events":"https://pith.science/api/pith-number/J4ZQBMPYXGH77A7CZLTYYPIDVN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/J4ZQBMPYXGH77A7CZLTYYPIDVN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/J4ZQBMPYXGH77A7CZLTYYPIDVN/action/storage_attestation","attest_author":"https://pith.science/pith/J4ZQBMPYXGH77A7CZLTYYPIDVN/action/author_attestation","sign_citation":"https://pith.science/pith/J4ZQBMPYXGH77A7CZLTYYPIDVN/action/citation_signature","submit_replication":"https://pith.science/pith/J4ZQBMPYXGH77A7CZLTYYPIDVN/action/replication_record"}},"created_at":"2026-05-17T23:58:46.789431+00:00","updated_at":"2026-05-17T23:58:46.789431+00:00"}