@prefix azonOnto: <http://id.e-science.pl/ontologies/azonOnto#> .
@prefix collection: <http://id.e-science.pl/vocab/collection/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix kv: <http://id.e-science.pl/vocab/kv/> .
@prefix person: <http://id.e-science.pl/vocab/person/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix records: <http://id.e-science.pl/records/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix unit: <http://id.e-science.pl/vocab/unit/> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

records:40934 a azonOnto:Article ;
    azonOnto:acceptanceDate "2019-05-31"^^xsd:date ;
    azonOnto:authorInfo [ a azonOnto:AuthorInfo ;
            azonOnto:affiliation unit:1 ;
            azonOnto:author person:11461 ;
            azonOnto:position 1 ] ;
    azonOnto:collection collection:1,
        collection:7 ;
    azonOnto:description "Referat zaprezentowany w 1996 roku na V Krajowej Konferencji Robotyki.\\nPraca dotyczy badania poprawności planów warunkowych dla robotów działających w otoczeniu stacjonarnym i  deterministycznym. Skonstruowano formalny język opisu akcji warunkowych. W oparciu o zmodyfikowany logikę Hoare’a, zaproponowano dedukcyjny metodę sprawdzania poprawności planów warunkowych."@pl ;
    azonOnto:destinationGroup "nauczyciele"@pl,
        "naukowcy"@pl,
        "studenci"@pl ;
    azonOnto:fileInfo [ a azonOnto:FileInfo ;
            azonOnto:name "KKR05_t1_207_WCAG.docx"^^xsd:string ;
            azonOnto:uri "https://data.e-science.pl/40934/KKR05_t1_207_WCAG.docx"^^xsd:anyURI ],
        [ a azonOnto:FileInfo ;
            azonOnto:name "KKR05_t1_003.pdf"^^xsd:string ;
            azonOnto:uri "https://data.e-science.pl/40934/KKR05_t1_003.pdf"^^xsd:anyURI ],
        [ a azonOnto:FileInfo ;
            azonOnto:name "KKR05_t1_005.pdf"^^xsd:string ;
            azonOnto:uri "https://data.e-science.pl/40934/KKR05_t1_005.pdf"^^xsd:anyURI ],
        [ a azonOnto:FileInfo ;
            azonOnto:name "KKR05_t1_401.pdf"^^xsd:string ;
            azonOnto:uri "https://data.e-science.pl/40934/KKR05_t1_401.pdf"^^xsd:anyURI ],
        [ a azonOnto:FileInfo ;
            azonOnto:name "KKR05_t1_001.pdf"^^xsd:string ;
            azonOnto:uri "https://data.e-science.pl/40934/KKR05_t1_001.pdf"^^xsd:anyURI ] ;
    azonOnto:harmfulContent false ;
    azonOnto:keywordInfo [ a azonOnto:KeywordInfo ;
            azonOnto:name "robotyka"@pl ;
            azonOnto:uri "http://eurovoc.europa.eu/3740"^^xsd:anyURI ],
        [ a azonOnto:KeywordInfo ;
            azonOnto:name "robot"@pl ;
            azonOnto:uri "http://id.e-science.pl/vocab/kv/c93767"^^xsd:anyURI ],
        [ a azonOnto:KeywordInfo ;
            azonOnto:name "Krajowa Konferencja Robotyki"@pl ;
            azonOnto:uri "http://id.e-science.pl/vocab/kv/33550"^^xsd:anyURI ],
        [ a azonOnto:KeywordInfo ;
            azonOnto:name "planowanie akcji"@pl ;
            azonOnto:uri "http://id.e-science.pl/vocab/kv/c74392"^^xsd:anyURI ],
        [ a azonOnto:KeywordInfo ;
            azonOnto:name "plan warunkowy"@pl ;
            azonOnto:uri "http://id.e-science.pl/vocab/kv/c74660"^^xsd:anyURI ],
        [ a azonOnto:KeywordInfo ;
            azonOnto:name "poprawność"@pl ;
            azonOnto:uri "http://plwordnet.pwr.wroc.pl/wordnet/synset/41950"^^xsd:anyURI ],
        [ a azonOnto:KeywordInfo ;
            azonOnto:name "język formalny"@pl ;
            azonOnto:uri "http://plwordnet.pwr.wroc.pl/wordnet/synset/463612"^^xsd:anyURI ],
        [ a azonOnto:KeywordInfo ;
            azonOnto:name "logika Hoare'a"@pl ;
            azonOnto:uri "http://id.e-science.pl/vocab/kv/c47849"^^xsd:anyURI ],
        [ a azonOnto:KeywordInfo ;
            azonOnto:name "dowodzenie"@pl ;
            azonOnto:uri "http://plwordnet.pwr.wroc.pl/wordnet/synset/82207"^^xsd:anyURI ] ;
    azonOnto:language "Polski"^^xsd:string ;
    azonOnto:licenseInfo [ a azonOnto:LicenseInfo ;
            azonOnto:name "CC BY-SA 4.0"^^xsd:string ;
            azonOnto:uri "https://creativecommons.org/licenses/by-sa/4.0/legalcode.pl"^^xsd:anyURI ] ;
    azonOnto:pageFrom 207 ;
    azonOnto:pageTo 214 ;
    azonOnto:partner [ a azonOnto:Organization ;
            azonOnto:name "Politechnika Wrocławska"^^xsd:string ] ;
    azonOnto:publicationYear 1996 ;
    azonOnto:publisher "Wydawnictwo Politechniki Wrocławskiej"^^xsd:string ;
    azonOnto:scientificDiscipline "dziedzina nauk technicznych / automatyka i robotyka (2011)"@pl ;
    azonOnto:source [ a azonOnto:Source ;
            azonOnto:title "Materiały V Krajowej Konferencji Robotyki: tom 1"@pl ] ;
    azonOnto:submitter [ a azonOnto:Person ;
            azonOnto:name "Robert Muszyński"^^xsd:string ] ;
    azonOnto:title "Dowodzenie poprawności planów warunkowych"@pl .

RDF/XML

TURTLE

JSON-LD