Resolution reasoning by RDF Clausal Form Logic
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F12%3AA13014VU" target="_blank" >RIV/61988987:17310/12:A13014VU - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Resolution reasoning by RDF Clausal Form Logic
Original language description
The article presents a simple way how knowledge represented via RDF triples provides an easier method of inference, managing and finding interrelations between knowledge objects than that an approach based on OWL language. The authors of the article comeout of the T. Richard?s inference system of the Clausal Form Logic (CFL) based on the formal manipulation with conditional ?if - then? statements, and an idea of RDF extended model (with quantifiers) of knowledge representation to propose an inference mechanism RDF RR working over knowledge bases of RDF triples.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2012
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
Name of the periodical
IJCSI International Journal of Computer Science Issues
ISSN
1694-0814
e-ISSN
—
Volume of the periodical
9
Issue of the periodical within the volume
3
Country of publishing house
MU - MAURITIUS
Number of pages
6
Pages from-to
27-32
UT code for WoS article
—
EID of the result in the Scopus database
—