@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://data.amerigeoss.org/dataset/1e70548d-a2e9-4714-8308-d5bd2bd574e4> a dcat:Dataset ;
    dct:description "Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria.  The Criteria recognizes static analyzers whose findings are always correct." ;
    dct:identifier "ark:/88434/mds2-2187" ;
    dct:issued "2020-07-16"^^xsd:date ;
    dct:language "{en}" ;
    dct:modified "2020-02-27T00:00:00"^^xsd:dateTime ;
    dct:publisher <https://data.amerigeoss.org/organization/727dbdd5-3f98-4ac0-9d28-5e344558139b> ;
    dct:title "SATE VI Ockham Sound Analysis Criteria data and programs (2020)" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "Vadim Okun" ;
            vcard:hasEmail <mailto:vadim.okun@nist.gov> ] ;
    dcat:distribution <https://data.amerigeoss.org/dataset/1e70548d-a2e9-4714-8308-d5bd2bd574e4/resource/97edb7a8-386d-45d4-8bf4-3dfb8d2f0cd0>,
        <https://data.amerigeoss.org/dataset/1e70548d-a2e9-4714-8308-d5bd2bd574e4/resource/a3540c5e-2a50-4214-a195-1c0ef8d1c65e>,
        <https://data.amerigeoss.org/dataset/1e70548d-a2e9-4714-8308-d5bd2bd574e4/resource/c4c1d21d-e2d4-4e8f-8f28-afd3d4f55746> ;
    dcat:keyword "AmeriGEO",
        "AmeriGEOSS",
        "CKAN",
        "GEO",
        "GEOSS",
        "National",
        "North America",
        "United States",
        "ockham-criteria",
        "software-assurance",
        "sound-static-analysis-tool-exposition" ;
    dcat:theme <%22Information%20Technology:Conformance%20testing%22%7D>,
        <%22Information%20Technology:Software%20research%22>,
        <%7BMetrology:Metric> .

<https://data.amerigeoss.org/dataset/1e70548d-a2e9-4714-8308-d5bd2bd574e4/resource/97edb7a8-386d-45d4-8bf4-3dfb8d2f0cd0> a dcat:Distribution ;
    dct:description "Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria." ;
    dct:format "xz compressed tar archive" ;
    dct:issued "2021-03-11T17:22:14.946026"^^xsd:dateTime ;
    dct:modified "2025-09-24T06:28:31.580837"^^xsd:dateTime ;
    dct:title "SATE VI Ockham data and programs" ;
    dcat:accessURL <https://nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com/ockham-sate-VI-2020/ockhamCriteriaSATEVIdata2020.tar.xz> ;
    dcat:mediaType "application/x-zip-compressed" .

<https://data.amerigeoss.org/dataset/1e70548d-a2e9-4714-8308-d5bd2bd574e4/resource/a3540c5e-2a50-4214-a195-1c0ef8d1c65e> a dcat:Distribution ;
    dct:issued "2021-03-11T17:22:14.946029"^^xsd:dateTime ;
    dct:modified "2025-09-24T06:28:31.578230"^^xsd:dateTime ;
    dct:title "DOI Access for SATE VI Ockham Sound Analysis Criteria data and programs (2020)" ;
    dcat:accessURL <https://doi.org/10.18434/M32187> .

<https://data.amerigeoss.org/dataset/1e70548d-a2e9-4714-8308-d5bd2bd574e4/resource/c4c1d21d-e2d4-4e8f-8f28-afd3d4f55746> a dcat:Distribution ;
    dct:description "Overview of contents" ;
    dct:format "ASCII" ;
    dct:issued "2021-03-11T17:22:14.946020"^^xsd:dateTime ;
    dct:modified "2025-09-24T06:28:31.579556"^^xsd:dateTime ;
    dct:title "README" ;
    dcat:accessURL <https://nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com/ockham-sate-VI-2020/README> ;
    dcat:mediaType "text/plain" .

<https://data.amerigeoss.org/organization/727dbdd5-3f98-4ac0-9d28-5e344558139b> a foaf:Agent ;
    foaf:name "US Migrating" .