OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
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

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}