rows { options { physical_type: PHYSICAL_STREAM_TYPE_QUADS max_name_table_size: 128 max_prefix_table_size: 16 max_datatype_table_size: 16 logical_type: LOGICAL_STREAM_TYPE_DATASETS version: 2 } } rows { prefix { value: "https://w3id.org/np/" } } rows { name { value: "RANQ9md9oH2CEwrqk5U6MrG_jkqc7yZtCz0zCykN0EkOs" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RANQ9md9oH2CEwrqk5U6MrG_jkqc7yZtCz0zCykN0EkOs/" } } rows { name { } } rows { namespace { name: "sub" value { prefix_id: 2 } } } rows { prefix { value: "http://www.nanopub.org/nschema#" } } rows { namespace { name: "np" value { prefix_id: 3 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/1999/02/22-rdf-syntax-ns#" } } rows { namespace { name: "rdf" value { prefix_id: 4 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/ns/prov#" } } rows { namespace { name: "prov" value { prefix_id: 5 name_id: 2 } } } rows { prefix { value: "http://purl.org/nanopub/x/" } } rows { namespace { name: "npx" value { prefix_id: 6 name_id: 2 } } } rows { prefix { value: "http://purl.org/dc/terms/" } } rows { namespace { name: "dc" value { prefix_id: 7 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/2001/XMLSchema#" } } rows { namespace { name: "xsd" value { prefix_id: 8 name_id: 2 } } } rows { name { value: "hasAssertion" } } rows { name { value: "assertion" } } rows { name { value: "Head" } } rows { quad { s_iri { prefix_id: 1 name_id: 1 } p_iri { prefix_id: 3 name_id: 3 } o_iri { prefix_id: 2 } g_iri { } } } rows { name { value: "hasProvenance" } } rows { name { value: "provenance" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "hasPublicationInfo" } } rows { name { value: "pubinfo" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "type" } } rows { name { value: "Nanopublication" } } rows { quad { p_iri { prefix_id: 4 } o_iri { prefix_id: 3 } } } rows { prefix { value: "https://w3id.org/delphi/resource/assessment/" } } rows { name { value: "aristotle-ha02-03--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "Downloaded Mammal Diversity Database v1.13 and checked its md5 and size. Counted extant species (extinct flag 0) in eight families. Coded hoof and horns from each Animal Diversity Web family account with the preregistered phrases, dropping contrast clauses, and applied the 2/3 and solid-hoof rules." } g_iri { prefix_id: 2 name_id: 4 } } } rows { prefix { value: "https://w3id.org/delphi/ontology/" } } rows { name { value: "Assessment" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 14 } } } rows { prefix { value: "http://www.w3.org/2000/01/rdf-schema#" } } rows { name { value: "comment" } } rows { quad { p_iri { prefix_id: 11 } o_literal { lex: "Measured: 1 share of extant species in horned panel families that are in cloven-hoofed families (n = 210). Interpretation: The great majority is pre-registered as more than two thirds, not a bare majority. The stag\'s antlers count as horns, as in the claim\'s examples. Equidae is the solid-hoofed group named in the claim\'s scope. Rhinoceroses can be horned without being solid-hoofed; they count in the horned denominator and against the cloven numerator if their hooves are not coded cloven. Applying one family code to every species hides hornless individuals and species, which is stated as a limit of the count." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of aristotle-ha02-03: inconclusive, confidence 0.4" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha02-03/" } } rows { name { value: "result.json" } } rows { quad { p_iri { } o_iri { prefix_id: 12 } } } rows { name { value: "wasAttributedTo" } } rows { prefix { value: "https://w3id.org/delphi/resource/agent/" } } rows { name { value: "delphisci-claim-tester-grok-4-7" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 13 } } } rows { name { value: "admissibleDatasets" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "A species checklist of extant mammals with family names, plus a public family account that states hoof type and cranial appendages. Counts are of species, with the family trait applied to every extant species in that family. Extinct rows are excluded. Fossils outside the checklist are not in the test." } } } rows { name { value: "assessmentType" } } rows { quad { p_iri { } o_literal { lex: "claim-test/0.1.0" } } } rows { name { value: "dataKind" } } rows { quad { p_iri { } o_literal { lex: "biological" } } } rows { name { value: "disconfirmingObservation" } } rows { quad { p_iri { } o_literal { lex: "A panel family is both solid-hoofed and horned, or at most half of the horned extant species are cloven-hoofed." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "Equidae text includes \'only one functional digit\' and \'one-toed horse\', and Rhinocerotidae text includes \'The horns are dermal\' and \'each digit with a small hoof\'. Those wordings are not in the pre-registered phrase lists, so both families stayed uncoded and the decisive-family gate failed closed. Phrases were not added after reading the pages." } } } rows { quad { o_literal { lex: "Family-level wording is not a measurement of every species. A family described as horned contributes all of its extant species." } } } rows { quad { o_literal { lex: "Provider md5 and size for the checklist are from the Zenodo API." } } } rows { quad { o_literal { lex: "Recently extinct species are those the checklist marks extinct. Older fossils are absent." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "More than two thirds of extant species in horned families of the panel are in cloven-hoofed families, and the solid-hoofed family (Equidae) is not horned." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. Refute if any panel family is solid-hoofed and horned, or if the cloven proportion among horned extant species is 1/2 or less (confidence 0.65). If the proportion is greater than 1/2 and at most 2/3 and the universal holds, the verdict is mixed (confidence 0.55). If Bovidae, Cervidae, Rhinocerotidae or Equidae lacks a hoof or horn code, or the Mammal Diversity Database file does not match the provider md5, the verdict is inconclusive (confidence 0.40) with reason data-unavailable or underpowered." } } } rows { name { value: "hasConfidence" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#double" } } rows { quad { p_iri { } o_literal { lex: "0.4" datatype: 1 } } } rows { name { value: "hasEvidence" } } rows { prefix { value: "https://w3id.org/delphi/resource/evidence/" } } rows { name { value: "aristotle-ha02-03--claim-test--dataset-1" } } rows { quad { p_iri { } o_iri { prefix_id: 14 } } } rows { name { value: "aristotle-ha02-03--claim-test--dataset-2" } } rows { quad { o_iri { } } } rows { name { value: "hasVerdict" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "inconclusive" } } } rows { name { value: "hypothesis" } } rows { quad { p_iri { } o_literal { lex: "If the great majority of horned animals are cloven-hoofed and no solid-hoofed animal has a pair of horns, then among extant species in the pre-registered ungulate families the horned ones are mostly cloven and the solid-hoofed family has no horns." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "Code hoof and horns from family-account phrases, count extant MDD species per family, and compare the cloven proportion to 2/3 and the solid-hoofed families to the horn codes." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. Antlers and ossicones count as horns. A great majority is a proportion strictly greater than 2/3 of extant species in horned families that belong to families coded cloven-hoofed. The universal holds if Equidae is coded solid-hoofed and hornless and no family in the panel is both solid-hoofed and horned. Both clauses must hold. Confidence 0.70." } } } rows { name { value: "preregistered" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#boolean" } } rows { quad { p_iri { } o_literal { lex: "false" datatype: 2 } } } rows { prefix { value: "https://w3id.org/delphi/resource/claim/" } } rows { name { value: "aristotle-ha02-03" } } rows { name { value: "hasAssessment" } } rows { quad { s_iri { prefix_id: 15 } p_iri { prefix_id: 10 } o_iri { prefix_id: 9 name_id: 12 } } } rows { quad { s_iri { prefix_id: 14 name_id: 30 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "extant species counts by family" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 39 } o_literal { lex: "CC BY 4.0" } } } rows { name { value: "EvidenceItem" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 40 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Dataset: Mammal Diversity Database v1.13" } } } rows { name { value: "atLocation" } } rows { prefix { value: "https://zenodo.org/api/records/12738010/files/MDD_v1.13_6753species.csv/" } } rows { name { value: "content" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 16 } } } rows { name { value: "wasDerivedFrom" } } rows { prefix { id: 6 value: "https://zenodo.org/records/" } } rows { name { value: "12738010" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 6 } } } rows { name { value: "hasChecksum" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "sha256:cf2eff6866d2b217ff12e50603c89cc5a1d3ec6085feac3283b4d7e1dbf4af7f" } } } rows { quad { s_iri { prefix_id: 14 name_id: 31 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "family-level hoof and horn wording" } } } rows { quad { p_iri { name_id: 39 } o_literal { } } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 40 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Dataset: Animal Diversity Web family accounts" } } } rows { prefix { id: 8 value: "https://animaldiversity.org/accounts/Antilocapridae/" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 8 name_id: 2 } } } rows { prefix { id: 1 value: "https://animaldiversity.org/accounts/Bovidae/" } } rows { quad { o_iri { prefix_id: 1 name_id: 2 } } } rows { prefix { id: 3 value: "https://animaldiversity.org/accounts/Camelidae/" } } rows { quad { o_iri { prefix_id: 3 name_id: 2 } } } rows { prefix { id: 2 value: "https://animaldiversity.org/accounts/Cervidae/" } } rows { quad { o_iri { prefix_id: 2 name_id: 2 } } } rows { prefix { id: 12 value: "https://animaldiversity.org/accounts/Equidae/" } } rows { quad { o_iri { prefix_id: 12 name_id: 2 } } } rows { prefix { value: "https://animaldiversity.org/accounts/Giraffidae/" } } rows { quad { o_iri { prefix_id: 13 name_id: 2 } } } rows { prefix { id: 15 value: "https://animaldiversity.org/accounts/Rhinocerotidae/" } } rows { quad { o_iri { prefix_id: 15 name_id: 2 } } } rows { prefix { id: 9 value: "https://animaldiversity.org/accounts/Tapiridae/" } } rows { quad { o_iri { prefix_id: 9 name_id: 2 } } } rows { prefix { id: 16 value: "https://animaldiversity.org/" } } rows { quad { p_iri { prefix_id: 5 name_id: 43 } o_iri { prefix_id: 16 name_id: 2 } } } rows { quad { p_iri { prefix_id: 10 name_id: 45 } o_literal { lex: "sha256:24e7e8d5268b96016f848529082309fb4529d933c88fcd4c01743813afc19a1c" } } } rows { quad { o_literal { lex: "sha256:4598a901e0c3bbafd0eb8d159332035c8693700eb735e861a4f6888f73c89359" } } } rows { quad { o_literal { lex: "sha256:537a2447d20c138c26fe6361e34007f5ea0ac17e5a65fa390c6dcfaca5406d35" } } } rows { quad { o_literal { lex: "sha256:9a01273f8a69bac45a3c5c004feab01b6884f584261e07666da1ea97ff0ccc3d" } } } rows { quad { o_literal { lex: "sha256:c2253f2952e25aa16c0dfb4e0987fdcb8f8597712a7760b6996e646c1fb47c49" } } } rows { quad { o_literal { lex: "sha256:db613726fd82d42e4841ebed4454083f5bc364a70143511e5bd5ecdc938ba738" } } } rows { quad { o_literal { lex: "sha256:f61317456183332012c08fea104c63d0be3512ab1eb845cba512c78e8abcde88" } } } rows { quad { o_literal { lex: "sha256:fb915ecc57ad9ecf00a8bb0ea8591a75c3056eee0ff3339500648ecfd014d650" } } } rows { prefix { id: 6 value: "https://w3id.org/delphi/resource/agent/" } } rows { name { value: "SoftwareAgent" } } rows { prefix { id: 14 value: "https://w3id.org/np/RANQ9md9oH2CEwrqk5U6MrG_jkqc7yZtCz0zCykN0EkOs/" } } rows { quad { s_iri { prefix_id: 6 name_id: 20 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 46 } g_iri { prefix_id: 14 name_id: 7 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "delphisci claim tester (grok-4.7; bc-37abdfd5-2c7d-45b6-8f26-227da55194a4)" } } } rows { name { value: "actedOnBehalfOf" } } rows { prefix { id: 7 value: "https://orcid.org/" } } rows { name { value: "0009-0007-4948-9192" } } rows { quad { p_iri { prefix_id: 5 name_id: 47 } o_iri { prefix_id: 7 } } } rows { name { value: "usesModel" } } rows { prefix { value: "https://w3id.org/delphi/resource/model/" } } rows { name { value: "grok-4-7" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 8 } } } rows { prefix { id: 1 value: "http://purl.org/dc/terms/" } } rows { name { value: "identifier" } } rows { quad { s_iri { name_id: 50 } p_iri { prefix_id: 1 } o_literal { lex: "grok-4.7" } } } rows { name { value: "LanguageModel" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 52 } } } rows { quad { s_iri { prefix_id: 14 name_id: 4 } p_iri { prefix_id: 5 name_id: 19 } o_iri { prefix_id: 6 } } } rows { prefix { id: 3 value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha02-03/" } } rows { quad { p_iri { prefix_id: 5 name_id: 43 } o_iri { prefix_id: 3 name_id: 18 } } } rows { name { value: "wasGeneratedBy" } } rows { name { value: "test" } } rows { quad { p_iri { prefix_id: 5 name_id: 53 } o_iri { prefix_id: 14 } } } rows { name { value: "plan" } } rows { name { value: "hadPlan" } } rows { prefix { id: 2 value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/" } } rows { name { value: "README.md" } } rows { quad { s_iri { } p_iri { prefix_id: 5 } o_iri { prefix_id: 2 } } } rows { name { value: "Activity" } } rows { quad { s_iri { prefix_id: 14 name_id: 54 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 58 } } } rows { name { value: "qualifiedAssociation" } } rows { quad { p_iri { } o_iri { prefix_id: 14 name_id: 55 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 name_id: 60 } o_iri { prefix_id: 6 name_id: 20 } } } rows { prefix { id: 12 value: "https://w3id.org/np/" } } rows { name { value: "created" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#dateTime" } } rows { quad { s_iri { prefix_id: 12 name_id: 1 } p_iri { prefix_id: 1 name_id: 61 } o_literal { lex: "2026-11-08T16:24:31.750Z" datatype: 3 } g_iri { prefix_id: 14 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 1 name_id: 62 } o_iri { prefix_id: 7 name_id: 48 } } } rows { prefix { value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 1 name_id: 39 } o_iri { prefix_id: 13 name_id: 2 } } } rows { prefix { id: 15 value: "http://purl.org/nanopub/x/" } } rows { name { value: "hasNanopubType" } } rows { quad { p_iri { prefix_id: 15 name_id: 63 } o_iri { prefix_id: 10 name_id: 14 } } } rows { name { value: "introduces" } } rows { prefix { id: 9 value: "https://w3id.org/delphi/resource/assessment/" } } rows { quad { p_iri { prefix_id: 15 name_id: 64 } o_iri { prefix_id: 9 name_id: 12 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Claim test of aristotle-ha02-03: inconclusive, confidence 0.4" } } } rows { name { value: "domain" } } rows { prefix { id: 16 value: "https://w3id.org/delphi/resource/domain/" } } rows { name { value: "aristotle-biology" } } rows { quad { p_iri { prefix_id: 10 name_id: 65 } o_iri { prefix_id: 16 } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 14 } p_iri { prefix_id: 15 } o_literal { lex: "RSA" } } } rows { name { value: "hasPublicKey" } } rows { quad { p_iri { } o_literal { lex: "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" } } } rows { name { value: "hasSignature" } } rows { quad { p_iri { } o_literal { lex: "sQJbA+jNGNEWL1NY0m5RA6pLXQtqv64HzAsZHj4JPTvF8Xho1SaW+POg0vLcyPCKXoAveb6lYQDEFU22npFf4znB98+Jgaw/Xi8d2AqBm0LUMIfwPYB8JqPItDZ3Gc5K/3QnHhQ5ftbypiQ/c2fW2jpBx6qPvr5FASJ7YDWPfGmJcqEa72our/iOqfR5PqBgsrUiU2VFjSHgfoWpwNM/61Fzm2WojDgJhuNAkruJShVShbUzqisjRU7bkJFDRSIalAoeH2ClFLdSQVLt+XWai6SPf0c3BvXz+a+64hHyjEPJ1en4G3s2U2AGy98CzXNfBrtcdnvYB+lc7XzHAso9qQ==" } } } rows { name { value: "hasSignatureTarget" } } rows { quad { p_iri { } o_iri { prefix_id: 12 name_id: 1 } } } rows { name { value: "signedBy" } } rows { quad { p_iri { prefix_id: 15 name_id: 72 } o_iri { prefix_id: 7 name_id: 48 } } }