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 * : Knowledge bases built on web languages from the point of view of predicate logics
Citace : Vajgl, M., Lukasová, A. a Žáček, M. Knowledge bases built on web languages from the point of view of predicate logics. In: 1st International Conference on Applied Mathematics and Computer Science, ICAMCS 2017: AIP Conference Proceedings 2017-01-19 Rome; Italy. American Institute of Physics Inc., 2017. ISBN 978-073541506-5.
Podnázev :
Rok * : 2017
Obor * : Informatika
Počet stran * : 4
Strana od * : neuvedeno
Strana do * : neuvedeno
Forma vydání * : Elektronická verze
Kód ISBN * : 978-073541506-5
Kód ISSN : 0094-243X
Název sborníku * : AIP Conference Proceedings
Sborník : Mezinárodní
Název nakladatele * : American Institute of Physics Inc.
Místo vydání * : neuvedeno
Stát vydání : Sborník vydaný v zahraničí
Název konference : 1st International Conference on Applied Mathematics and Computer Science, ICAMCS 2017
Místo konání konference * : Rome; Italy
Datum zahájení konference * :
Typ akce podle státní
příslušnosti účastníků akce * :
Celosvětová akce
Kód UT WoS : 000409539000058
EID : 2-s2.0-85021321205
Klíčová slova anglicky * :
ontology, concept, semantic web, logic, formal system
Popis v původním jazyce * :
The article undergoes evaluation of formal systems created on the base of web (ontology/concept) languages by simplifying the usual approach of knowledge representation within the FOPL, but sharing its expressiveness, semantic correct-ness, completeness and decidability. Evaluation of two of them-that one based on description logic and that one built on RDF model principles-identifies some of the lacks of those formal systems and presents, if possible, corrections of them. Possibilities to build an inference system capable to obtain new further knowledge over given knowledge bases including those describing domains by giant linked domain databases has been taken into account. Moreover, the directions towards simplifying FOPL language discussed here has been evaluated from the point of view of a possibility to become a web language for fulfilling an idea of semantic web.
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/17:A1801NO4

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