https://w3id.org/np/RA3DSyhC8X_jCpsLKntQSQ_C-0UbYH1c9mXw3Ciy7HjH8
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RA3DSyhC8X_jCpsLKntQSQ_C-0UbYH1c9mXw3Ciy7HjH8> .
@prefix sub: <https://w3id.org/np/RA3DSyhC8X_jCpsLKntQSQ_C-0UbYH1c9mXw3Ciy7HjH8/> .
@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-ha04-01--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "Downloaded the two FAO catalogue PDFs and the pre-registered HTML summaries, kept a PDF only if its text contained the preregistered title tokens, coded arm number and sucker-row phrases in windows around each binomial, and applied the pass and fail rules.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 2 coded species whose sucker-row count is not 2 (n = 4). Interpretation: Aristotle's molluscs here are octopus, cuttlefish and squid, and the heledone is Eledone. Feet are the eight arms; the two tentacles of squid and cuttlefish are recorded and are not counted as feet. Loligo pealeii is an allowed alias of Doryteuthis pealeii because that is the name used in older catalogues. Two modern Eledone species with one sucker row refute 'one single species' even if Aristotle's heledone was a single kind. That lumping is a caveat on confidence, not a reason to merge the two species after the fact.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha04-01: refutes, confidence 0.6";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha04-01/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Published morphological accounts of the named species: the FAO cephalopod catalogue volumes whose text identifies them as the cephalopod catalogue, Animal Diversity Web species accounts, and SeaLifeBase species summaries. Nautilus and cirrate octopods are outside the claim's stated scope and are not in the panel. A name in a table of contents does not count unless the surrounding text states arms or sucker rows.";
<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 of those species has an arm count other than eight, or more than one species lacks two sucker rows, or both candidate one-row octopuses are coded and none departs from two rows.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "General knowledge before download is that Eledone is the one-row octopus and that squid have eight arms plus two tentacles. The codes still have to be present in the fetched text.",
"The panel is six species chosen before download, not a census of cephalopods.";
<https://w3id.org/delphi/ontology/expectedObservation> "In octopus, cuttlefish and squid accounts, every species has eight arms and two sucker rows except exactly one octopus.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. Refute if any coded species has an arm count other than 8 (confidence 0.75), or if two or more species have a sucker-row count other than 2 (confidence 0.60), or if a cuttlefish or squid has a sucker-row count other than 2 (confidence 0.70), or if both Eledone species are coded and every sucker-coded species has 2 rows (the stated exception is absent; confidence 0.55). Otherwise, including a missing Eledone code, the verdict is inconclusive with reason data-unavailable or underpowered (confidence 0.40).";
<https://w3id.org/delphi/ontology/hasConfidence> "0.6"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha04-01--claim-test--dataset-1>,
<https://w3id.org/delphi/resource/evidence/aristotle-ha04-01--claim-test--dataset-2>;
<https://w3id.org/delphi/ontology/hasVerdict> "refutes";
<https://w3id.org/delphi/ontology/hypothesis> "If every cephalopod in Aristotle's sense has eight feet, each with two rows of suckers, except one octopus, then octopus, cuttlefish and squid accounts state eight arms, two sucker rows, and exactly one octopus species with a different sucker-row count.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Extract a text window around each binomial, code arm number and sucker-row phrases, ignore a phrase that sits in a contrast clause, and apply the pass and fail rules. Sources that disagree are a conflict and do not count as a code.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. Feet are arms; tentacles are not feet. Support requires Octopus vulgaris coded as 8 arms and 2 sucker rows, both Eledone cirrhosa and Eledone moschata coded for arms and sucker rows, at least one cuttlefish and one squid coded as 8 arms with a sucker-row count, every coded arm count equal to 8, and exactly one species with a sucker-row count other than 2, and that species an octopus (Octopus or Eledone). Confidence 0.55, because the panel is not every species in the scope.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha04-01> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha04-01--claim-test> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha04-01--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "arm and sucker-row wording in species accounts";
dc:license "";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: FAO Cephalopods of the World, volumes 2 and 3";
prov:atLocation <https://www.fao.org/4/i1920e/i1920e.pdf>, <https://www.fao.org/4/i3489e/i3489e.pdf>;
prov:wasDerivedFrom <https://www.fao.org/4/i3489e/i3489e.pdf>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:24c31a489d4cd2a57c4ec2067ab43fd9ba18c6bc03b41a904676d40cd0105eb4",
"sha256:61e53e77a30755c80b1d4354b5ebd8d72dd0af24af9f1ba87656b1eaed0d8444" .
<https://w3id.org/delphi/resource/evidence/aristotle-ha04-01--claim-test--dataset-2>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "the same wording where a catalogue window was empty";
dc:license "";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Animal Diversity Web and SeaLifeBase species pages";
prov:atLocation <https://animaldiversity.org/accounts/Doryteuthis_pealeii/>, <https://animaldiversity.org/accounts/Octopus_vulgaris/>,
<https://animaldiversity.org/accounts/Sepia_officinalis/>, <https://www.sealifebase.se/summary/Doryteuthis-pealeii.html>,
<https://www.sealifebase.se/summary/Eledone-cirrhosa.html>, <https://www.sealifebase.se/summary/Eledone-moschata.html>,
<https://www.sealifebase.se/summary/Loligo-vulgaris.html>, <https://www.sealifebase.se/summary/Octopus-vulgaris.html>,
<https://www.sealifebase.se/summary/Sepia-officinalis.html>;
prov:wasDerivedFrom <https://www.sealifebase.se/>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:094aa4757271b3ee085942f17537499f18e89646ccef4ac78cd5160b693127a4",
"sha256:146b5dba3fbd2a19cf4668c1d0f84e1b9400833529187bd2532048c9c0924df5", "sha256:167847329cda33cad8d717e75e4dce7f40b582c4e5acd315fe4179946730be4e",
"sha256:a61dd4a7c947b5180c07e592cfcb7e470275f5788c6ef36bd4b93f425a791e99", "sha256:cbe4fa0ce35d84da3c0dad6fd1eaeed13cf46f27875f0280bd486863edd83116",
"sha256:d6e250500f1d7789af8bb56f6d550f7c8294b9621bf1533e2cf5052a51a01336", "sha256:ed41751720c95eda82aa0a80b58750fce3f3809cb72aa9d1bcd2859b04109d8c",
"sha256:f25f44dce912f4439e2b8a2fca3021497310bb18a5ccfc133018be884f911fe8", "sha256:f39ac34cca007aec1f9bcde9ef77ad2be3461e0b88683726fd9c8f15f3447f0a" .
}
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; bc-37abdfd5-2c7d-45b6-8f26-227da55194a4)";
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-ha04-01/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.756Z"^^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-ha04-01--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha04-01: refutes, confidence 0.6";
<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 "T6zROeHkR3U6CWiFqoHV5QeMIg6hnRXqBb9X/2wC1WhLjh8LN+p7GTMKTbFPBf14TbKwLndqFgpc9E8WEqCQfCR/XIPu8F8VyrjbgR5ZaV5IavTjrnmTbPc9CAHlVNmy8c6eRFNIBaIYCLj/vMKbRjeJPCrnuen2H08Gx5o6ghl4aUL6z/6BzTTHdO/zBPGHUbxm/tiD2aV7VwD8jfT/wOZKAqbb/QCGw4mTTjAz9vZAT+nf5jIDLXwETaS2fclFYRlXYV24HQxIwTuJHdFJYeeCJFmTGCaWvdTnSHoCOJc1e5itDcCPhAi5MZONhqeugzzry7ZMc5HXGtNX7UBKJw==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}