This HTML5 document contains 43 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/
n6http://localhost/temp/predkladatel/
n4http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n17http://linked.opendata.cz/resource/domain/vavai/subjekt/
n16http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61988987%3A17310%2F12%3AA12013QE%21RIV12-MSM-17310___/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61988987%3A17310%2F12%3AA12013QE%21RIV12-MSM-17310___
rdf:type
n16:Vysledek skos:Concept
dcterms:description
This paper follows the work of T. Richards specialization Clausal Form Logic formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of semantic (associative) networks. The goal of our research is to follow the direction towards graphbased clausal form knowledge representation shaped by Richards and build up a graph-based formal system. The new formal system Graph-based Clausal Form Logic has its own graphbased language with the expressivity similar to that one of CFL. The idea of the GCFL graph-based approach is also useful in the frame of the RDF model especially in its graph version. This paper follows the work of T. Richards specialization Clausal Form Logic formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of semantic (associative) networks. The goal of our research is to follow the direction towards graphbased clausal form knowledge representation shaped by Richards and build up a graph-based formal system. The new formal system Graph-based Clausal Form Logic has its own graphbased language with the expressivity similar to that one of CFL. The idea of the GCFL graph-based approach is also useful in the frame of the RDF model especially in its graph version.
dcterms:title
Reasoning in Graph-based Clausal Form Logic Reasoning in Graph-based Clausal Form Logic
skos:prefLabel
Reasoning in Graph-based Clausal Form Logic Reasoning in Graph-based Clausal Form Logic
skos:notation
RIV/61988987:17310/12:A12013QE!RIV12-MSM-17310___
n16:predkladatel
n17:orjk%3A17310
n3:aktivita
n14:S
n3:aktivity
S
n3:cisloPeriodika
1
n3:dodaniDat
n7:2012
n3:domaciTvurceVysledku
n4:2659387 n4:2668386 n4:9269223
n3:druhVysledku
n13:J
n3:duvernostUdaju
n18:S
n3:entitaPredkladatele
n15:predkladatel
n3:idSjednocenehoVysledku
164299
n3:idVysledku
RIV/61988987:17310/12:A12013QE
n3:jazykVysledku
n9:eng
n3:klicovaSlova
Clausal Form Logic; formal system; graph; Graph-based Clausal Form Logic; RDF model
n3:klicoveSlovo
n10:formal%20system n10:RDF%20model n10:graph n10:Clausal%20Form%20Logic n10:Graph-based%20Clausal%20Form%20Logic
n3:kodStatuVydavatele
MU - Mauricijská republika
n3:kontrolniKodProRIV
[15C10E54C271]
n3:nazevZdroje
IJCSI International Journal of Computer Science Issues
n3:obor
n12:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:rokUplatneniVysledku
n7:2012
n3:svazekPeriodika
9
n3:tvurceVysledku
Lukasová, Alena Vajgl, Marek Žáček, Martin
s:issn
1694-0814
s:numberOfPages
7
n6:organizacniJednotka
17310