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

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

Namespace Prefixes

PrefixIRI
n10http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n13http://localhost/temp/predkladatel/
n5http://purl.org/net/nknouf/ns/bibtex#
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n20http://linked.opendata.cz/ontology/domain/vavai/
n14https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61988987%3A17310%2F14%3AA1501B8I%21RIV15-MSM-17310___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n17http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61988987%3A17310%2F14%3AA1501B8I%21RIV15-MSM-17310___
rdf:type
skos:Concept n20:Vysledek
dcterms:description
The aim describes the idea of graph-based representation of clauses. This ap-proach follows the Richards idea of graph-based clausal form knowledge repre-sentation. Moreover, it enabled to build up the graph-based formal system GCFL (Graph-based Clausal Form Logic) that cannot only illustrate knowledge bases graphically, but also allows us to obtain consequents of a knowledge base in a special graph-based way. The article continues the idea by creation of a graph-based formal system of generating revisable theories following the known Reiter's default principle of building non-monotonic theories. The aim describes the idea of graph-based representation of clauses. This ap-proach follows the Richards idea of graph-based clausal form knowledge repre-sentation. Moreover, it enabled to build up the graph-based formal system GCFL (Graph-based Clausal Form Logic) that cannot only illustrate knowledge bases graphically, but also allows us to obtain consequents of a knowledge base in a special graph-based way. The article continues the idea by creation of a graph-based formal system of generating revisable theories following the known Reiter's default principle of building non-monotonic theories.
dcterms:title
Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF
skos:prefLabel
Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF
skos:notation
RIV/61988987:17310/14:A1501B8I!RIV15-MSM-17310___
n3:aktivita
n9:S
n3:aktivity
S
n3:dodaniDat
n17:2015
n3:domaciTvurceVysledku
n12:9269223 n12:2659387 n12:2668386
n3:druhVysledku
n6:D
n3:duvernostUdaju
n15:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
5925
n3:idVysledku
RIV/61988987:17310/14:A1501B8I
n3:jazykVysledku
n4:eng
n3:klicovaSlova
Graph; RDF; default theory; GCFL; clausal form logic.
n3:klicoveSlovo
n8:Graph n8:GCFL n8:clausal%20form%20logic. n8:default%20theory n8:RDF
n3:kontrolniKodProRIV
[9390DE5A10BD]
n3:mistoKonaniAkce
UTB Zlín
n3:mistoVydani
Switzerland
n3:nazevZdroje
Modern Trends and Techniques in Computer Science, AISC 285
n3:obor
n18:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:rokUplatneniVysledku
n17:2014
n3:tvurceVysledku
Vajgl, Marek Lukasová, Alena Žáček, Martin
n3:typAkce
n10:CST
n3:zahajeniAkce
2014-04-28+02:00
s:numberOfPages
11
n5:hasPublisher
Springer International Publishing
n14:isbn
978-3-319-06740-7
n13:organizacniJednotka
17310