Reasoning in Formal Systems of Extended RDF Networks
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F17%3AA1801N0Q" target="_blank" >RIV/61988987:17310/17:A1801N0Q - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-54430-4_36" target="_blank" >http://dx.doi.org/10.1007/978-3-319-54430-4_36</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-54430-4_36" target="_blank" >10.1007/978-3-319-54430-4_36</a>
Alternative languages
Result language
angličtina
Original language name
Reasoning in Formal Systems of Extended RDF Networks
Original language description
It is a fact that the RDF(S) model has been declared as the ground base for implementations of further web development conception. RDF provides a common and flexible way to decompose knowledge to elementary statements that allows, as networks of indivisible knowledge atoms, to be represented by RDF triples or by RDF graph vectors.The article presents two graph based formal systems GRDF and RDFCFL defined on the base of extended RDF model with the help of clausal form logic principle and notation. The transformation process from the first order predicate logics (FOPL) to the RDF graph notation protects language expressivity and moreover both the presented systems share the partial decidability with the FOPL. As an example it is shown a reasoning of consequents in a monotonic version of the RDFCFL system.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10200 - Computer and information sciences
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Intelligent Information and Database Systems
ISBN
978-3-319-54430-4
ISSN
0302-9743
e-ISSN
—
Number of pages
10
Pages from-to
371-381
Publisher name
Springer Verlag
Place of publication
Switzerland
Event location
Kanazawa, JAPAN
Event date
Apr 3, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000401653300036