https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM> .
@prefix sub: <https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
sub:Head {
this: a np:Nanopublication;
np:hasAssertion sub:assertion;
np:hasProvenance sub:provenance;
np:hasPublicationInfo sub:pubinfo .
}
sub:assertion {
<https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium>
a prov:SoftwareAgent;
<http://www.w3.org/2000/01/rdf-schema#label> "delphisci dataset-resolvability assessor (Gemini 4 Argon)";
prov:actedOnBehalfOf <https://orcid.org/0009-0007-4948-9192>;
<https://w3id.org/delphi/ontology/usesModel> <https://w3id.org/delphi/resource/model/gemini-4-argon-medium> .
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini> a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:description "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.";
dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0>;
<http://www.w3.org/2000/01/rdf-schema#comment> "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> "Gemini 4 Argon on bravais1850-03: not-empirically-resolvable, resolvability 0.20";
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium>;
<https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0";
<https://w3id.org/delphi/ontology/evidenceAgainst> "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> "0.95"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/bravais1850-03--gemini--dataset-1>;
<https://w3id.org/delphi/ontology/hasScore> "0.195"^^xsd:double;
<https://w3id.org/delphi/ontology/hasVerdict> "not-empirically-resolvable" .
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility>
a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:isPartOf <https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini>;
dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-analysis-feasibility>;
<http://www.w3.org/2000/01/rdf-schema#label> "Analysis feasibility of bravais1850-03 by Gemini 4 Argon: 0.3";
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium>;
<https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0/analysis-feasibility";
<https://w3id.org/delphi/ontology/hasScore> "0.3"^^xsd:double .
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy>
a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:isPartOf <https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini>;
dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-data-adequacy>;
<http://www.w3.org/2000/01/rdf-schema#label> "Data adequacy of bravais1850-03 by Gemini 4 Argon: 0.2";
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium>;
<https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0/data-adequacy";
<https://w3id.org/delphi/ontology/hasScore> "0.2"^^xsd:double .
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence>
a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:isPartOf <https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini>;
dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-data-existence>;
<http://www.w3.org/2000/01/rdf-schema#label> "Data existence of bravais1850-03 by Gemini 4 Argon: 0.2";
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium>;
<https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0/data-existence";
<https://w3id.org/delphi/ontology/hasScore> "0.2"^^xsd:double .
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power>
a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:isPartOf <https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini>;
dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-discriminating-power>;
<http://www.w3.org/2000/01/rdf-schema#label> "Discriminating power of bravais1850-03 by Gemini 4 Argon: 0.15";
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium>;
<https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0/discriminating-power";
<https://w3id.org/delphi/ontology/hasScore> "0.15"^^xsd:double .
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability>
a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:isPartOf <https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini>;
dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-operationalizability>;
<http://www.w3.org/2000/01/rdf-schema#label> "Operationalizability of bravais1850-03 by Gemini 4 Argon: 0.15";
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium>;
<https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0/operationalizability";
<https://w3id.org/delphi/ontology/hasScore> "0.15"^^xsd:double .
<https://w3id.org/delphi/resource/claim/bravais1850-03> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini>, <https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility>,
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy>,
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence>,
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power>,
<https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability> .
<https://w3id.org/delphi/resource/evidence/bravais1850-03--gemini--dataset-1> a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "Provides empirical crystal structures indexed against the 14 Bravais lattice types.";
<http://www.w3.org/2000/01/rdf-schema#label> "Candidate dataset: Crystallography Open Database (COD)";
prov:wasDerivedFrom <https://www.crystallography.net/cod/> .
<https://w3id.org/delphi/resource/model/gemini-4-argon-medium> a <https://w3id.org/delphi/ontology/LanguageModel>;
dc:identifier "gemini-4-argon-medium";
<http://www.w3.org/2000/01/rdf-schema#label> "Gemini 4 Argon" .
}
sub:provenance {
sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium>;
prov:wasDerivedFrom <https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/assessment/raw/gemini/batch-2.json>,
<https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0>;
prov:wasGeneratedBy sub:assessment .
sub:assessment a prov:Activity;
prov:qualifiedAssociation sub:assessmentPlan;
prov:wasAssociatedWith <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium> .
sub:assessmentPlan prov:hadPlan <https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/README.md> .
}
sub:pubinfo {
<https://w3id.org/delphi/resource/domain/crystals-and-form> <http://www.w3.org/2000/01/rdf-schema#label>
"crystals-and-form" .
this: dc:created "2026-11-07T03:18:24.087Z"^^xsd:dateTime;
dc:creator <https://orcid.org/0009-0007-4948-9192>;
dc:license <https://creativecommons.org/licenses/by/4.0/>;
npx:hasNanopubType <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
npx:introduces <https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini>;
<http://www.w3.org/2000/01/rdf-schema#label> "Gemini 4 Argon on bravais1850-03: not-empirically-resolvable, resolvability 0.20";
<https://w3id.org/delphi/ontology/domain> <https://w3id.org/delphi/resource/domain/crystals-and-form> .
sub:sig npx:hasAlgorithm "RSA";
npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB";
npx:hasSignature "I8iNxACsiBny312j3hHfwhyQOrU9PA1HTK7Mee9D99jOWNsGIhzAL4ZZ88WGHojoKHLFLWAeBTQ5ZszA3EDj7b7aHMQTd5NK3bccLD9kiyvk4Ic6z0aAlzcltISXxpRUAtDJlIQ+lvppeir63dOdpMZRAYMw5uoDrfv1nTBjWClG1aw7ADzWBETjjY0Mw2hfJbXFtDnBAtgjoqjbK6nuj/aGnIgFDePNtP24KRS0K+N+X1iwKuITS2lKYthHHDoV17GXmG9bALSzRA7o7RRksZ/ZdCmEO7RD+21MWUcx7xF8vcIYyiwfF64e9JLdUQ8wyZYBEBEP/aEZ/D/+fblSyg==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}