https://w3id.org/np/RAcHlYYIs9MXtqVGYu0XbSwP-BgCBiQs7uYx1kloiGOMc
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAcHlYYIs9MXtqVGYu0XbSwP-BgCBiQs7uYx1kloiGOMc> .
@prefix sub: <https://w3id.org/np/RAcHlYYIs9MXtqVGYu0XbSwP-BgCBiQs7uYx1kloiGOMc/> .
@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-ha09-40--claim-test--pr-109>
a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "Matched each of the four scope names on the GBIF backbone, then counted European present occurrences by month. Applied the pre-registered identity and three-month overlap rule to both pairs. The continent and the names were not changed.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 12 calendar months in which both members of a pair have at least 20 European occurrences (minimum across the two pairs) (n = 21383784). Interpretation: Aristotle says the redbreast and the redstart change into one another and differ practically only in plumage colour, and that the beccafico and the blackcap do the same. The measurable reading uses the modern species named in this claim's scope. A shared accepted name would support one-bird identity. Two accepted species that occur in Europe in the same months cannot be seasonal plumages of one bird. Plumage photographs and genomes are not in this test. The ancient-name mapping is the scope's mapping and is an assumption of the test.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha09-40 (pr-109): 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-ha09-40/pr-109/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "A public taxonomic backbone and public occurrence records with month and continent, independent of Aristotle's text. Europe is the geographic scope because the claim's species are European. Counts, not media files, are the observation. Licences on individual occurrences are not re-published; only monthly totals are used.";
<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 pairs are distinct accepted species, and each pair has at least three European months in which both species have at least 20 occurrence records.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Registered at 2026-11-02T00:42:19Z (7:42 PM America/New_York on 2026-11-01), before any species/match or occurrence query. https://api.gbif.org/v1/ and https://api.gbif.org/v1/species/match returned HTTP 200 on HEAD. No taxon key, occurrence count, or month total was read.";
<https://w3id.org/delphi/ontology/expectedObservation> "Each named pair resolves to one accepted GBIF species, rather than to two species that are both present in Europe across shared months.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. The transformation claim is refuted when each pair is two accepted species in the GBIF backbone and, in Europe, each pair is recorded in at least three of the same calendar months with at least 20 occurrences of each species in that month. Distinct species with little month overlap are mixed, not a refutation, because seasonal separation alone does not show they are one bird.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.85"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha09-40--claim-test--pr-109--dataset-1>,
<https://w3id.org/delphi/resource/evidence/aristotle-ha09-40--claim-test--pr-109--dataset-2>;
<https://w3id.org/delphi/ontology/hasVerdict> "refutes";
<https://w3id.org/delphi/ontology/hypothesis> "If the redbreast and the redstart are one bird in two seasonal plumages, and the beccafico and the blackcap likewise, then each pair is a single accepted species and the two forms are not separate species present in Europe in the same months.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Species match to an accepted usage key, then a month facet of European occurrences. Thresholds are equality of accepted keys and an overlap of at least three months with counts of at least 20, applied to both pairs, as stated in pass_criterion.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. Names are fixed to the claim's stated scope: Erithacus rubecula (redbreast), Phoenicurus phoenicurus (common redstart), Sylvia atricapilla (blackcap), Sylvia borin (beccafico / garden warbler). For each name, GBIF species/match must return a species-rank hit with matchType other than NONE. The accepted key is acceptedUsageKey if present, otherwise usageKey. A pair is one species if the two accepted keys are equal. European presence uses occurrence/search with that accepted taxonKey, continent=EUROPE, occurrenceStatus=PRESENT, facet=month, limit=0. A month counts only when its facet count is at least 20. A species is usable only if its European occurrence count is at least 100. Supports only if both pairs collapse to one accepted species. Refutes only if both pairs have two different accepted keys and each pair shares at least 3 counted months. Mixed if the pairs disagree, or both pairs are distinct species but at least one pair shares fewer than 3 counted months. Inconclusive with reason 'data-unavailable' if any match fails, the continent filter is rejected, or the facet block is missing. Inconclusive with reason 'underpowered' if any species has fewer than 100 European occurrences. Do not switch the continent or the names after seeing counts. Confidence: 0.85 if refutes, 0.40 if supports (a shared key would be a taxonomy collapse, which is unlikely to be the biological claim without a specimen series), 0.50 if mixed.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha09-40> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha09-40--claim-test--pr-109> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha09-40--claim-test--pr-109--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "accepted species keys for the four names in the claim scope";
dc:license "GBIF API. Taxon records are from the GBIF backbone.";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: GBIF backbone species match";
prov:atLocation <https://api.gbif.org/v1/species/match?name=Erithacus+rubecula&verbose=true>,
<https://api.gbif.org/v1/species/match?name=Phoenicurus+phoenicurus&verbose=true>,
<https://api.gbif.org/v1/species/match?name=Sylvia+atricapilla&verbose=true>, <https://api.gbif.org/v1/species/match?name=Sylvia+borin&verbose=true>;
prov:wasDerivedFrom <https://www.gbif.org/species/search>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:091639f84318b2fb31c95d7c92f20589f739a77e2ee1df11a9fe1d72c41f6e78",
"sha256:a1862419d0007a7b23840ec2032e2b1bc3e0258d2a477e2007a28669b78f07f7", "sha256:ad625074697aa11ba798f0c3745eba645eec0aa0d0b7db4f3b691faf0b3911e4",
"sha256:fc6580befb26c418857aa4aab0e5a90d74df3af64e83104f0f52ad19bb776ef1" .
<https://w3id.org/delphi/resource/evidence/aristotle-ha09-40--claim-test--pr-109--dataset-2>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "European monthly occurrence counts for each accepted species";
dc:license "GBIF API. Only monthly counts were used; individual occurrences were not downloaded.";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: GBIF occurrence search, Europe, month facet";
prov:atLocation <https://api.gbif.org/v1/occurrence/search?taxonKey=2492462&continent=EUROPE&occurrenceStatus=PRESENT&facet=month&limit=0&facetLimit=12>,
<https://api.gbif.org/v1/occurrence/search?taxonKey=2492942&continent=EUROPE&occurrenceStatus=PRESENT&facet=month&limit=0&facetLimit=12>,
<https://api.gbif.org/v1/occurrence/search?taxonKey=2492956&continent=EUROPE&occurrenceStatus=PRESENT&facet=month&limit=0&facetLimit=12>,
<https://api.gbif.org/v1/occurrence/search?taxonKey=5739317&continent=EUROPE&occurrenceStatus=PRESENT&facet=month&limit=0&facetLimit=12>;
prov:wasDerivedFrom <https://www.gbif.org/occurrence/search>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:508ce45f3c9743a9f96320b94dbbe4bbea9cb8bbac585257f4608ca4975b02e9",
"sha256:5f7648cd1707acdc22660253fd42793c17b5b5f9660238e82be57ba57c2a8a08", "sha256:6b91bd4a6042035699cd5e37aa055d3cd224d350fa6eedb8536e56c02524b7a8",
"sha256:9a0c32d3b88d224ca5d10d3ec62ee9f2de7e7d513b79ecd65b507ee013e5e542" .
}
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-654f)";
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-ha09-40/pr-109/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.789Z"^^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-ha09-40--claim-test--pr-109>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha09-40 (pr-109): 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 "NxPjJo+BSy8CYc61woqRJ1xWa5GNmRc+uTwfJdXkQXRYmq5mBMazBHjNTvNYKhxwXekKCYEM6Ij+gQJI2cDqY/vvHOPrdDHGMO//5F03UEM2XjFcjgaAfQf3aAm8gpEcdQAWNCcv4W6QvBctwEXWntiejdxn19ai29Al+3gm5+l+rUAsvWSU5dk1QFzlRaUnCYQE1k8Mpo2hLA4wxNImxjUAil4zIAVrMdpIpZsXvxHKqoZDqrAVpEszcEYBJ1UZZ0b0HLiKM8MjqoFmqNIQmyHu5K/kpWsjRkJROLEs49k4PIIJP1WPj2C4AqUs8CkhGkl+0D23Qz8JgAEJgO/yLg==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}