[ { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/provenance", "@graph": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1", "@type": [ "http://www.w3.org/ns/prov#SoftwareAgent" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "delphisci claim tester (claude-fable-5.1; crystals-and-form-tests-1)" } ], "http://www.w3.org/ns/prov#actedOnBehalfOf": [ { "@id": "https://orcid.org/0009-0007-4948-9192" } ], "https://w3id.org/delphi/ontology/usesModel": [ { "@id": "https://w3id.org/delphi/resource/model/claude-fable-5-1" } ] }, { "@id": "https://w3id.org/delphi/resource/model/claude-fable-5-1", "http://purl.org/dc/terms/identifier": [ { "@value": "claude-fable-5.1" } ], "@type": [ "https://w3id.org/delphi/ontology/LanguageModel" ] }, { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/assertion", "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1" } ], "http://www.w3.org/ns/prov#wasDerivedFrom": [ { "@id": "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/crystals-and-form/bravais1850-03/result.json" } ], "http://www.w3.org/ns/prov#wasGeneratedBy": [ { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/test" } ] }, { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/test", "@type": [ "http://www.w3.org/ns/prov#Activity" ], "http://www.w3.org/ns/prov#qualifiedAssociation": [ { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/plan" } ], "http://www.w3.org/ns/prov#wasAssociatedWith": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1" } ] }, { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/plan", "http://www.w3.org/ns/prov#hadPlan": [ { "@id": "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md" } ] } ] }, { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/pubinfo", "@graph": [ { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY", "http://purl.org/dc/terms/created": [ { "@value": "2026-11-08T16:24:31.804Z", "@type": "http://www.w3.org/2001/XMLSchema#dateTime" } ], "http://purl.org/dc/terms/creator": [ { "@id": "https://orcid.org/0009-0007-4948-9192" } ], "http://purl.org/dc/terms/license": [ { "@id": "https://creativecommons.org/licenses/by/4.0/" } ], "http://purl.org/nanopub/x/hasNanopubType": [ { "@id": "https://w3id.org/delphi/ontology/Assessment" } ], "http://purl.org/nanopub/x/introduces": [ { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--claim-test" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Claim test of bravais1850-03: supports, confidence 0.9" } ], "https://w3id.org/delphi/ontology/domain": [ { "@id": "https://w3id.org/delphi/resource/domain/crystals-and-form" } ] }, { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/sig", "http://purl.org/nanopub/x/hasAlgorithm": [ { "@value": "RSA" } ], "http://purl.org/nanopub/x/hasPublicKey": [ { "@value": "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" } ], "http://purl.org/nanopub/x/hasSignature": [ { "@value": "s1TtioMBqx0memhCcVd5AkmpvO7uQpGAnNBTDC7I+iLnx/u317MAH49RILo+R+mQaeYKR9rgXXFr09UbsVRMUBu4+NWZnghBxM1B33uv4ArsjMSo3W94Bz/TVTFrFX5ISLm+OTyOR6Y7gzLi7JdIltDX7W8DXSdep4GuehhmT0qQgQovnUqtZFAeGNdawlDgYY/lVqoYSsiVlwN53jsmHVWg82gIFrJfj7GaYTesEHVrhb61Ufx3W4wrqDcgjizjVMuTZaIBR5jXU4an/TCH8HS5Hu8OXt8g8CoG/4ZngLcoWHwYFxNQltZpi3Ml2jmTjw1/speZH8OLo8Wvj3QhZg==" } ], "http://purl.org/nanopub/x/hasSignatureTarget": [ { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY" } ], "http://purl.org/nanopub/x/signedBy": [ { "@id": "https://orcid.org/0009-0007-4948-9192" } ] } ] }, { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/Head", "@graph": [ { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY", "http://www.nanopub.org/nschema#hasAssertion": [ { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/assertion" } ], "http://www.nanopub.org/nschema#hasProvenance": [ { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/provenance" } ], "http://www.nanopub.org/nschema#hasPublicationInfo": [ { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/pubinfo" } ], "@type": [ "http://www.nanopub.org/nschema#Nanopublication" ] } ] }, { "@id": "https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/assertion", "@graph": [ { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--claim-test", "http://purl.org/dc/terms/description": [ { "@value": "COD spacegroup count endpoint queried for one representative space group per Bravais lattice in the spellings the COD uses; a lattice counts as realised at 100 or more entries." } ], "@type": [ "https://w3id.org/delphi/ontology/Assessment" ], "http://www.w3.org/2000/01/rdf-schema#comment": [ { "@value": "Measured: 14 Bravais lattices with at least 100 COD entries in a representative space group (of 14) (n = 14). Interpretation: Completeness (exactly fourteen) is a theorem and is not tested; what is tested is the empirical half, that all fourteen occur in real crystals. The count is of database entries, not distinct substances, and a lattice realised only by a handful of entries would still count as realised under the mixed rule." } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Claim test of bravais1850-03: supports, confidence 0.9" } ], "http://www.w3.org/2000/01/rdf-schema#seeAlso": [ { "@id": "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/crystals-and-form/bravais1850-03/result.json" } ], "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1" } ], "https://w3id.org/delphi/ontology/admissibleDatasets": [ { "@value": "Planned datasets: cod-search-api" } ], "https://w3id.org/delphi/ontology/assessmentType": [ { "@value": "claim-test/0.1.0" } ], "https://w3id.org/delphi/ontology/dataKind": [ { "@value": "physical" } ], "https://w3id.org/delphi/ontology/disconfirmingObservation": [ { "@value": "Any lattice whose every spelling returns 0: refutes (that mode is not realised). Any lattice between 1 and 99: mixed. Any query that errors or times out after three attempts: inconclusive." } ], "https://w3id.org/delphi/ontology/evidenceAgainst": [ { "@value": "Completeness (no fifteenth lattice) is a theorem and is not what this tests." }, { "@value": "Counts are of database entries, not distinct substances." }, { "@value": "One representative space group per lattice; counts understate how often each lattice occurs." } ], "https://w3id.org/delphi/ontology/expectedObservation": [ { "@value": "For each of the 14 Bravais lattices, the COD spacegroup count for a representative space group (aP P-1; mP P21/c; mC C2/c; oP Pnma; oC Cmcm; oI Imma; oF Fddd; tP P4/mmm; tI I4/mmm; hR R-3m; hP P63/mmc; cP Pm-3m; cI Im-3m; cF Fm-3m), trying the COD spellings of the Hermann-Mauguin symbol (with or without the full-setting 1s, e.g. 'P 1 21/c 1' and 'P 21/c'), is at least 100: supports." } ], "https://w3id.org/delphi/ontology/failCriterion": [ { "@value": "Any lattice whose every spelling returns 0: refutes (that mode is not realised). Any lattice between 1 and 99: mixed. Any query that errors or times out after three attempts: inconclusive." } ], "https://w3id.org/delphi/ontology/hasConfidence": [ { "@value": "0.9", "@type": "http://www.w3.org/2001/XMLSchema#double" } ], "https://w3id.org/delphi/ontology/hasEvidence": [ { "@id": "https://w3id.org/delphi/resource/evidence/bravais1850-03--claim-test--dataset-1" } ], "https://w3id.org/delphi/ontology/hasVerdict": [ { "@value": "supports" } ], "https://w3id.org/delphi/ontology/hypothesis": [ { "@value": "If there are fourteen lattice modes and nature realises them, every one of the fourteen Bravais lattices is the lattice of at least one experimentally determined crystal structure." } ], "https://w3id.org/delphi/ontology/inferenceMethod": [ { "@value": "COD spacegroup count endpoint queried for one representative space group per Bravais lattice in the spellings the COD uses; a lattice counts as realised at 100 or more entries." } ], "https://w3id.org/delphi/ontology/passCriterion": [ { "@value": "For each of the 14 Bravais lattices, the COD spacegroup count for a representative space group (aP P-1; mP P21/c; mC C2/c; oP Pnma; oC Cmcm; oI Imma; oF Fddd; tP P4/mmm; tI I4/mmm; hR R-3m; hP P63/mmc; cP Pm-3m; cI Im-3m; cF Fm-3m), trying the COD spellings of the Hermann-Mauguin symbol (with or without the full-setting 1s, e.g. 'P 1 21/c 1' and 'P 21/c'), is at least 100: supports." } ], "https://w3id.org/delphi/ontology/preregistered": [ { "@value": "true", "@type": "http://www.w3.org/2001/XMLSchema#boolean" } ] }, { "@id": "https://w3id.org/delphi/resource/evidence/bravais1850-03--claim-test--dataset-1", "http://purl.org/dc/terms/description": [ { "@value": "" } ], "http://purl.org/dc/terms/license": [ { "@value": "CC0 (COD data are public domain)" } ], "@type": [ "https://w3id.org/delphi/ontology/EvidenceItem" ], "http://www.w3.org/2000/01/rdf-schema#comment": [ { "@value": "Location (not a URL): https://www.crystallography.net/cod/result?spacegroup=&format=count" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Dataset: Crystallography Open Database (COD) search API and CIF files" } ], "http://www.w3.org/ns/prov#wasDerivedFrom": [ { "@id": "https://www.crystallography.net/cod/" } ] }, { "@id": "https://w3id.org/delphi/resource/claim/bravais1850-03", "https://w3id.org/delphi/ontology/hasAssessment": [ { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--claim-test" } ] } ] } ]