https://w3id.org/np/RAlY3k7GUiA88WTcLPtyQwBTfrI911Qu6xhQhRVozbhIk
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAlY3k7GUiA88WTcLPtyQwBTfrI911Qu6xhQhRVozbhIk> .
@prefix sub: <https://w3id.org/np/RAlY3k7GUiA88WTcLPtyQwBTfrI911Qu6xhQhRVozbhIk/> .
@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-23--claim-test--pr-99>
a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "Counted exact adult zebrafish terms named kidney or urinary bladder, ignoring the swim bladder, and read Uberon renal-minimal taxon axioms for Aves or Gallus. Any positive presence refutes the universal. Support would require positive absence axioms for both organs and no fish term. A missing string is not absence.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 1 positive kidney or urinary-bladder records in fish or birds (n = 3113, exact term match plus taxon axioms). Interpretation: The claim is the anatomical universal in the claim record: fishes and birds lack kidneys and lack a urinary bladder. 'Is known to have' is read as a claim about the animals, not as a claim about what Aristotle's contemporaries had heard. One adult fish with a kidney is enough to refute that universal. The zebrafish anatomy ontology is a curated inventory of one fish, Danio rerio. Birds are scored only from taxon axioms in the Uberon renal subset, not from the mere existence of a general kidney class.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha02-23 (pr-99): refutes, confidence 0.84";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha02-23/pr-99/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Public anatomical ontologies whose terms are structures of fishes or that carry taxon axioms for birds, licensed for reuse, independent of Aristotle's text. Swim-bladder terms are inadmissible as bladders. A term's absence is inadmissible as proof the organ is absent.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "An adult zebrafish term named kidney or urinary bladder, or a positive axiom that a bird has either organ.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "A single model species can refute a universal and cannot confirm one.",
"While checking URLs, the ZFIN page for the term kidney was visible, and a review abstract mentioning avian kidneys was returned by search. Neither is the dataset. The verdict uses the downloaded files only.";
<https://w3id.org/delphi/ontology/expectedObservation> "No adult zebrafish anatomy term is exactly kidney or urinary bladder, and the renal ontology asserts that birds lack both.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. The universal is refuted if the zebrafish adult anatomy contains an exact term 'kidney' or 'urinary bladder', or if the Uberon renal subset positively asserts a kidney or a urinary bladder in Aves or Gallus. A missing term is not evidence of absence: if neither file positively shows an organ and neither positively asserts absence, the verdict is inconclusive with reason not-operationalizable. If the zebrafish file cannot be downloaded, the verdict is inconclusive with reason data-unavailable. Quadruped oviparous animals are outside the claim and are not scored.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.84"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha02-23--claim-test--pr-99--dataset-1>,
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-23--claim-test--pr-99--dataset-2>;
<https://w3id.org/delphi/ontology/hasVerdict> "refutes";
<https://w3id.org/delphi/ontology/hypothesis> "If no fish and no bird has kidneys or a urinary bladder, then a fish anatomy ontology that records adult structures will not contain a kidney or a urinary bladder, and a vertebrate renal ontology will not assert either organ in birds.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Exact name or synonym match, restricted to structures whose end stage is the adult stage (the stage named Adult, or else the stage with the greatest end hour). Any single positive presence refutes the universal. Positive taxon absence of both organs, with no positive presence, would support it. Otherwise the test cannot decide.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. A pass requires positive evidence of absence, not a missing string: the zebrafish anatomy file has no adult term whose name or synonym is exactly 'kidney' or exactly 'urinary bladder', AND the Uberon renal subset asserts absence (never_in_taxon, or an equivalent negative taxon axiom) of both kidney and urinary bladder for Aves. Swim bladder and gas bladder are not urinary bladders and never count.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha02-23> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha02-23--claim-test--pr-99> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-23--claim-test--pr-99--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "adult kidney and urinary bladder terms in Danio rerio";
dc:license "CC BY 4.0";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: ZFIN zebrafish anatomy terms, synonyms and stages";
prov:atLocation <https://zfin.org/downloads/anatomy_item.txt>, <https://zfin.org/downloads/anatomy_synonyms.txt>,
<https://zfin.org/downloads/stage_ontology.txt>;
prov:wasDerivedFrom <https://zfin.org/downloads>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:5be4ad7a51ee159098497a22c17819d04a19025c22078f0161f87c9aa557299c",
"sha256:b5d296611d1b28992f6ff7a576da45c598611de98d308bd8cbddb5ccd49de7f1", "sha256:bde4adf702730ab7c928a539d558d69949805bc2024a5e7de23d090fb886a75d" .
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-23--claim-test--pr-99--dataset-2>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "taxon axioms for kidney and urinary bladder in birds";
dc:license "CC BY 3.0";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Uberon renal-minimal subset";
prov:atLocation <http://purl.obolibrary.org/obo/uberon/subsets/renal-minimal.obo>;
prov:wasDerivedFrom <https://obophenotype.github.io/uberon/current_release/>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:cf22255b87059b3775f2a3eea9c782b45b38a4702eb487b3b3fbe8550540d929" .
}
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-305c)";
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-23/pr-99/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.753Z"^^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-23--claim-test--pr-99>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha02-23 (pr-99): refutes, confidence 0.84";
<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 "Al/sZa+b4GrXKbaAizylytvtRiuhSwMNq6Tzy0Nx9dLGsSpCZKuNfIPFKzPMoPL1XZu+/OAxTUt5Ec54K7yz0POOiF1RKzRlslw/cBscHJ3a1hQ3ufUapFC4zomkiX2criK2/JT2DjjXdAoJQ4bDscvesaVTnisv5jxUyeQagkJWfFeH7aEYHgH4T/KdJmPMSqZ3KlnVPY1EUnSHQ7I3LAgg7Hvgr0XL3b0Qu1NcWEBMIkieuDgTuVe7qCzwAeuK5KJrMiOKos1fwLy9bC3BLV62HNFFFsw8HScB3U6//k6dkyLuYbQ7ONSoSQiVDaOk2rOfrra8MdtaofRYlbeenQ==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}