Publ3 search

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Typ záznamu * :	stať ve sborníku (D)
Domácí pracoviště * :	Katedra informatiky a počítačů (31400)
Název * :	Reasoning in RDFgraphic formal system with quantifier
Citace :	Lukasová, A., Vajgl, M. a Žáček, M. Reasoning in RDFgraphic formal system with quantifier. In: International Multiconference on Computer Science and Information Technology, IMCSIT 2010: Proceedings of the International Multiconference on Computer Science and Information Technology 2010-10-18 Wisla, Poland. Mragowo, Poland: IEEE Computer Society, 2010. IEEE Computer Society, 2010. s. 67-72. ISBN 978-836081027-9.

Podnázev :
Rok * :	2010
Obor * :	Informatika
Počet stran * :	931
Strana od * :	67
Strana do * :	72
Forma vydání * :	Tištená verze
Kód ISBN * :	978-836081027-9
Kód ISSN :	2157-5525
Název sborníku * :	Proceedings of the International Multiconference on Computer Science and Information Technology
Sborník :	Mezinárodní
Název nakladatele * :	IEEE Computer Society
Místo vydání * :	Mragowo, Poland
Stát vydání :	Sborník vydaný v zahraničí
Název konference :	International Multiconference on Computer Science and Information Technology, IMCSIT 2010
Místo konání konference * :	Wisla, Poland
Datum zahájení konference * :
Typ akce podle státní příslušnosti účastníků akce * :	Celosvětová akce
Kód UT WoS :
EID :	2-s2.0-79551518931

Klíčová slova anglicky * :	RDF, reasoning, associative network
Popis v původním jazyce * :	Both associative networks and RDF model (here we consider especially its graph version) belong to formal systems of knowledge representation based on concept-oriented paradigm. To treat properties of both of them as common properties of the systems is therefore natural. The article shows a possibility to use universal and existential quantified statements introduced prior to associative networks also within RDF graphic system and to define a RDF formal system with extended syntax and semantic that can use inference rules of associative networks. As an example solution, a logical puzzle is presented.
Popis v anglickém jazyce * :

Typ zdroje financování výsledku * :

Specifický výzkum

Seznam projektů :

ID Projektu	Název projektu

Seznam ohlasů :

Ohlas

R01:	RIV/61988987:17310/10:A1500YJV

Complementary Content

${loading}