https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU> .
@prefix sub: <https://w3id.org/np/RA2IVTY56auBRiYl5hUVNuCRtK5asd7LPntn5Y680kQKU/> .
@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-ha02-16--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "analysis.py downloaded the Zebrafish Anatomy Ontology and Uberon release v2026-10-01 and parsed OBO term blocks. A clause is contradicted when the zebrafish ontology has an exact label or synonym neck, limb, forelimb, hindlimb, testis, testicle, or mammary gland or breast. An Uberon in_taxon or only_in_taxon axiom whose taxon label is Mammalia, Tetrapoda or Amniota is read as a restriction to a non-fish clade. never_in_taxon on a fish clade would also support the clause. dubious_for_taxon is recorded and does not by itself support it. Fins are not scored as limbs. A zebrafish label that is simply absent supports that clause under the pre-registered single-species rule. The conjunction is mixed when at least one clause is contradicted and at least one other clause is supported.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 1 clauses contradicted, of neck, limb, testis and mammary gland (n = 4). Interpretation: Fish follows the modern scope of jawed fishes and excludes tetrapods. Aristotle's limb is an arm or leg, so pectoral and pelvic fins do not count; a digit-bearing limb or a class labeled limb, forelimb or hindlimb does. Testicles map to the testis, internal or external. Breasts map to the mammary gland. An ontology axiom is a curated anatomical assertion, not a new dissection, and the caveat must say so.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha02-16: mixed, confidence 0.76";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha02-16/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Public anatomy ontologies that name these structures and either are the anatomy of a fish species or attach taxon constraints (present_in_taxon, never_in_taxon, only_in_taxon) resolvable to a lineage. Fins are not scored as limbs. Tetrapods are not fishes.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "Any fish taxon is asserted to have a testis, a neck, a limb (not a fin), or a mammary gland. One such fish is enough to contradict that clause, and a contradicted testicle clause refutes the sentence.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Neck, limb, forelimb, hindlimb, mammary gland and breast have no exact label in that fish ontology. Uberon restricts limb to Tetrapoda and mammary gland to Mammalia. Neck is only marked dubious for Teleostei, so its support is the missing zebrafish label.",
"Paired fins are not counted as limbs.", "The limb axiom notes that the class extends to stem tetrapods such as Eusthenopteron. That fossil was not scored as a living fish.",
"These are curated ontology axioms, not new dissections.", "Zebrafish Anatomy Ontology term ZFA:0000598 is named testis, with synonym testes, in Danio rerio. That contradicts the claim that no fish has testicles.";
<https://w3id.org/delphi/ontology/expectedObservation> "Neck, limb, testis and mammary gland are each absent from fishes: either excluded by a taxon constraint or, in the zebrafish anatomy ontology, not named as a zebrafish structure.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. Refutes if the testicle clause is contradicted, because the claim says no fish has testicles within or without. Mixed if at least one clause is contradicted and at least one other clause is supported. Inconclusive, reason data-unavailable, if neither ontology can be retrieved. Inconclusive, reason not-operationalizable, if the files contain no taxon or presence assertion that can score at least one clause.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.76"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-1>,
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-2>;
<https://w3id.org/delphi/ontology/hasVerdict> "mixed";
<https://w3id.org/delphi/ontology/hypothesis> "Fishes lack a neck, lack limbs, lack testes whether internal or external, and lack mammary glands.";
<https://w3id.org/delphi/ontology/inferenceMethod> "analysis.py matches class labels neck, limb, forelimb, hindlimb, testis and mammary gland, reads taxon axioms, and resolves NCBI lineages for the cited taxa. Zebrafish Anatomy Ontology terms count as structures of Danio rerio. A universal absence is supported only by an exclusion that covers fishes, or by absence of the label from the fish-species ontology together with no contradictory presence axiom. A single presence axiom contradicts that clause. The conjunction refutes when the testicle clause is contradicted and no other clause is positively supported; it is mixed when support and contradiction both occur.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. Four clauses are scored separately for fishes, meaning Actinopterygii, Chondrichthyes, and non-tetrapod Sarcopterygii. A clause is supported if an anatomy ontology restricts the structure to a non-fish clade (only_in_taxon or an equivalent never_in_taxon covering fishes) or, for a single-species fish anatomy ontology, the structure's label is absent. A clause is contradicted if any fish is asserted to possess the structure. Supports only if all four clauses are supported and none is contradicted. Fins, paired fins and fin rays are not limbs. A gonad labeled testis or testicle in a fish contradicts the testicle clause.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha02-16> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha02-16--claim-test> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "anatomy of one fish species, Danio rerio";
dc:license "CC BY 3.0";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Zebrafish Anatomy Ontology";
prov:atLocation <https://purl.obolibrary.org/obo/zfa.obo>;
prov:wasDerivedFrom <https://purl.obolibrary.org/obo/zfa.obo>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:ee378cb00699a69d8b6fb7c608041ae11db97f0caab5570d63982a9a2d18ee25" .
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-16--claim-test--dataset-2>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "taxon constraints on neck, limb, testis and mammary gland";
dc:license "CC BY 3.0";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Uberon multi-species anatomy ontology";
prov:atLocation <https://github.com/obophenotype/uberon/releases/download/v2026-10-01/uberon.obo>;
prov:wasDerivedFrom <https://github.com/obophenotype/uberon/releases/tag/v2026-10-01>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:d4751a15d7551a8414caee2628c62bf68301d567caf54ccfa3eef383ae7cbb61" .
}
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-5da8)";
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-ha02-16/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.751Z"^^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-ha02-16--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha02-16: mixed, confidence 0.76";
<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 "h4YiMTsv2lSlW904YX+7MSYhM/EoeFNsRPlXn22A7eNVgEb8boLnUGnlrdkWUdmC9uohWVKMOvdYGNCQbFWbVpWyVNaZikYxpZepZL4fAfKCRv7x8tE/9XaMY6t2IvF+4lEHyaJLmeSU1NbhNDo2dUJuhaYWsqGllgeKiJDc6HAm1WzDYz88LXPvtSzM4/2ckrmb+Ws2sCWkJJtM9Ayo8AQ0GBFKD2qdzZPQ1HoXE1ZNGEHxu33N6NhW2DI4YHWzNxIo9eJeWQdAzYYnjc6+d99I/bLZnHzSiAAfx11JfyiOeo/UJBAJQWeE/+X0IXqCfMd5/YfEu4qSMknZiD98vA==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}