https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk> .
@prefix sub: <https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/> .
@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-ha01-08--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "Each Dryad file was retrieved by solving the Anubis fast challenge and following the redirect to the object store. SquamBase Limbs values were mapped with the pre-registered codebook: a leading integer is that count, limbless is 0, forelimbs-only or hindlimbs-only is 2, and reduced or four well-developed limbs is 4. Arthropod rows with Leg count greater than 4 were checked for a vertebrate class or order from the pre-registered list.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 0 counterexamples (squamate limb counts outside {0, 2, 4}, plus many-legged specimens coded vertebrate) (n = 11744, category strings mapped with the pre-registered codebook; leading integer wins when the cell starts with a digit). Interpretation: Scope maps 'blooded' to vertebrates and 'bloodless' to invertebrates. 'Feet' are paired locomotory limbs or walking legs, not digits. SquamBase categories follow Meiri's codebook: a numeric cell is that count; 'limbless' or 'absent' or 'none' maps to 0; 'forelimb only', 'hindlimb only', 'front only', 'hind only' or 'one pair' maps to 2; 'fully limbed', 'four', 'both pairs' or 'reduced' (short limbs, not an extra pair) maps to 4. A tiny vestige that the dataset itself calls limbless stays 0. Digit counts are ignored. Vertebrate coding in the arthropod file is a taxonomic field containing Vertebrata, Mammalia, Aves, Reptilia, Amphibia, Actinopterygii, Chondrichthyes, or an order in {Primates, Carnivora, Rodentia, Cetacea, Artiodactyla, Perissodactyla, Chiroptera, Squamata, Testudines, Crocodylia, Anura, Caudata, Gymnophiona, Perciformes, Cypriniformes, Siluriformes, Salmoniformes, Squaliformes, Rajiformes}.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha01-08: supports, confidence 0.78";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha01-08/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Species- or specimen-level public tables that state a limb or walking-leg count and a taxon name, assembled independently of this claim, with a licence that permits download. The squamate table must cover snakes and lizards, not a single genus. The many-legged table must state walking-leg counts rather than a presence/absence of limbs.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "A squamate with a limb count other than 0, 2 or 4, or a vertebrate specimen with more than four walking legs.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Mammals, birds, amphibians and fishes are not in these two files. The pre-registration treats that absence as coverage, not as a failure.",
"SquamBase 'reduced' is mapped to 4 because the codebook says reduced means short limbs, not an extra pair. Digit counts are not a separate column in this file.",
"The arthropod table is a comparative specimen sample, not a census of arthropods.";
<https://w3id.org/delphi/ontology/expectedObservation> "Every coded squamate has 0, 2 or 4 limbs, and every arthropod specimen with more than four walking legs is non-vertebrate.";
<https://w3id.org/delphi/ontology/failCriterion> "Any mapped squamate limb count is outside {0, 2, 4}, or any specimen with more than four walking legs is coded as a vertebrate. If either file cannot be retrieved, or fewer than 5000 squamates map, or fewer than 30 many-legged arthropod specimens are present, and no counterexample has already been found, the verdict is inconclusive with reason data-unavailable or underpowered as appropriate. Unmapped limb strings that are more than 1% of SquamBase rows and that do not themselves state a count outside {0, 2, 4} make the verdict inconclusive with reason other, unless a mapped counterexample is already present, in which case the verdict is refutes.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.78"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-1>,
<https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-2>;
<https://w3id.org/delphi/ontology/hasVerdict> "supports";
<https://w3id.org/delphi/ontology/hypothesis> "If every animal with more than four feet is bloodless, and every blooded animal has no feet, two feet or four feet, then squamates (blooded) have only 0, 2 or 4 limbs and every arthropod specimen with more than four walking legs is outside the vertebrates.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Map each row to a limb count with the codebook above. A universal is refuted by one counterexample. A pass requires both sample-size floors and zero counterexamples. No phylogenetic model.";
<https://w3id.org/delphi/ontology/passCriterion> "Both of the following. (1) In SquamBase, at least 5000 species have a limb count mapped to a number, and none of those counts is outside {0, 2, 4}. (2) In the arthropod feet dataset, at least 30 specimens have a walking-leg count strictly greater than 4, and none of those specimens is coded in a vertebrate class, phylum or order. Mammals, birds, amphibians and fishes are outside these two files and do not have to be present for a pass; their absence is a coverage caveat, not a fail.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha01-08> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "limb category for each squamate species";
dc:license "https://spdx.org/licenses/CC0-1.0.html";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: SquamBase 1.0 – a dataset of squamate species traits";
prov:atLocation <https://datadryad.org/downloads/file_stream/2884612>;
prov:wasDerivedFrom <https://datadryad.org/dataset/doi:10.5061/dryad.76hdr7t3b>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:e850eb807240e1012d0af3e5f2c33a84dab406d50e86a8e3dc591f51a64912af" .
<https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-2>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "walking-leg count and taxonomic class or order for each specimen";
dc:license "https://spdx.org/licenses/CC0-1.0.html";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Data from: Which arthropods have feet and why? Addressing an argument for aquatic fossil scorpions";
prov:atLocation <https://datadryad.org/downloads/file_stream/4221035>;
prov:wasDerivedFrom <https://datadryad.org/dataset/doi:10.5061/dryad.98sf7m0tk>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:0ca5307235e1ce60306fa2d3fd6535bdb011f2b08f172b6eb52fddf2edfa110c" .
}
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-4186)";
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-ha01-08/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.746Z"^^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-ha01-08--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha01-08: supports, confidence 0.78";
<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 "TalLmGa4Qy06jOrCDzrmAmZXSyEn+Z+FVI7Dl+gRDa+9nDmc289D8c4SWBlunyQ/v0Ab7To2i4nYX84nPUzkWovD1/97ffALwAfIsk9YbMQ/aOFVsgsdUUfCqUuN0O3+W6q8IQc898liqoMa1BPb5vAepwKOT1twJLep5YT5auZ0/Nf+5S7jwQVZG2GxSsIOdUmxZIs1zVwPv9tEfr1AkSuQ8lAh2ePUGQ3kuU2Fwl/9ldstzcf0GkXKSld7WCYbA7NPwKwRDwmdZhLlKq4mbqkySzrYWKotd3eX2+O9JrpXPyuKJmkBOXZa1gvQAA7VyqE8JDT/5apt53gLJrCJVw==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}