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 * : Making a shift from believing to knowing by the help of RDF CFL formal representation
Citace : Žáček, M. a Lukasová, A. Making a shift from believing to knowing by the help of RDF CFL formal representation. In: 2nd International Conference on Applied Physics, System Science and Computers, APSAC2017: Lecture Notes in Electrical Engineering 2017-09-27 Dubrovnik. Switzerland: Springer International Publishing AG, 2019. s. 148-155. ISBN 978-331975604-2.
Podnázev :
Rok * : 2019
Obor * : Informatika
Počet stran * : 8
Strana od * : 148
Strana do * : 155
Forma vydání * : Elektronická verze
Kód ISBN * : 978-331975604-2
Kód ISSN : 1876-1100
Název sborníku * : Lecture Notes in Electrical Engineering
Sborník : Mezinárodní
Název nakladatele * : Springer International Publishing AG
Místo vydání * : Switzerland
Stát vydání : Sborník vydaný v zahraničí
Název konference : 2nd International Conference on Applied Physics, System Science and Computers, APSAC2017
Místo konání konference * : Dubrovnik
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-85049326553
Klíčová slova anglicky * :
RDF, CFL, ontology, language
Popis v původním jazyce * :
In the frame of seeking an optimal formal language means for semantic web inferences a model and language RDF CFL has been developed. Using an intensional approach to the language semantics in its graph-based style of representation a demand of open world has been fulfilled. On the other side the RDF CFL system contains a package of inference methods working especially in closed-worlds, that have been developed in the clausal form of first order predicate logics, useful for solving a lot of tasks over corresponding knowledge bases. The article shows one of the capabilities of our RDF CFL graph language using as an example a well-known Castaněda’s puzzle that has been before used by some authors of new formal approaches, like for example Shapiro’s SNaPS for testing their possibilities. The believing versus knowing problem accompanying the puzzle brings into a discussion a further dimension. © Springer International Publishing AG, part of Springer Nature 2019.
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/19:A2101Y5B

© 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}