Knowledge bases built on web languages from the point of view of predicate logics

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F17%3AA1801NO4" target="_blank" >RIV/61988987:17310/17:A1801NO4 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1063/1.4981998" target="_blank" >http://dx.doi.org/10.1063/1.4981998</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1063/1.4981998" target="_blank" >10.1063/1.4981998</a>

Result language
angličtina
Original language name
Knowledge bases built on web languages from the point of view of predicate logics
Original language description
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.
Czech name
—
Czech description
—

Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)