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: "RAMe2gqupzhti8fQ-S1d68_Yo_q22lDah3kbKhTupJvvE" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAMe2gqupzhti8fQ-S1d68_Yo_q22lDah3kbKhTupJvvE/" } } 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-ha01-05--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "Each pre-registered wild name was queried on Wikidata for IUCN conservation status (P141) and matched in the GBIF backbone. Synonyms were followed to the accepted GBIF species, and that record\'s extinct flag was read. A kind is extinct if Wikidata calls the pre-registered name extinct or extinct in the wild, or if GBIF marks the matched species extinct. A kind is extant only if the status used is a living IUCN category and GBIF does not mark it extinct. One extinct kind refutes the claim that every named domesticate is still found wild." } 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 named kinds whose wild taxon is extinct or extinct in the wild (n = 6). Interpretation: The claim sentence names horses, cattle, swine, sheep, goats and dogs. Wild counterparts are fixed before the lookup as Equus ferus (horse), Bos primigenius (cattle), Sus scrofa (swine, wild boar of the same species), Ovis orientalis (sheep), Capra aegagrus (goat) and Canis lupus (dog). \'Found in a wild condition\' means an extant wild taxon, not a feral herd of the domesticate. Domestic animals that are the same species as a living wild population (boar, wolf) count as found wild." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of aristotle-ha01-05: refutes, confidence 0.86" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha01-05/" } } 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: "Wikidata statements of IUCN status (property P141) and GBIF backbone species records, both public and queried live. The wild taxon is the progenitor or the wild conspecific, not a feral domestic population. The translator\'s bracketed \'man\' is outside the claim sentence and is not a tested kind." } } } 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: "At least one of those six taxa is extinct or extinct in the wild." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "Feral domestic herds are not counted as the wild kind." } } } rows { quad { o_literal { lex: "The translator\'s bracketed \'man\' is not one of the six kinds in the claim sentence." } } } rows { quad { o_literal { lex: "Where GBIF lumps a wild name into a domestic species, the IUCN status of the pre-registered wild name is still the status that can refute the kind." } } } rows { quad { o_literal { lex: "Wikidata\'s IUCN statement is a structured copy of the Red List category, not a fresh download of the Red List API." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "Equus ferus, Bos primigenius, Sus scrofa, Ovis orientalis, Capra aegagrus and Canis lupus are each still extant in the wild." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "Refutes if at least one of the six is IUCN Extinct or Extinct in the Wild, or GBIF marks the matched species extinct. Inconclusive, reason other, if none is extinct but at least one name cannot be matched or has no IUCN status other than data deficient or not evaluated. Feral populations of the domestic form do not count as the wild kind." } } } rows { name { value: "hasConfidence" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#double" } } rows { quad { p_iri { } o_literal { lex: "0.86" datatype: 1 } } } rows { name { value: "hasEvidence" } } rows { prefix { value: "https://w3id.org/delphi/resource/evidence/" } } rows { name { value: "aristotle-ha01-05--claim-test--dataset-1" } } rows { quad { p_iri { } o_iri { prefix_id: 14 } } } rows { name { value: "aristotle-ha01-05--claim-test--dataset-2" } } rows { quad { o_iri { } } } rows { name { value: "hasVerdict" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "refutes" } } } rows { name { value: "hypothesis" } } rows { quad { p_iri { } o_literal { lex: "Each named domesticated kind \342\200\224 horse, cattle, swine, sheep, goat and dog \342\200\224 still has an extant wild progenitor or wild conspecific population." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered name list, one wild taxon per named domesticate. Resolve synonyms through GBIF. Extant means a threatened-or-better IUCN category and GBIF extinct not true. The universal \'always\' supports only if all six are extant; one extinct taxon refutes it." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "Supports only if all six wild taxa below are extant: Wikidata IUCN conservation status (P141) is one of least concern, near threatened, vulnerable, endangered or critically endangered, and the GBIF species record matched from that name is not marked extinct. Names that GBIF treats as synonyms are followed to the accepted species, and both the extinct flag and the Wikidata status are read for that accepted species." } } } rows { name { value: "preregistered" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#boolean" } } rows { quad { p_iri { } o_literal { lex: "true" datatype: 2 } } } rows { prefix { value: "https://w3id.org/delphi/resource/claim/" } } rows { name { value: "aristotle-ha01-05" } } 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: "IUCN category of each wild name" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 39 } o_literal { lex: "CC0" } } } 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: Wikidata IUCN conservation status (P141)" } } } rows { name { value: "atLocation" } } rows { prefix { value: "https://query.wikidata.org/" } } rows { name { value: "sparql" } } 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://www.wikidata.org/wiki/" } } rows { name { value: "Property:P141" } } 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:91ee9c74251ecd94c6074a77dc4fa08588161329da0acbcd3cca7b9245f098e6" } } } rows { quad { o_literal { lex: "sha256:e22b4cd8a04bc7a031b3495c1bc14dc55f78f6a75711e86d59e4fee2f31de1ac" } } } rows { quad { s_iri { prefix_id: 14 name_id: 31 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "synonym resolution and extinct flag" } } } rows { quad { p_iri { name_id: 39 } o_literal { lex: "GBIF terms; occurrence and backbone data as published by GBIF" } } } 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: GBIF backbone species match" } } } rows { prefix { id: 8 value: "https://api.gbif.org/v1/species/" } } rows { name { value: "2441024" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 8 name_id: 46 } } } rows { name { value: "2441112" } } rows { quad { o_iri { } } } rows { name { value: "4262537" } } rows { quad { o_iri { } } } rows { name { value: "4262590" } } rows { quad { o_iri { } } } rows { name { value: "4262706" } } rows { quad { o_iri { } } } rows { name { value: "4409270" } } rows { quad { o_iri { } } } rows { name { value: "4409366" } } rows { quad { o_iri { } } } rows { name { value: "5219173" } } rows { quad { o_iri { } } } rows { name { value: "7705930" } } rows { quad { o_iri { } } } rows { name { value: "match?name=Bos%20primigenius&kingdom=Animalia" } } rows { quad { o_iri { } } } rows { name { value: "match?name=Canis%20lupus&kingdom=Animalia" } } rows { quad { o_iri { } } } rows { name { value: "match?name=Capra%20aegagrus&kingdom=Animalia" } } rows { quad { o_iri { } } } rows { name { value: "match?name=Equus%20ferus&kingdom=Animalia" } } rows { quad { o_iri { } } } rows { name { value: "match?name=Ovis%20orientalis&kingdom=Animalia" } } rows { quad { o_iri { } } } rows { name { value: "match?name=Sus%20scrofa&kingdom=Animalia" } } rows { quad { o_iri { } } } rows { prefix { id: 1 value: "https://www.gbif.org/" } } rows { quad { p_iri { prefix_id: 5 name_id: 43 } o_iri { prefix_id: 1 name_id: 2 } } } rows { quad { p_iri { prefix_id: 10 name_id: 45 } o_literal { lex: "sha256:04e7698115cc715d7c9b4261380a6c3d74104e37ed5e8c722b50164c3ba68de7" } } } rows { quad { o_literal { lex: "sha256:1f67f16dd5578c047258111180e1fd8556c069589b2a18d82bc165c263d5815a" } } } rows { quad { o_literal { lex: "sha256:2fc6f8bc3eecc6f9faea140ce0428c5ffcbb37bf29c4f40a504de8abd3c987c7" } } } rows { quad { o_literal { lex: "sha256:434270f551adea6f6333c6e27f1f37e7a3962fe34af081915737c0a4d5797a77" } } } rows { quad { o_literal { lex: "sha256:4ad19f1600b2274a0049b1efea74da50b7b9d585dd9facebf0d8502928f5b527" } } } rows { quad { o_literal { lex: "sha256:5fe6a5740af22ef659a61d57cda61242f297c5c9a2d9a7a997e15c23015764d9" } } } rows { quad { o_literal { lex: "sha256:7ae6115931d961327fcd3e6b31718e60a16b765836af4a930430c4414b166cff" } } } rows { quad { o_literal { lex: "sha256:8d510b05edab51987f178ccf3a07ba656c9e713b7f95d91f501219afa2716efa" } } } rows { quad { o_literal { lex: "sha256:aa94ea0312721079b72c637c02ac57e4a7d70c6c48692b2d6414a0e943436dcd" } } } rows { quad { o_literal { lex: "sha256:b24c3de4c5ba57c73ade477851a676d784ba613171992723206b2c5d0e00f247" } } } rows { quad { o_literal { lex: "sha256:bb346fb1680eccb18880fc34690057cc9e3961da1f6fd55de8ff0ebc09016b3b" } } } rows { quad { o_literal { lex: "sha256:c7b9de5503c44efd519f6400e92633bc4a9001c19060de28837ced85f1f66857" } } } rows { quad { o_literal { lex: "sha256:d10040b6148039ecb150190334b9d6be76daa6f48bc275611a744e893a28ce7b" } } } rows { quad { o_literal { lex: "sha256:ed15750dbe651a0c0638558111c6058ab875a3f6f7ffb22c89375c460c1eb68b" } } } rows { quad { o_literal { lex: "sha256:ee662cdbabdaf720abd3d36753fb4cb8250172fe3f6cda6f73b9e6e701863ca8" } } } rows { name { value: "SoftwareAgent" } } rows { quad { s_iri { prefix_id: 13 name_id: 20 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 61 } g_iri { prefix_id: 2 name_id: 7 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "delphisci claim tester (grok-4.7; cursor/aristotle-claim-tests-7800)" } } } rows { name { value: "actedOnBehalfOf" } } rows { prefix { id: 3 value: "https://orcid.org/" } } rows { name { value: "0009-0007-4948-9192" } } rows { quad { p_iri { prefix_id: 5 name_id: 62 } o_iri { prefix_id: 3 } } } rows { name { value: "usesModel" } } rows { prefix { id: 12 value: "https://w3id.org/delphi/resource/model/" } } rows { name { value: "grok-4-7" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 12 } } } rows { name { value: "identifier" } } rows { quad { s_iri { name_id: 65 } p_iri { prefix_id: 7 } 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: 67 } } } rows { quad { s_iri { prefix_id: 2 name_id: 4 } p_iri { prefix_id: 5 name_id: 19 } o_iri { prefix_id: 13 } } } rows { prefix { id: 15 value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha01-05/" } } rows { quad { p_iri { prefix_id: 5 name_id: 43 } o_iri { prefix_id: 15 name_id: 18 } } } rows { name { value: "wasGeneratedBy" } } rows { name { value: "test" } } rows { quad { p_iri { prefix_id: 5 name_id: 68 } o_iri { prefix_id: 2 } } } rows { name { value: "plan" } } rows { name { value: "hadPlan" } } rows { prefix { id: 9 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: 9 } } } rows { name { value: "Activity" } } rows { quad { s_iri { prefix_id: 2 name_id: 69 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 73 } } } rows { name { value: "qualifiedAssociation" } } rows { quad { p_iri { } o_iri { prefix_id: 2 name_id: 70 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 name_id: 75 } o_iri { prefix_id: 13 name_id: 20 } } } rows { prefix { id: 16 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: 16 name_id: 1 } p_iri { prefix_id: 7 name_id: 76 } o_literal { lex: "2026-11-08T16:24:31.746Z" datatype: 3 } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 7 name_id: 77 } o_iri { prefix_id: 3 name_id: 63 } } } rows { prefix { id: 6 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 39 } o_iri { prefix_id: 6 name_id: 2 } } } rows { prefix { id: 14 value: "http://purl.org/nanopub/x/" } } rows { name { value: "hasNanopubType" } } rows { quad { p_iri { prefix_id: 14 name_id: 78 } o_iri { prefix_id: 10 name_id: 14 } } } rows { name { value: "introduces" } } rows { prefix { id: 8 value: "https://w3id.org/delphi/resource/assessment/" } } rows { quad { p_iri { prefix_id: 14 name_id: 79 } o_iri { prefix_id: 8 name_id: 12 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Claim test of aristotle-ha01-05: refutes, confidence 0.86" } } } rows { name { value: "domain" } } rows { prefix { id: 1 value: "https://w3id.org/delphi/resource/domain/" } } rows { name { value: "aristotle-biology" } } rows { quad { p_iri { prefix_id: 10 name_id: 80 } o_iri { prefix_id: 1 } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 2 } p_iri { prefix_id: 14 } 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: "uElfvphIMA6wyodE6MfBS9PRDQBW6CT7naOxLNUxp5gRRPqhEYSBilN29DBhBgDxCNbaBkoddv/POzYIfchAKcPPzeNTUAht+0K1SpacdoDwdwOVNEAuXn64m9Ap3y6jtOtlRWs/Ar0UJuTd5KKSNOibIxIkdbQeIwqvTydbYcOIWvJcL8MSSlEV8WKXHeWcfe4v+NOXIcGHKRuEtixVWIrlwMOy4RVkzIHNMU1ukLpmqg7Iy3Vesamwi0juO2NXpo9SacSrwUnA2GbIRz+BZ+wZ0jOmzeJqh+9+wYOGOBbEL2hzFYhfrGhqZ8jFNzytO+FeUSZDwPhRPLksbM/BoQ==" } } } rows { name { value: "hasSignatureTarget" } } rows { quad { p_iri { } o_iri { prefix_id: 16 name_id: 1 } } } rows { name { value: "signedBy" } } rows { quad { p_iri { prefix_id: 14 name_id: 87 } o_iri { prefix_id: 3 name_id: 63 } } }