{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:6BZV7UEFD7QSOOSJM5W64NOLPZ","short_pith_number":"pith:6BZV7UEF","schema_version":"1.0","canonical_sha256":"f0735fd0851fe1273a49676dee35cb7e5ead2762b27e286e6d3aeb93dec5478f","source":{"kind":"arxiv","id":"1512.06211","version":1},"attestation_state":"computed","paper":{"title":"Test-Driven Development of ontologies (extended version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Agnieszka Lawrynowicz, C. Maria Keet","submitted_at":"2015-12-19T09:15:24Z","abstract_excerpt":"Emerging ontology authoring methods to add knowledge to an ontology focus on ameliorating the validation bottleneck. The verification of the newly added axiom is still one of trying and seeing what the reasoner says, because a systematic testbed for ontology authoring is missing. We sought to address this by introducing the approach of test-driven development for ontology authoring. We specify 36 generic tests, as TBox queries and TBox axioms tested through individuals, and structure their inner workings in an `open box'-way, which cover the OWL 2 DL language features. This is implemented as a"},"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":"1512.06211","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-12-19T09:15:24Z","cross_cats_sorted":[],"title_canon_sha256":"79683792f64078362d372d28e9d0c8d44a18b4ac53b6ee7dab7599bae73c53f1","abstract_canon_sha256":"6caca79366a8c0807e00e81f35f2714b587a810152d50643ceb86025b83d7069"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:24:04.826787Z","signature_b64":"JrxI06obkNmMyU/voAbagvimuFB/cu5Bh6sAsl+hMhTvasA2EBxC1PDehkOO7VkhDVHNC+upvRSkSiTqiklwBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f0735fd0851fe1273a49676dee35cb7e5ead2762b27e286e6d3aeb93dec5478f","last_reissued_at":"2026-05-18T01:24:04.826058Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:24:04.826058Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Test-Driven Development of ontologies (extended version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Agnieszka Lawrynowicz, C. Maria Keet","submitted_at":"2015-12-19T09:15:24Z","abstract_excerpt":"Emerging ontology authoring methods to add knowledge to an ontology focus on ameliorating the validation bottleneck. The verification of the newly added axiom is still one of trying and seeing what the reasoner says, because a systematic testbed for ontology authoring is missing. We sought to address this by introducing the approach of test-driven development for ontology authoring. We specify 36 generic tests, as TBox queries and TBox axioms tested through individuals, and structure their inner workings in an `open box'-way, which cover the OWL 2 DL language features. This is implemented as a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.06211","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":"1512.06211","created_at":"2026-05-18T01:24:04.826181+00:00"},{"alias_kind":"arxiv_version","alias_value":"1512.06211v1","created_at":"2026-05-18T01:24:04.826181+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.06211","created_at":"2026-05-18T01:24:04.826181+00:00"},{"alias_kind":"pith_short_12","alias_value":"6BZV7UEFD7QS","created_at":"2026-05-18T12:29:07.941421+00:00"},{"alias_kind":"pith_short_16","alias_value":"6BZV7UEFD7QSOOSJ","created_at":"2026-05-18T12:29:07.941421+00:00"},{"alias_kind":"pith_short_8","alias_value":"6BZV7UEF","created_at":"2026-05-18T12:29:07.941421+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/6BZV7UEFD7QSOOSJM5W64NOLPZ","json":"https://pith.science/pith/6BZV7UEFD7QSOOSJM5W64NOLPZ.json","graph_json":"https://pith.science/api/pith-number/6BZV7UEFD7QSOOSJM5W64NOLPZ/graph.json","events_json":"https://pith.science/api/pith-number/6BZV7UEFD7QSOOSJM5W64NOLPZ/events.json","paper":"https://pith.science/paper/6BZV7UEF"},"agent_actions":{"view_html":"https://pith.science/pith/6BZV7UEFD7QSOOSJM5W64NOLPZ","download_json":"https://pith.science/pith/6BZV7UEFD7QSOOSJM5W64NOLPZ.json","view_paper":"https://pith.science/paper/6BZV7UEF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1512.06211&json=true","fetch_graph":"https://pith.science/api/pith-number/6BZV7UEFD7QSOOSJM5W64NOLPZ/graph.json","fetch_events":"https://pith.science/api/pith-number/6BZV7UEFD7QSOOSJM5W64NOLPZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6BZV7UEFD7QSOOSJM5W64NOLPZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6BZV7UEFD7QSOOSJM5W64NOLPZ/action/storage_attestation","attest_author":"https://pith.science/pith/6BZV7UEFD7QSOOSJM5W64NOLPZ/action/author_attestation","sign_citation":"https://pith.science/pith/6BZV7UEFD7QSOOSJM5W64NOLPZ/action/citation_signature","submit_replication":"https://pith.science/pith/6BZV7UEFD7QSOOSJM5W64NOLPZ/action/replication_record"}},"created_at":"2026-05-18T01:24:04.826181+00:00","updated_at":"2026-05-18T01:24:04.826181+00:00"}