https://w3id.org/np/RA4nwZkTQ19xbpQy78cX_ladbLof0hiHAnDDU-EsN-AnU
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RA4nwZkTQ19xbpQy78cX_ladbLof0hiHAnDDU-EsN-AnU> .
@prefix sub: <https://w3id.org/np/RA4nwZkTQ19xbpQy78cX_ladbLof0hiHAnDDU-EsN-AnU/> .
@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-pa01-06--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "Four AntWeb v3 specimen queries were requested: caste=worker, lifeStageSex=alate, lifeStageSex=dealate, and lifeStageSex=wingless, each limited to 200 records and to family Formicidae. Records would be classed by the pre-registered wing and caste rules, with genera counted on the returned sample and totals taken from the service when it reports one. A non-JSON or non-200 response is recorded as the service not retrieved.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: null AntWeb specimens classed as flying; non-flying count is in extra. Interpretation: Aristotle's point is that the group Ants falls under both Flying and Walking, because some ants fly and others do not. The test asks whether both forms occur among ants. It does not ask whether flight is a species-level character, and it does not treat every queen as flying.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-pa01-06: inconclusive, 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-pa01-06/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "A public entomological specimen database that records caste or a life-stage statement for ants (Formicidae), independently of Aristotle's text. Occurrence points without a caste or wing statement do not count.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "none";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "Every scored ant specimen falls in only one of those two classes, with at least 50 specimens in the class that is present.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "From this network the AntWeb host returned a Cloudflare challenge page (HTTP 403) instead of specimen JSON. No caste or wing count was read, and no other dataset was substituted.",
"No AntWeb specimen response had been read when this file was committed. Worker is counted as non-flying because that is the wingless caste in the coding the pass criterion names; a worker record that also says alate would be classified by the flying rule first and would not be counted as non-flying.";
<https://w3id.org/delphi/ontology/expectedObservation> "The ant specimen record contains both winged individuals (alates or otherwise marked winged) and wingless individuals (workers, or specimens marked wingless, apterous, ergatoid, or dealate).";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. Refutes if one of the two classes has zero specimens and the other has at least 50, in a response that reports a total or that exhausts the matching records. Mixed if both classes are present but one is below 50 or is confined to a single genus. Inconclusive with reason underpowered if both classes are below 50. Inconclusive with reason data-unavailable if the specimen service cannot be retrieved or returns no caste and no life-stage field. Confidence is 0.8 when the pass rule is met or when one class is absent against at least 50 of the other, and 0.5 when the verdict is mixed or underpowered.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.85"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-pa01-06--claim-test--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "inconclusive";
<https://w3id.org/delphi/ontology/hypothesis> "If ants as a group both fly and do not fly, a public specimen corpus will contain winged ants and wingless ants, not only one of those forms.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Class each specimen by the pre-registered text and caste rules. Compare the two class sizes with the thresholds of 50 specimens and 2 genera. The specimen total is the service's reported total when it provides one; genera are counted on up to 200 records of each class.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. Supports if AntWeb specimen records in Formicidae include at least 50 flying specimens in at least 2 genera and at least 50 non-flying specimens in at least 2 genera. A specimen is flying only when its life-stage text contains alate (and not dealate), winged, or macropterous. A specimen is non-flying when its caste is worker, or its life-stage text contains wingless, apterous, ergatoid, or dealate. A queen or a male with no wing word is neither class: ergatoid queens and wingless males exist, so caste alone does not show that they fly.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-pa01-06> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-pa01-06--claim-test> .
<https://w3id.org/delphi/resource/evidence/aristotle-pa01-06--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "caste and life-stage text for ant specimens, used to separate flying and non-flying individuals";
dc:license "AntWeb data are available for use; the service page states the terms";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: AntWeb specimen service, version 3";
prov:atLocation <https://api.antweb.org/v3/specimens?family=formicidae&caste=worker&limit=200>,
<https://api.antweb.org/v3/specimens?family=formicidae&lifeStageSex=alate&limit=200>,
<https://api.antweb.org/v3/specimens?family=formicidae&lifeStageSex=dealate&limit=200>,
<https://api.antweb.org/v3/specimens?family=formicidae&lifeStageSex=wingless&limit=200>;
prov:wasDerivedFrom <https://www.antweb.org/api.do>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:2bcb6fbe3330986217c3112fe68498251187a02c8d9b989ce40fa178f8488d4c",
"sha256:5d0ddec6bcbd8da1d2c16dd02adcdae7cdd27aa349a7cfc70c601f9df3a4be8b", "sha256:62729e183d19d5745e9b5e4c2584201bbfdf9089bdcd522d57069c040d4a6323",
"sha256:cecde2ef00e13f4369be470ce4079fe0f1f167143a55446cebb00a6a0e3567cf" .
}
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-claims-906a)";
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-pa01-06/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.790Z"^^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-pa01-06--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-pa01-06: inconclusive, 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 "eKz2jasH+DtMtwWbVIGQsA3khsibcsc8qzVbLX9sFR2rDWX1JCrP2hSRSLLJ+IAwQ/7GyOUWAIRW9oZl66RBsaI6NM3XwHRlghcCBAISLZx2bx3tpez4A4VHgrT/7qvt/FYZEIOVkKOmX8QRnxUO674TWizZxA83qS1JPZ85MlD3n8HuyK4/ZFisXZNUOEOxC6ozY7qa3RP/U6frCTozlIGtL/nLoVwwArwlgZdeArX6Ug25rGW6C327M3ZfkUK170mZ9QvHhz65SSqQEcvhwC+ol8rVs3r/tBx5MwVXVq7Mu0wy6D34ftl0UXkrSt0BT1PpMr0PBxshww/7TKuPhg==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}