@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/7937e7c1-bc2c-4e2f-8288-d83b8379d08a> a dcat:Dataset ;
    dct:description "IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. Specialization of a static analyzer for an application or family of applications is critical for achieving both precision and scalability. Developing such an analyzer is arduous and requires significant expertise in Abstract Interpretation." ;
    dct:identifier "OCIO-Fitara-142" ;
    dct:issued "2015-01-07"^^xsd:date ;
    dct:modified "2020-01-29"^^xsd:date ;
    dct:publisher <https://data.amerigeoss.org/organization/727dbdd5-3f98-4ac0-9d28-5e344558139b> ;
    dct:title "ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "Dennis Koga" ;
            vcard:hasEmail <mailto:dennis.koga@nasa.gov> ] ;
    dcat:distribution <https://data.amerigeoss.org/dataset/7937e7c1-bc2c-4e2f-8288-d83b8379d08a/resource/1d7da367-e0c3-4b73-aecf-08c0115a10be> ;
    dcat:keyword "abstract-interpretation",
        "amerigeo",
        "amerigeoss",
        "application",
        "c_",
        "ckan",
        "geo",
        "geoss",
        "ikos",
        "library",
        "national",
        "north-america",
        "static-analyzer",
        "united-states" ;
    dcat:theme <%7BManagement/Operations%7D> .

<https://data.amerigeoss.org/dataset/7937e7c1-bc2c-4e2f-8288-d83b8379d08a/resource/1d7da367-e0c3-4b73-aecf-08c0115a10be> a dcat:Distribution ;
    dct:description "ikos_arbos.0.1.tar.gz" ;
    dct:format "TAR" ;
    dct:issued "2020-11-12T04:20:43.093298"^^xsd:dateTime ;
    dct:modified "2025-11-22T20:11:51.368485"^^xsd:dateTime ;
    dct:title "TAR Compressed File" ;
    dcat:accessURL <http://ti.arc.nasa.gov/m/opensource/downloads/ikos/ikos_arbos.0.1.tar.gz> ;
    dcat:mediaType "application/x-tar" .

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