https://w3id.org/np/RAPZN9fRxYwXXN3Tb8NZwzlogmxK7EENiP7qV6Lwd4V6o
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAPZN9fRxYwXXN3Tb8NZwzlogmxK7EENiP7qV6Lwd4V6o> .
@prefix sub: <https://w3id.org/np/RAPZN9fRxYwXXN3Tb8NZwzlogmxK7EENiP7qV6Lwd4V6o/> .
@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-ha06-20--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "The newest FishBase snapshot in the public listing was v26.06. Species were joined to families on FamCode and kept when Class was Teleostei, Holostei, Chondrostei, or Cladistii. TypeofScales was read from morphdat (column Speccode) and reproductive guilds from reproduc, one species code each; a species whose rows disagreed was not scored. Cycloid, ctenoid, ganoid, and other texts containing 'scale' but not an absence phrase were scaly. 'Scales absent' was smooth. Nonguarders and guarders were oviparous. 'Internal live bearers' were not oviparous. 'External brooders' were oviparous. The floors were applied separately to scaly species, smooth species outside Anguillidae, and Anguillidae.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 19 Anguillidae species coded as egg scatterers (n = 20). Interpretation: Scaly fishes are actinopterygians whose scale field says scales are present, including cycloid, ctenoid, and ganoid. Smooth or slippery fishes are actinopterygians coded scaleless, naked, or without scales. The eel exception is the family Anguillidae. Oviparous means egg-laying. Viviparous and ovoviviparous are not oviparous. If the table uses reproductive guilds instead of those words, bearers and live-bearers count as not oviparous, and nonguarders and guarders count as oviparous only when the guild text does not say viviparous. Cartilaginous fishes are outside the claim's bony-fish scope.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha06-20: mixed, confidence 0.7";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha06-20/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "A versioned FishBase snapshot with a species row, a scale code, and a reproductive mode, joined on the species code. A mode missing for a species is not evidence about that species. Wikipedia is not admissible.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "Five or more live-bearing scaly species, five or more live-bearing smooth non-eel species, or an oviparous eel.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Eight further scaly species, all Apogonidae, are coded only 'bearers' with no internal or external subcategory. They are not used as the five viviparous counterexamples. Other bearer rows in the same table are external brooders, which lay eggs. Counting these eight as viviparous would push the scaly clause over the floor of five; that reading is rejected in deviations.",
"FishBase licence for this snapshot was not stated in the files that were fetched, so the licence is unresolved. Cartilaginous fishes were left out of the scope.",
"The eel clause refutes. Nineteen of twenty Anguillidae species have a guild, and all nineteen are nonguarders and open-water or substratum egg scatterers, including Anguilla anguilla. The claim excepts the eel from oviparity. One anguillid, Anguilla borneensis, has no guild and is not scored.",
"The scale field also misses the live-bearers. Of 456 ray-finned species whose guild says internal live bearer, 453 have no scale type, three are scaly, and none are smooth. Those 453 are not relabelled as scaly. A blank scale is not evidence either way.",
"The scaly clause is underpowered. Among 1,673 scaly species with a guild, three are coded internal live bearers: Acarobythites larsonae, Helicolenus lengerichi, and Zoarces fedorovi. The pre-registered refutation floor is five, and one to four counterexamples stays underpowered. The clause also does not support, because support required zero viviparous species.",
"The smooth clause is underpowered. TypeofScales is blank for 32,142 of 35,254 ray-finned species. Only four species are coded 'scales absent', and none of those four has a guild, against a denominator floor of 30. Aristotle's smooth fishes are not recovered by that code: Anguilla anguilla, the eel he called smooth, is coded cycloid where a scale type is present.";
<https://w3id.org/delphi/ontology/expectedObservation> "No viviparous or ovoviviparous species among at least 100 scaly bony fishes, none among at least 30 smooth bony fishes other than eels, and no oviparous eel.";
<https://w3id.org/delphi/ontology/failCriterion> "The scaly clause refutes if at least 5 scaly species with a mode are viviparous or ovoviviparous and at least 100 scaly species are scored. One to four counterexamples is underpowered. The smooth clause refutes at the same count of 5, with its denominator of at least 30. The eel clause refutes if at least one Anguillidae species is oviparous. If the scaly clause refutes and the eel clause refutes, the verdict is refutes. If they disagree, the verdict is mixed and the clauses are named. If FishBase has no scale field, the scaly-versus-smooth split is inconclusive with reason not-operationalizable, and species are not relabelled as all fishes. If the mode field is missing, the verdict is inconclusive with reason data-unavailable.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.7"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha06-20--claim-test--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "mixed";
<https://w3id.org/delphi/ontology/hypothesis> "If the claim holds, every scaly bony fish with a recorded reproductive mode is oviparous, and every smooth bony fish except the eel is oviparous, while eels are not.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Join the scale code to the reproductive mode on species code, restrict to Actinopterygii, and apply the floors separately to scaly fishes, smooth non-eels, and Anguillidae. Do not count a species twice.";
<https://w3id.org/delphi/ontology/passCriterion> "The scaly clause supports if at least 100 scaly actinopterygian species have a reproductive mode and none are viviparous or ovoviviparous. The smooth clause supports on the same rule for scaleless species outside Anguillidae, with a denominator of at least 30. The eel clause supports if every Anguillidae species with a mode is not oviparous and at least one such species is scored. Overall supports only if all three clauses support.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha06-20> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha06-20--claim-test> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha06-20--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "scale type and reproductive guild joined on species code, restricted to ray-finned classes";
dc:license "unresolved. The parquet snapshot contains no license file, and no license statement was fetched with these tables.";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: FishBase v26.06 species, families, reproduction, and morphology tables";
prov:atLocation <https://data.source.coop/cboettig/fishbase/fb/v26.06/parquet/families.parquet>,
<https://data.source.coop/cboettig/fishbase/fb/v26.06/parquet/morphdat.parquet>, <https://data.source.coop/cboettig/fishbase/fb/v26.06/parquet/reproduc.parquet>,
<https://data.source.coop/cboettig/fishbase/fb/v26.06/parquet/species.parquet>, <https://s3.us-west-2.amazonaws.com/us-west-2.opendata.source.coop?list-type=2&prefix=cboettig/fishbase/fb/&delimiter=/>;
prov:wasDerivedFrom <https://fishbase.org/>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:180c611fac5972661809df3072c09c7d5b2aebcf6d002c7e2578f8c4d09b9c7f",
"sha256:2f5e806d0af38aa4fe5422d29cdff94a2532382203b0d6b60412e48f4f4b4147", "sha256:34827248b08d7b6303d0b7c9dfb2a2ab8cd4271ecb7b2969eea427230a265d06",
"sha256:87c99bc57f368c6102ea4042e7e6c8019c7405d5a352ead840f06244609ab101", "sha256:b631704f0f4972acdb2edb5d3105f0a6172adb4c473d73e505113f8288418247" .
}
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-anatomy-b-3f24)";
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-ha06-20/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.772Z"^^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-ha06-20--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha06-20: mixed, confidence 0.7";
<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 "volsWvhHhb+KLC8AHfDE5PbbzW+qB64VcxT1Zzulcxf9eKppl6qkGir1JC0FAB1UWhG5b0M0Kd5a3AY3EYJuoIRyGA+k4ypZcKZo1gQfe2fnhoniiWdNhWi/zovbbRcY8EfpsuOjF+Wbt6SmNVB63LQaDxnRtmN3MEaJcXEXWR0Dm2TlZakIQtT0TGZ2iXPM8JYpjh/6ka27T3hoDUZwHmHLeapFlqCf0bC7hMdfusGguSLXejtaARjGjryjVeJjD+3V6+tr66Ktnn8/2Lkc5IdL1qHYf+v1pvNwnN9Mp9XRL9zszxy6N2dm2oyjCnuMeM4vg8N74gF+wXYxrZikwQ==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}