[ { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/pubinfo", "@graph": [ { "@id": "https://w3id.org/delphi/resource/domain/crystals-and-form", "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "crystals-and-form" } ] }, { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM", "http://purl.org/dc/terms/created": [ { "@value": "2026-11-07T03:18:24.087Z", "@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/LLMClaimAssessment" } ], "http://purl.org/nanopub/x/introduces": [ { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Gemini 4 Argon on bravais1850-03: not-empirically-resolvable, resolvability 0.20" } ], "https://w3id.org/delphi/ontology/domain": [ { "@id": "https://w3id.org/delphi/resource/domain/crystals-and-form" } ] }, { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/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": "I8iNxACsiBny312j3hHfwhyQOrU9PA1HTK7Mee9D99jOWNsGIhzAL4ZZ88WGHojoKHLFLWAeBTQ5ZszA3EDj7b7aHMQTd5NK3bccLD9kiyvk4Ic6z0aAlzcltISXxpRUAtDJlIQ+lvppeir63dOdpMZRAYMw5uoDrfv1nTBjWClG1aw7ADzWBETjjY0Mw2hfJbXFtDnBAtgjoqjbK6nuj/aGnIgFDePNtP24KRS0K+N+X1iwKuITS2lKYthHHDoV17GXmG9bALSzRA7o7RRksZ/ZdCmEO7RD+21MWUcx7xF8vcIYyiwfF64e9JLdUQ8wyZYBEBEP/aEZ/D/+fblSyg==" } ], "http://purl.org/nanopub/x/hasSignatureTarget": [ { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM" } ], "http://purl.org/nanopub/x/signedBy": [ { "@id": "https://orcid.org/0009-0007-4948-9192" } ] } ] }, { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/Head", "@graph": [ { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM", "http://www.nanopub.org/nschema#hasAssertion": [ { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assertion" } ], "http://www.nanopub.org/nschema#hasProvenance": [ { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/provenance" } ], "http://www.nanopub.org/nschema#hasPublicationInfo": [ { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/pubinfo" } ], "@type": [ "http://www.nanopub.org/nschema#Nanopublication" ] } ] }, { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/provenance", "@graph": [ { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assertion", "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium" } ], "http://www.w3.org/ns/prov#wasDerivedFrom": [ { "@id": "https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/assessment/raw/gemini/batch-2.json" }, { "@id": "https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0" } ], "http://www.w3.org/ns/prov#wasGeneratedBy": [ { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assessment" } ] }, { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assessment", "@type": [ "http://www.w3.org/ns/prov#Activity" ], "http://www.w3.org/ns/prov#qualifiedAssociation": [ { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assessmentPlan" } ], "http://www.w3.org/ns/prov#wasAssociatedWith": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium" } ] }, { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assessmentPlan", "http://www.w3.org/ns/prov#hadPlan": [ { "@id": "https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/README.md" } ] } ] }, { "@id": "https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assertion", "@graph": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium", "@type": [ "http://www.w3.org/ns/prov#SoftwareAgent" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "delphisci dataset-resolvability assessor (Gemini 4 Argon)" } ], "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/gemini-4-argon-medium" } ] }, { "@id": "https://w3id.org/delphi/resource/model/gemini-4-argon-medium", "http://purl.org/dc/terms/identifier": [ { "@value": "gemini-4-argon-medium" } ], "@type": [ "https://w3id.org/delphi/ontology/LanguageModel" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Gemini 4 Argon" } ] }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini", "http://purl.org/dc/terms/description": [ { "@value": "Bravais's derivation of the 14 lattice modes (fixing Frankenheim's earlier count of 15) is a pure mathematical classification theorem in 3D geometry and group cohomology. While every experimentally solved periodic crystal structure in COD is assigned to one of these 14 Bravais types by construction, the claim that there are exactly 14 modes is a deductive mathematical truth rather than an empirically testable hypothesis." } ], "http://purl.org/dc/terms/subject": [ { "@id": "https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0" } ], "@type": [ "https://w3id.org/delphi/ontology/LLMClaimAssessment" ], "http://www.w3.org/2000/01/rdf-schema#comment": [ { "@value": "Proposed test with existing data: This is a pure mathematical enumeration theorem: classifying 3D periodic lattices up to affine equivalence preserving holohedral symmetry yields exactly 14 Bravais lattice types distributed as 3 cubic, 1 hexagonal, 2 tetragonal, 1 rhombohedral, 4 orthorhombic, 2 monoclinic, and 1 triclinic. An empirical companion check can verify that all periodic crystal structures in COD/Materials Project map onto these 14 lattice types, but the count itself is a deductive theorem." } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Gemini 4 Argon on bravais1850-03: not-empirically-resolvable, resolvability 0.20" } ], "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium" } ], "https://w3id.org/delphi/ontology/assessmentType": [ { "@value": "dataset-resolvability/0.2.0" } ], "https://w3id.org/delphi/ontology/evidenceAgainst": [ { "@value": "The enumeration of the 14 Bravais lattices is a mathematical theorem of geometric crystallography rather than an empirical hypothesis" } ], "https://w3id.org/delphi/ontology/hasConfidence": [ { "@value": "0.95", "@type": "http://www.w3.org/2001/XMLSchema#double" } ], "https://w3id.org/delphi/ontology/hasEvidence": [ { "@id": "https://w3id.org/delphi/resource/evidence/bravais1850-03--gemini--dataset-1" } ], "https://w3id.org/delphi/ontology/hasScore": [ { "@value": "0.195", "@type": "http://www.w3.org/2001/XMLSchema#double" } ], "https://w3id.org/delphi/ontology/hasVerdict": [ { "@value": "not-empirically-resolvable" } ] }, { "@id": "https://w3id.org/delphi/resource/evidence/bravais1850-03--gemini--dataset-1", "http://purl.org/dc/terms/description": [ { "@value": "Provides empirical crystal structures indexed against the 14 Bravais lattice types." } ], "@type": [ "https://w3id.org/delphi/ontology/EvidenceItem" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Candidate dataset: Crystallography Open Database (COD)" } ], "http://www.w3.org/ns/prov#wasDerivedFrom": [ { "@id": "https://www.crystallography.net/cod/" } ] }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility", "http://purl.org/dc/terms/isPartOf": [ { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini" } ], "http://purl.org/dc/terms/subject": [ { "@id": "https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-analysis-feasibility" } ], "@type": [ "https://w3id.org/delphi/ontology/LLMClaimAssessment" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Analysis feasibility of bravais1850-03 by Gemini 4 Argon: 0.3" } ], "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium" } ], "https://w3id.org/delphi/ontology/assessmentType": [ { "@value": "dataset-resolvability/0.2.0/analysis-feasibility" } ], "https://w3id.org/delphi/ontology/hasScore": [ { "@value": "0.3", "@type": "http://www.w3.org/2001/XMLSchema#double" } ] }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy", "http://purl.org/dc/terms/isPartOf": [ { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini" } ], "http://purl.org/dc/terms/subject": [ { "@id": "https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-data-adequacy" } ], "@type": [ "https://w3id.org/delphi/ontology/LLMClaimAssessment" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Data adequacy of bravais1850-03 by Gemini 4 Argon: 0.2" } ], "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium" } ], "https://w3id.org/delphi/ontology/assessmentType": [ { "@value": "dataset-resolvability/0.2.0/data-adequacy" } ], "https://w3id.org/delphi/ontology/hasScore": [ { "@value": "0.2", "@type": "http://www.w3.org/2001/XMLSchema#double" } ] }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence", "http://purl.org/dc/terms/isPartOf": [ { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini" } ], "http://purl.org/dc/terms/subject": [ { "@id": "https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-data-existence" } ], "@type": [ "https://w3id.org/delphi/ontology/LLMClaimAssessment" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Data existence of bravais1850-03 by Gemini 4 Argon: 0.2" } ], "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium" } ], "https://w3id.org/delphi/ontology/assessmentType": [ { "@value": "dataset-resolvability/0.2.0/data-existence" } ], "https://w3id.org/delphi/ontology/hasScore": [ { "@value": "0.2", "@type": "http://www.w3.org/2001/XMLSchema#double" } ] }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power", "http://purl.org/dc/terms/isPartOf": [ { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini" } ], "http://purl.org/dc/terms/subject": [ { "@id": "https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-discriminating-power" } ], "@type": [ "https://w3id.org/delphi/ontology/LLMClaimAssessment" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Discriminating power of bravais1850-03 by Gemini 4 Argon: 0.15" } ], "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium" } ], "https://w3id.org/delphi/ontology/assessmentType": [ { "@value": "dataset-resolvability/0.2.0/discriminating-power" } ], "https://w3id.org/delphi/ontology/hasScore": [ { "@value": "0.15", "@type": "http://www.w3.org/2001/XMLSchema#double" } ] }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability", "http://purl.org/dc/terms/isPartOf": [ { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini" } ], "http://purl.org/dc/terms/subject": [ { "@id": "https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-operationalizability" } ], "@type": [ "https://w3id.org/delphi/ontology/LLMClaimAssessment" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Operationalizability of bravais1850-03 by Gemini 4 Argon: 0.15" } ], "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium" } ], "https://w3id.org/delphi/ontology/assessmentType": [ { "@value": "dataset-resolvability/0.2.0/operationalizability" } ], "https://w3id.org/delphi/ontology/hasScore": [ { "@value": "0.15", "@type": "http://www.w3.org/2001/XMLSchema#double" } ] }, { "@id": "https://w3id.org/delphi/resource/claim/bravais1850-03", "https://w3id.org/delphi/ontology/hasAssessment": [ { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini" }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility" }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy" }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence" }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power" }, { "@id": "https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability" } ] } ] } ]