{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:OUNP3IJUIRJEJT3J455C5OGY4Z","short_pith_number":"pith:OUNP3IJU","schema_version":"1.0","canonical_sha256":"751afda134445244cf69e77a2eb8d8e6654266823fd76ce83845487afad76964","source":{"kind":"arxiv","id":"1705.10219","version":3},"attestation_state":"computed","paper":{"title":"Automatic White-Box Testing of First-Order Logic Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"German Rigau, Javier \\'Alvez, Montserrat Hermo, Paqui Lucio","submitted_at":"2017-05-29T14:42:48Z","abstract_excerpt":"Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies, and their important role in the Semantic Web area, is generating considerable research on the use of automated reasoning techniques and tools that help in ontology engineering. One of the main aims is to refine and to improve axiomatizations for enabling automated reasoning tools to efficiently infer reliable information. Defects in the axiomatization can not only cause wrong inferences, but can also hinder the inference of expected information, either by increasing the computational cost of"},"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":"1705.10219","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-29T14:42:48Z","cross_cats_sorted":[],"title_canon_sha256":"064276ce9b500cc9a956f80b22bc2328e92c55032ad0b457b0e91e952181b037","abstract_canon_sha256":"5907cc874edf20f052098d71418cddc65001b10976ce4318094ee963c3ecead7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:09.840418Z","signature_b64":"8JKQU5Be3Fj4ssBksxwiPx/oAtMSMcrJG9P1bYiy5nkCgQtxoCyTwubLTFxa1hCpH3bLwIKmFGYsGkVWbyplDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"751afda134445244cf69e77a2eb8d8e6654266823fd76ce83845487afad76964","last_reissued_at":"2026-05-17T23:55:09.839928Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:09.839928Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automatic White-Box Testing of First-Order Logic Ontologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"German Rigau, Javier \\'Alvez, Montserrat Hermo, Paqui Lucio","submitted_at":"2017-05-29T14:42:48Z","abstract_excerpt":"Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies, and their important role in the Semantic Web area, is generating considerable research on the use of automated reasoning techniques and tools that help in ontology engineering. One of the main aims is to refine and to improve axiomatizations for enabling automated reasoning tools to efficiently infer reliable information. Defects in the axiomatization can not only cause wrong inferences, but can also hinder the inference of expected information, either by increasing the computational cost of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.10219","kind":"arxiv","version":3},"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":"1705.10219","created_at":"2026-05-17T23:55:09.840003+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.10219v3","created_at":"2026-05-17T23:55:09.840003+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.10219","created_at":"2026-05-17T23:55:09.840003+00:00"},{"alias_kind":"pith_short_12","alias_value":"OUNP3IJUIRJE","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_16","alias_value":"OUNP3IJUIRJEJT3J","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_8","alias_value":"OUNP3IJU","created_at":"2026-05-18T12:31:34.259226+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/OUNP3IJUIRJEJT3J455C5OGY4Z","json":"https://pith.science/pith/OUNP3IJUIRJEJT3J455C5OGY4Z.json","graph_json":"https://pith.science/api/pith-number/OUNP3IJUIRJEJT3J455C5OGY4Z/graph.json","events_json":"https://pith.science/api/pith-number/OUNP3IJUIRJEJT3J455C5OGY4Z/events.json","paper":"https://pith.science/paper/OUNP3IJU"},"agent_actions":{"view_html":"https://pith.science/pith/OUNP3IJUIRJEJT3J455C5OGY4Z","download_json":"https://pith.science/pith/OUNP3IJUIRJEJT3J455C5OGY4Z.json","view_paper":"https://pith.science/paper/OUNP3IJU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.10219&json=true","fetch_graph":"https://pith.science/api/pith-number/OUNP3IJUIRJEJT3J455C5OGY4Z/graph.json","fetch_events":"https://pith.science/api/pith-number/OUNP3IJUIRJEJT3J455C5OGY4Z/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OUNP3IJUIRJEJT3J455C5OGY4Z/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OUNP3IJUIRJEJT3J455C5OGY4Z/action/storage_attestation","attest_author":"https://pith.science/pith/OUNP3IJUIRJEJT3J455C5OGY4Z/action/author_attestation","sign_citation":"https://pith.science/pith/OUNP3IJUIRJEJT3J455C5OGY4Z/action/citation_signature","submit_replication":"https://pith.science/pith/OUNP3IJUIRJEJT3J455C5OGY4Z/action/replication_record"}},"created_at":"2026-05-17T23:55:09.840003+00:00","updated_at":"2026-05-17T23:55:09.840003+00:00"}