https://w3id.org/np/RAizucu0ub0iVsXO-obpYuG4Apdg4PJi2AB5AqXl85mlE
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAizucu0ub0iVsXO-obpYuG4Apdg4PJi2AB5AqXl85mlE> .
@prefix sub: <https://w3id.org/np/RAizucu0ub0iVsXO-obpYuG4Apdg4PJi2AB5AqXl85mlE/> .
@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/assessment/aristotle-ga01-16--claim-test--pr-116>
a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "Opened the Zenodo Darwin Core archive and read measurementType DevelopmentalMode. A taxon is holometabolous when the value URI ends in holometabolous or the label is complete metamorphosis. Flies, fleas and cantharides are looked up as Diptera, Siphonaptera and Meloidae. The GBIF backbone is queried only when Meloidae is absent and Coleoptera is coded holometabolous. The verdict follows the pre-registered rule: all three holometabolous refutes the claim, all three present and non-holometabolous supports it, a split is mixed, and absence of the named taxa is inconclusive.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 0 named groups coded holometabolous (flies, fleas, cantharides) (n = 13). Interpretation: The claim says these insects come from putrefying matter rather than from animals, and that when they copulate they produce only a scolex and not a creature of their own kind. This test scores the second clause. Holometabolous development is an egg, larva, pupa and adult of the same species, which contradicts 'not a creature of their own kind'. The archive does not record a sterile-substrate experiment, so a holometabolous coding does not by itself re-enact Redi's jars; that limit is stated in the result and is not a reason to ignore the life-cycle coding. Cantharides are blister beetles (Meloidae), not soldier beetles (Cantharidae).";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ga01-16 (pr-116): inconclusive, confidence 0.4";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ga01-16/pr-116/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "An openly licensed comparative coding of insect developmental mode derived from the entomological literature, not from Aristotle, at order or family rank. A taxonomy backbone may be used only to place Meloidae inside or outside Coleoptera, not as evidence of the mode itself.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "Siphonaptera, Diptera and Meloidae (directly, or Meloidae via a holometabolous coding of Coleoptera as a whole plus a GBIF placement of Meloidae in Coleoptera) are coded holometabolous.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Order-level holometaboly of Coleoptera applies to Meloidae only through the GBIF placement check named above. It is not a species-level rearing record.",
"The zip was not opened before this registration. The Zenodo record metadata was read: title Insect Development, DOI 10.5281/zenodo.13319669, licence CC0, one file insectdevelopment.zip of 4997 bytes, description citing developmental-mode sources (Belles 2011, Stys and Sobotnik 1999, Truman 2019, Vea and Minakuchi 2021).";
<https://w3id.org/delphi/ontology/expectedObservation> "If the claim holds, the mode table does not record a larva-to-adult metamorphosis of the parents' kind for fleas, flies and blister beetles.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered (claim refuted). All three groups are coded holometabolous or as complete metamorphosis. Flies are order Diptera. Fleas are order Siphonaptera. Cantharides are family Meloidae when that family is a row; if Meloidae is absent and order Coleoptera is coded holometabolous as a whole, Meloidae counts as holometabolous only when the GBIF backbone places family Meloidae inside order Coleoptera. The verdict is mixed if one or two of the three groups are holometabolous and the others are absent or coded otherwise. Inconclusive with reason data-unavailable if the zip cannot be fetched. Inconclusive with reason not-operationalizable if the archive has no developmental-mode field. Inconclusive with reason underpowered if none of Diptera, Siphonaptera and Coleoptera or Meloidae appear.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.4"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ga01-16--claim-test--pr-116--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "inconclusive";
<https://w3id.org/delphi/ontology/hypothesis> "If fleas, flies and cantharides arise as larvae that are not animals of their parents' kind, a comparative table of insect developmental modes will not code Siphonaptera, Diptera and Meloidae as holometabolous.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Normalize mode strings to lower case. Holometabolous or complete metamorphosis refutes the clause that the offspring is not an animal of the parents' kind. The claim is refuted only when all three named groups are so coded. Any split across the three groups is mixed. Absence of the groups or of a mode field is inconclusive and does not support spontaneous generation.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered (claim supported). All three groups are present in the developmental-mode table and each is coded with a mode that is not holometabolous and not complete metamorphosis. Accepted non-holometabolous labels include ametabolous, hemimetabolous, paurometabolous, and any explicit larva-only or spontaneous-generation code. A group coded with two modes is not counted as non-holometabolous if one of the modes is holometabolous.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ga01-16> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ga01-16--claim-test--pr-116> .
<https://w3id.org/delphi/resource/evidence/aristotle-ga01-16--claim-test--pr-116--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "EOL developmental-mode codings for insect higher taxa";
dc:license "CC0-1.0";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Insect Development";
prov:atLocation <https://zenodo.org/api/records/13319669/files/insectdevelopment.zip/content>;
prov:wasDerivedFrom <https://zenodo.org/records/13319669>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:1a25b024c5351777cbfaacb8951ea0efb7ab0a2bbefbbf0d560414f3cb0f936f" .
}
sub:provenance {
<https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7> a prov:SoftwareAgent;
<http://www.w3.org/2000/01/rdf-schema#label> "delphisci claim tester (Grok 4.7; cursor/aristotle-biology-tests-f1f3)";
prov:actedOnBehalfOf <https://orcid.org/0009-0007-4948-9192>;
<https://w3id.org/delphi/ontology/usesModel> <https://w3id.org/delphi/resource/model/grok-4-7> .
<https://w3id.org/delphi/resource/model/grok-4-7> a <https://w3id.org/delphi/ontology/LanguageModel>;
dc:identifier "Grok 4.7" .
sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
prov:wasDerivedFrom <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ga01-16/pr-116/result.json>;
prov:wasGeneratedBy sub:test .
sub:plan prov:hadPlan <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md> .
sub:test a prov:Activity;
prov:qualifiedAssociation sub:plan;
prov:wasAssociatedWith <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7> .
}
sub:pubinfo {
this: dc:created "2026-11-08T16:24:31.727Z"^^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/Assessment>;
npx:introduces <https://w3id.org/delphi/resource/assessment/aristotle-ga01-16--claim-test--pr-116>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ga01-16 (pr-116): inconclusive, confidence 0.4";
<https://w3id.org/delphi/ontology/domain> <https://w3id.org/delphi/resource/domain/aristotle-biology> .
sub:sig npx:hasAlgorithm "RSA";
npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB";
npx:hasSignature "iMTIK3cVwzTubDC3V0WrfoLJB4MnVBop8XkQBEYuikZ/d34q1l5eF8hssAQ5daIXN5XctxfAc6f8/C0MEzhdUSCzxjw6QSR3Zaxe0ZL8waH5Js8BisLRVsZKO/Kd3aLeoA1N7MfqUuaPnaIx5KaLVsgmYIX42UV3VdVBSlro3JNDYmjUVJh90dIKPLDZTA09/B8rppynGQVq95djdXhFX9FBu47CQkoi3ZBIjAT0Y569qmjYQei52tAwT9QVO5Un38KDmvHnDbnmArH+tNQJgerNfpDQLcEMNFg1JD9KMIlpIuK4oxqF7SrIMW0hQ95nD42d2D5OkfxklIUiHq5sRQ==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}