https://w3id.org/np/RAb-VtBy_nodVj8n4P5id045Ns2ncacyRNefaY2j63ic4
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAb-VtBy_nodVj8n4P5id045Ns2ncacyRNefaY2j63ic4> .
@prefix sub: <https://w3id.org/np/RAb-VtBy_nodVj8n4P5id045Ns2ncacyRNefaY2j63ic4/> .
@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-17--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "Downloaded the AVONET ELEData zip, read AVONET1_BirdLife.csv, and kept the four exact Species1 rows. Adjacent species were compared on mass and on wing length with a 1.01 ratio required for a strict difference. The stock dove counts as a little larger than the rock pigeon only when its mass ratio is above 1.01 and at most 1.25. Both measurements must show the full order, and the mass ratio must fall in that band, to support the claim.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 490 species-mean body mass of Columba palumbus, grams (n = 4, AVONET species means; a pair is a tie when the ratio is within 1 percent). Interpretation: The ring-dove (phatta) is the wood pigeon Columba palumbus, the stock-dove (oenas) is Columba oenas, the common pigeon is the rock pigeon Columba livia, and the turtle-dove is Streptopelia turtur. Size is species-mean body mass, checked with wing length so that a mass order that wing length reverses is not treated as settled. 'A little larger' is pre-registered as a mass excess of more than 1 percent and at most 25 percent. Individual, sex, and seasonal variation are not in the species means.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha05-17: refutes, confidence 0.85";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha05-17/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "AVONET species means in ELEData/TraitData/AVONET1_BirdLife.csv (Species1, Mass in grams, Wing.Length in millimetres), from the figshare ELEData zip of Tobias et al. 2022. One row per species. The sheet is the BirdLife taxonomy version. No other bird-size source is used for the verdict.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "Both mass and wing length reverse at least one adjacent pair in that order.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Species means can hide overlap between stock dove and rock pigeon. The test uses the means the claim's ranking of kinds requires, and the tie band records means that are not separated.",
"The AVONET file path and column names are taken from earlier tests in this repository (darwin1859-ch13-08 and darwin1859-ch12-18). The four pigeon rows were not read before this commit.";
<https://w3id.org/delphi/ontology/expectedObservation> "Species-mean mass and wing length decrease in the order wood pigeon, stock dove, rock pigeon, turtle dove, and the stock dove's mass exceeds the rock pigeon's by at most a quarter.";
<https://w3id.org/delphi/ontology/failCriterion> "Refutes if neither mass nor wing length has the order above, and at least one adjacent pair is reversed (ratio of claimed-larger to claimed-smaller below 0.99) in each of the two measurements. Mixed if the two measurements disagree, or if the only departures from the order are ties, or if the order holds in both measurements but the oenas/livia mass ratio is outside (1.01, 1.25]. Inconclusive, reason data-unavailable, if any of the four species lacks a Species1 row, a positive Mass, or a positive Wing.Length in the AVONET BirdLife sheet. Exact Species1 strings only: Columba palumbus, Columba oenas, Columba livia, Streptopelia turtur. No synonym is substituted after the file is opened.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.85"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha05-17--claim-test--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "refutes";
<https://w3id.org/delphi/ontology/hypothesis> "If the claim holds, among these four pigeons the wood pigeon (ring-dove) is largest, the stock dove next and only a little larger than the rock pigeon (common pigeon), and the turtle dove smallest.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Read the four rows, compare adjacent pairs with the 1.01 ratio rule, test the oenas/livia mass ratio against 1.25, and apply pass_criterion and fail_criterion. Confidence is 0.85 if supports and every adjacent mass ratio is at least 1.10, 0.65 if supports but some adjacent mass ratio is below 1.10, 0.85 if refutes, 0.60 if mixed, and 0.70 if inconclusive.";
<https://w3id.org/delphi/ontology/passCriterion> "Supports if both body mass and wing length, as species means, are strictly ordered Columba palumbus > Columba oenas > Columba livia > Streptopelia turtur, and the mass ratio Columba oenas / Columba livia is greater than 1.01 and at most 1.25. 'A little larger' is that mass-ratio band. A comparison is a tie, not a strict difference, when the ratio of the two means is between 0.99 and 1.01 inclusive. Strictly larger means the ratio of the claimed-larger species to the other is greater than 1.01.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha05-17> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha05-17--claim-test> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha05-17--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "species-mean body mass and wing length of the four columbids";
dc:license "CC BY 4.0";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: AVONET ELEData.zip, TraitData/AVONET1_BirdLife.csv species means";
prov:atLocation <https://s3-eu-west-1.amazonaws.com/pfigshare-u-files/38429873/ELEData.zip?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAIYCQYOYV5JSSROOA/20261102/eu-west-1/s3/aws4_request&X-Amz-Date=20261102T003106Z&X-Amz-Expires=10&X-Amz-SignedHeaders=host&X-Amz-Signature=0a957ef7f6b5d1c7cc59603fac1459f05ffbebc99307b08defe0362f40b7576c>;
prov:wasDerivedFrom <https://figshare.com/articles/dataset/AVONET_morphological_ecological_and_geographical_data_for_all_birds_Tobias_et_al_2021_Ecology_Letters_/16586228>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:e7e76dbe5c389753ff73a70d8a09b5fa01a15e75f359b34b01e2602b85e88f32" .
}
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-claim-tests-c47a)";
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-17/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.763Z"^^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-17--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha05-17: refutes, confidence 0.85";
<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 "P8SE+io2+07rJFekBtKU6R23eSYbxzIwenhHMUQGQHJEfgJ9pQGNHlPXwxCLPDdqVfsNRrdAKA44tO6FJGYNXik7fqhgOocDG6TOn6ZtP3V36HHTZuz6RAp4iGBn5K/eRcSpo5V9Hxr/Xzx3pe/YLbkUOzNPWtBRMHR5K2SsFVxR6xYXsy//uoWUfkOtuCSsIk+VG5I9Oeap585yceQcrHseIleMTID8It50G0pMVifRvQE6S/q8nzx2/8U6GJ0qkoQYEfDHffj6j3hOvDILvLmxIcyuqgjc3kGlIJngeNbZ/wwmbCHTOX7rc2Nc9Zch0267M2waRnd9rqfH2ukMSQ==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}