https://w3id.org/np/RAIhsUEDxtAFoDja3aHcvQFnh0WoK4Pyx_9daHODRe77o
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAIhsUEDxtAFoDja3aHcvQFnh0WoK4Pyx_9daHODRe77o> .
@prefix sub: <https://w3id.org/np/RAIhsUEDxtAFoDja3aHcvQFnh0WoK4Pyx_9daHODRe77o/> .
@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-ha05-44--claim-test--pr-120>
a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "HTML was stripped and cut before the ADW glossary. A sentence matches hatching when it joins egg or nit with hatch, nymph, or larva. A sentence matches a terminal egg when it says eggs do not hatch or generate nothing. One hatching account refutes the universal. GBIF lifeStage facets were stored and not used for the verdict.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 2 of three taxa whose account says the eggs hatch (n = 3). Interpretation: Aristotle's 'nits' are read as the eggs of lice, fleas, and bugs (bedbugs, Cimex), which is the scope recorded for this claim. 'Generate nothing' is read as the eggs not developing into a later conspecific stage. Producing a nit is not in dispute; only whether the nit develops.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha05-44 (pr-120): refutes, confidence 0.9";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha05-44/pr-120/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Public species accounts that describe development, plus GBIF occurrence lifeStage facets as a non-decisive count. The three taxa are fixed: Pediculus humanus, Pulex irritans, Cimex lectularius.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "Life-cycle prose says the eggs of at least one of those insects hatch into a nymph or larva.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "GBIF life-stage counts do not show that a particular nit hatched. They are not part of the verdict.",
"The Cimex lectularius ADW URL is a classification stub with no life-cycle prose. One hatching account is enough to refute the universal.",
"The louse interval 'about eight days' and the flea interval are in the fetched sentences stored in measured.extra.";
<https://w3id.org/delphi/ontology/expectedObservation> "Life-cycle prose for the human louse, a flea, and the bedbug says their eggs produce nothing further.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. REFUTES if at least one of the three accounts states that eggs hatch into a nymph, larva, or other immature stage. MIXED if at least one account states that eggs do not develop further and at least one states that they hatch. INCONCLUSIVE with reason data-unavailable if none of the three accounts can be fetched or none states either outcome; reason underpowered is not used, because one explicit hatching statement refutes the universal. GBIF lifeStage facet counts are recorded and do not decide the verdict: nymph or adult occurrences do not by themselves prove that those eggs hatched.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.9"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha05-44--claim-test--pr-120--dataset-1>,
<https://w3id.org/delphi/resource/evidence/aristotle-ha05-44--claim-test--pr-120--dataset-2>;
<https://w3id.org/delphi/ontology/hasVerdict> "refutes";
<https://w3id.org/delphi/ontology/hypothesis> "Eggs ('nits') of lice, fleas, and bedbugs do not develop into any further stage.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Strip HTML and match sentences. A hatch statement is a sentence containing egg or nit and hatch, nymph, or larva. A terminal statement is a sentence containing egg or nit and a phrase that nothing further is produced or that eggs do not hatch. The universal is refuted by one hatch statement and supported only if all three accounts are terminal.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. SUPPORTS only if the Animal Diversity Web accounts of Pediculus humanus, Pulex irritans, and Cimex lectularius each state that the eggs do not hatch or generate no offspring.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha05-44> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha05-44--claim-test--pr-120> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha05-44--claim-test--pr-120--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "life-cycle prose for the three named insects";
dc:license "";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Animal Diversity Web accounts of Pediculus humanus, Pulex irritans, and Cimex lectularius";
prov:atLocation <https://animaldiversity.org/accounts/Cimex_lectularius/>, <https://animaldiversity.org/accounts/Pediculus_humanus/>,
<https://animaldiversity.org/accounts/Pulex_irritans/>;
prov:wasDerivedFrom <https://animaldiversity.org/>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:380b9531061472d118a22ca4ca3ced6c47ce359bd84c26c50859721d7a74d9c6",
"sha256:e105e7b9ad9c7113637bb49c68379371531fdf22bc3bfc1eb247aa27fe8e7368", "sha256:e85341fba8ebd754ae860b1fdf77958772d4f4d7b4f0d374955e067a7fa31a56" .
<https://w3id.org/delphi/resource/evidence/aristotle-ha05-44--claim-test--pr-120--dataset-2>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "non-decisive counts of recorded life stages";
dc:license "GBIF occurrence records, mixed licenses";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: GBIF lifeStage facets for the same three taxa";
prov:atLocation <https://api.gbif.org/v1/occurrence/search?taxonKey=1419547&facet=lifeStage&limit=0>,
<https://api.gbif.org/v1/occurrence/search?taxonKey=2021062&facet=lifeStage&limit=0>,
<https://api.gbif.org/v1/occurrence/search?taxonKey=4987991&facet=lifeStage&limit=0>;
prov:wasDerivedFrom <https://www.gbif.org/>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:3fe85555f5042c0009bb85022a3ef69f64679a4b36879dd04607863818a56f69",
"sha256:590ee1e59ea956c4ff4bddebed63bed2cff478ff757d8b31ed23d481e83395a2", "sha256:9bde7eedfada48290c32f88192d9dbcd1cb8251d351ce72badc57dbe9aa7150a" .
}
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-claim-tests-954e)";
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-ha05-44/pr-120/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.767Z"^^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-ha05-44--claim-test--pr-120>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha05-44 (pr-120): refutes, confidence 0.9";
<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 "Xy0xbwsivMZEvOxOITRX5/k0mJuVJbP6QEPRyptAvuHggrcAAC5fjzqmiNIlqelSUc0TaZqooPw3AMKiQDcf3p+USFltb4eOecrBBD1fL3pb5Nrczr3114SgZ3mXzTYAk9iMm/4rgxROlCE9pXAc2xq+JFzEPtI4ytAcK+at6r6WhvVlpEwYAWYeRfNoeF7BZBUvd7MzO6wu4gpbDpS0CHbQjQX/SYjtwzhdw5/VHnKwPFcHvNswrchnpbR1psoovhTxPBByG/UlrX5YlAmqto3VNNwpuoC5Z6v65BeO2yeDhp3VelP+UJ0dPNVr1uN/wYBFZVM7mOJmAcKhGTfofg==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}