https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ> .
@prefix sub: <https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/> .
@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-24--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "Fetched the pre-registered Animal Diversity Web species and family accounts, coded four traits from phrases in the subject clause of each sentence, skipping glossary popovers and everything after the References heading, filled a species gap from its family only when the family stated the trait, and applied the counterexample and minimum-set rules. Phrase lists were not extended.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 0 fully coded species that are horned, lack upper incisors, have four chambers and chew the cud (n = 0). Interpretation: The quote identifies the horned animals that are not equally toothed in both jaws with the four-chambered cud-chewers. Antlers and ossicones count as horns because the claim's own examples include the stag and the test's giraffe is scored by the account's wording. A family sentence is used only as a fallback. Camelids are in the panel because they are the living cud-chewers outside the horned, four-chambered set; if their accounts do not state the four traits, the identity is untested rather than assumed.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha02-24: inconclusive, confidence 0.4";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha02-24/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "Public species accounts that state horns or antlers, upper incisors, stomach chambers and cud-chewing for the pre-registered ungulates. A family account fills a trait only when the species account does not state it. Contrast clauses about other animals are not coded.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "A horned species without upper incisors has a stomach that is not four-chambered, or a species chews the cud without being in that set.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Glossary popovers and the References section were excluded: a glossary example that names antlers is not a statement that the species has antlers, and a citation title is not a statement that the animal chews the cud. The registered token 'ruminant' does not match the plural 'ruminants' under the word-boundary rule, and that token was not added.",
"Phrase coding of prose can miss a trait that the account states in other words. Unstated is not a biological zero.",
"The panel is twelve species, not every ungulate. One counterexample on the panel can refute a universal; agreement of the panel does not prove the universal beyond those accounts.";
<https://w3id.org/delphi/ontology/expectedObservation> "Every coded horned species that lacks upper incisors has four stomach chambers and chews the cud, and every coded cud-chewer is one of those species.";
<https://w3id.org/delphi/ontology/failCriterion> "Pre-registered. A conditional counterexample is a fully coded horned species without upper incisors whose chamber count is not 4 or that does not chew the cud. An identity counterexample is a fully coded cud-chewer that is not in that antecedent set or does not have four chambers. One counterexample refutes the claim (confidence 0.70). If there is no counterexample but the minimum set is incomplete, the verdict is inconclusive with reason underpowered, or data-unavailable if no account could be fetched (confidence 0.40).";
<https://w3id.org/delphi/ontology/hasConfidence> "0.4"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "inconclusive";
<https://w3id.org/delphi/ontology/hypothesis> "If horned quadrupeds that lack upper front teeth have four stomach chambers and are exactly the animals that chew the cud, species accounts will show that combination and will not show a cud-chewer outside it or a member of it with another stomach.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Match the preregistered phrases in the subject clause of each sentence, with priority or exclusive mode as set per trait. Apply the minimum set and the counterexample rule.";
<https://w3id.org/delphi/ontology/passCriterion> "Pre-registered. A species is in the antecedent when horns are paired, single, antlers or ossicones, and upper incisors are absent. It matches when it also has four chambers and chews the cud. Support requires at least three matching antecedent species, including one bovid and one cervid, at least one coded species that is not antecedent and does not chew the cud, and at least one camelid with all four traits coded, and no counterexample. Confidence 0.60.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha02-24> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "wording of horns, incisors, stomach chambers and rumination";
dc:license "";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Animal Diversity Web ungulate species and family accounts";
prov:wasDerivedFrom <https://animaldiversity.org/>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:24e7e8d5268b96016f848529082309fb4529d933c88fcd4c01743813afc19a1c",
"sha256:35aabab83d5037c61f9d3a7d5825d64589de292d0bb0e1e2ed44581c8be3d1cc", "sha256:3742fd05f26c775c7e1a61c97525e5a067bfec50577ae284b680e5f87635da5a",
"sha256:4598a901e0c3bbafd0eb8d159332035c8693700eb735e861a4f6888f73c89359", "sha256:502737b986562f9d760786571b55dbb452bf960962284c2a1ec55e539bcfda6a",
"sha256:537a2447d20c138c26fe6361e34007f5ea0ac17e5a65fa390c6dcfaca5406d35", "sha256:65cb3c31c85ad991eab8475b46553cd629281d4448cb6ce376e34bd33aceeef2",
"sha256:678fee48dcb63a3534f20c3aa94c1a85434f5f95161f99700c4499e52744559b", "sha256:896c105453182f292a21c143192a4978411f159d2ff6a25ab7c5e04b352a3200",
"sha256:9a01273f8a69bac45a3c5c004feab01b6884f584261e07666da1ea97ff0ccc3d", "sha256:a7f8c49429f7984c1ee1755c2eb330c2dc2350699add8f5425b4fb12ecf22403",
"sha256:b51af144cfa14f687502921a4ee1247de79a89c74d5471de2a460c11b965eff5", "sha256:b8a60cdaca62cc0c13701be0006868d2e1b90fbe812653997579b459bdac1e80",
"sha256:c2253f2952e25aa16c0dfb4e0987fdcb8f8597712a7760b6996e646c1fb47c49", "sha256:cc55cabb88be2803cc04a54bbac0b3aa4083e391f2c84b91c2ad6bfbe402bd1a",
"sha256:d4932521ff1cd44933e31c5e19038166f6fd2e83e0f3844d037bc5e3208daf8f", "sha256:db613726fd82d42e4841ebed4454083f5bc364a70143511e5bd5ecdc938ba738",
"sha256:db725a361ff3c86e7ad671d934b5de9236342d4b5dda36fe83e7693583ede786", "sha256:f61317456183332012c08fea104c63d0be3512ab1eb845cba512c78e8abcde88",
"sha256:fb915ecc57ad9ecf00a8bb0ea8591a75c3056eee0ff3339500648ecfd014d650" .
}
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-ha02-24/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-24--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha02-24: inconclusive, confidence 0.4";
<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 "musC6gTsBoD2qd74Wse+3M7EMWcbqIi2zwiHnFLS3jHwJ+LZjz/wTq4pUeBjFuw6Sgq93WNZ6HkWO04Vmeinyi8Q/WH9C/JKa7XbnwsIK/qkJ3ARIdDbN6prONkHPiMcmTGzqOGjaJTNKKMlIlQz5ZMsPWa01kjUpgbQTixpV6JEm4kwh0jyQjEPzyowQZ9doOuS6rhNfGxPdP6NO4sV5fNBxm/m+2/+/3v7RWqvMxzWpFH4kf7qcVsmFBEIV6ason+V1ZlZVgCutxyGbNzOCb/tgUBD4OYqb9kz+XwfF1hcCDuy1zIC76RYKFvwWJ9lrMtUoC3OhuMfmJmsVmuDQg==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}