{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:U2XDA5WLMDXKDODN6IJ5M5PQ5E","short_pith_number":"pith:U2XDA5WL","schema_version":"1.0","canonical_sha256":"a6ae3076cb60eea1b86df213d675f0e91797c65ac47d54a8b85f1f734bb4ae5e","source":{"kind":"arxiv","id":"1812.06015","version":1},"attestation_state":"computed","paper":{"title":"More Effective Ontology Authoring with Test-Driven Development","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Agnieszka Lawrynowicz, C. Maria Keet, Kieren Davies","submitted_at":"2018-12-14T16:47:03Z","abstract_excerpt":"Ontology authoring is a complex process, where commonly the automated reasoner is invoked for verification of newly introduced changes, therewith amounting to a time-consuming test-last approach. Test-Driven Development (TDD) for ontology authoring is a recent {\\em test-first} approach that aims to reduce authoring time and increase authoring efficiency. Current TDD testing falls short on coverage of OWL features and possible test outcomes, the rigorous foundation thereof, and evaluations to ascertain its effectiveness.\n  We aim to address these issues in one instantiation of TDD for ontology "},"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.06015","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-12-14T16:47:03Z","cross_cats_sorted":[],"title_canon_sha256":"2f3a88f3297916f34dc88cc7d1aa0d0d5a9c2e14cb9488dd673c8398273abaee","abstract_canon_sha256":"74c35942052e09d35d7aaf75e7bebc4defa407026e3e6754943d8cd841ae8fd5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:15.774191Z","signature_b64":"mUP6kV+Q/AxcFmt29Lkd7MZUq4u9EejRrq/JubT4eBIIdF0LFtkekd+votAIt6MDzczwY4RbLW1ZMVjZivsPCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6ae3076cb60eea1b86df213d675f0e91797c65ac47d54a8b85f1f734bb4ae5e","last_reissued_at":"2026-05-17T23:58:15.773581Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:15.773581Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"More Effective Ontology Authoring with Test-Driven Development","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Agnieszka Lawrynowicz, C. Maria Keet, Kieren Davies","submitted_at":"2018-12-14T16:47:03Z","abstract_excerpt":"Ontology authoring is a complex process, where commonly the automated reasoner is invoked for verification of newly introduced changes, therewith amounting to a time-consuming test-last approach. Test-Driven Development (TDD) for ontology authoring is a recent {\\em test-first} approach that aims to reduce authoring time and increase authoring efficiency. Current TDD testing falls short on coverage of OWL features and possible test outcomes, the rigorous foundation thereof, and evaluations to ascertain its effectiveness.\n  We aim to address these issues in one instantiation of TDD for ontology "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.06015","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.06015","created_at":"2026-05-17T23:58:15.773668+00:00"},{"alias_kind":"arxiv_version","alias_value":"1812.06015v1","created_at":"2026-05-17T23:58:15.773668+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.06015","created_at":"2026-05-17T23:58:15.773668+00:00"},{"alias_kind":"pith_short_12","alias_value":"U2XDA5WLMDXK","created_at":"2026-05-18T12:32:56.356000+00:00"},{"alias_kind":"pith_short_16","alias_value":"U2XDA5WLMDXKDODN","created_at":"2026-05-18T12:32:56.356000+00:00"},{"alias_kind":"pith_short_8","alias_value":"U2XDA5WL","created_at":"2026-05-18T12:32:56.356000+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/U2XDA5WLMDXKDODN6IJ5M5PQ5E","json":"https://pith.science/pith/U2XDA5WLMDXKDODN6IJ5M5PQ5E.json","graph_json":"https://pith.science/api/pith-number/U2XDA5WLMDXKDODN6IJ5M5PQ5E/graph.json","events_json":"https://pith.science/api/pith-number/U2XDA5WLMDXKDODN6IJ5M5PQ5E/events.json","paper":"https://pith.science/paper/U2XDA5WL"},"agent_actions":{"view_html":"https://pith.science/pith/U2XDA5WLMDXKDODN6IJ5M5PQ5E","download_json":"https://pith.science/pith/U2XDA5WLMDXKDODN6IJ5M5PQ5E.json","view_paper":"https://pith.science/paper/U2XDA5WL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1812.06015&json=true","fetch_graph":"https://pith.science/api/pith-number/U2XDA5WLMDXKDODN6IJ5M5PQ5E/graph.json","fetch_events":"https://pith.science/api/pith-number/U2XDA5WLMDXKDODN6IJ5M5PQ5E/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/U2XDA5WLMDXKDODN6IJ5M5PQ5E/action/timestamp_anchor","attest_storage":"https://pith.science/pith/U2XDA5WLMDXKDODN6IJ5M5PQ5E/action/storage_attestation","attest_author":"https://pith.science/pith/U2XDA5WLMDXKDODN6IJ5M5PQ5E/action/author_attestation","sign_citation":"https://pith.science/pith/U2XDA5WLMDXKDODN6IJ5M5PQ5E/action/citation_signature","submit_replication":"https://pith.science/pith/U2XDA5WLMDXKDODN6IJ5M5PQ5E/action/replication_record"}},"created_at":"2026-05-17T23:58:15.773668+00:00","updated_at":"2026-05-17T23:58:15.773668+00:00"}