@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://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-tel-00678447v1> a dcat:Dataset ;
    dct:description """
              This approach suggests a possible solution for the following issue : how to formalize environments related to a given process and how to exploit the information they provide in order to start appropriate actions ? For that purpose, we took an interest in the concepts of ontologies, contexts and actions. We have investigated the constructive type theory and extended it with extensional sub-typing (allowing for type hierarchies) and constants to result in what is called the Dependent Type Framework (DTF). DTF tries to combine a constructive logic with a functional programming language for the representation and reasoning about contexts and actions. It provides a high expressiveness, decidability of type checking and a powerful sub-typing mechanism. We show how to model both contexts with types in DTF from the given information about a problem and actions to start to solve it. Then, as a test of feasibility with the purpose of sensing the complexity of such a solution, a context prover has been built with a functional language. Finally, a test application called the wumpus world in which a software agent moves across a grid in an unknown environment is implemented.
            """ ;
    dct:identifier "tel-00678447" ;
    dct:issued "2026-05-25T00:36:27.022769"^^xsd:dateTime ;
    dct:language "fr" ;
    dct:modified "2026-05-25T00:36:27.022778"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "Conception et implantation d'un modèle de raisonnement sur les contextes basée sur une théorie des types et utilisant une ontologie de domaine" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-tel-00678447v1/resource/5263c314-38ec-4201-9ddb-7ae35dcd341b> ;
    dcat:keyword "actions",
        "constructive-type-theory",
        "contextes",
        "contexts",
        "dependent-types",
        "infoeu-reposemanticsdoctoralthesis",
        "infoinfo-aicomputer-science-csartificial-intelligence-csai",
        "infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl",
        "infoinfo-locomputer-science-cslogic-in-computer-science-cslo",
        "ontologies",
        "raisonnement",
        "reasoning",
        "soustypage",
        "subtyping",
        "theorie-constructive-des-types",
        "theses",
        "type-checking",
        "types-dependants",
        "veri-cation-de-type" ;
    dcat:landingPage <https://theses.hal.science/tel-00678447> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-tel-00678447v1/resource/5263c314-38ec-4201-9ddb-7ae35dcd341b> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-25T00:36:27.064976"^^xsd:dateTime ;
    dct:modified "2026-05-25T00:36:26.912480"^^xsd:dateTime ;
    dct:title "Conception et implantation d'un modèle de raisonnement sur les contextes basée sur une théorie des types et utilisant une ontologie de domaine" ;
    dcat:accessURL <https://theses.hal.science/tel-00678447> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .

<https://theses.hal.science/tel-00678447> a foaf:Document .