This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n20http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/resource/domain/vavai/subjekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n11http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61988987%3A17310%2F12%3AA13017M9%21RIV13-MSM-17310___/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/licencniPoplatek/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/vyuzitiJinymSubjektem/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61988987%3A17310%2F12%3AA13017M9%21RIV13-MSM-17310___
rdf:type
skos:Concept n13:Vysledek
rdfs:seeAlso
http://www1.osu.cz/~vajgl/published/xReasoner/index.html
dcterms:description
Tool for automatic reasoning in knowledge bases using semantic tableau algorithm of description logic DL and DL1 Nástroj pro automatické odvozování ve znalostních bázích pomocí sémantického tabla deskripční logiky DL a DL1 Nástroj pro automatické odvozování ve znalostních bázích pomocí sémantického tabla deskripční logiky DL a DL1
dcterms:title
NetReasoner XReasoner XReasoner
skos:prefLabel
NetReasoner XReasoner XReasoner
skos:notation
RIV/61988987:17310/12:A13017M9!RIV13-MSM-17310___
n13:predkladatel
n14:orjk%3A17310
n4:aktivita
n12:S
n4:aktivity
S
n4:dodaniDat
n6:2013
n4:domaciTvurceVysledku
n16:9269223
n4:druhVysledku
n9:R
n4:duvernostUdaju
n15:S
n4:ekonomickeParametry
optimalizace dotazovacího procesu
n4:entitaPredkladatele
n11:predkladatel
n4:idSjednocenehoVysledku
181198
n4:idVysledku
RIV/61988987:17310/12:A13017M9
n4:interniIdentifikace
XReasoner
n4:jazykVysledku
n17:cze
n4:klicovaSlova
NetReasoner; description logic; .NET; sémantické tablo
n4:klicoveSlovo
n7:description%20logic n7:s%C3%A9mantick%C3%A9%20tablo n7:.NET n7:NetReasoner
n4:kontrolniKodProRIV
[02C620FBCC45]
n4:licencniPoplatek
n10:N
n4:obor
n19:IN
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:rokUplatneniVysledku
n6:2012
n4:technickeParametry
Marek Vajgl, 30. dubna 22, 70103 Ostrava, 597092179
n4:tvurceVysledku
Vajgl, Marek
n4:vlastnik
n11:vlastnikVysledku
n4:vyuzitiJinymSubjektem
n18:A
n20:organizacniJednotka
17310