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

Kód výsledku v 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>

Výsledek na webu

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

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku 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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10200 - Computer and information sciences

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2017

Kód důvěrnosti údajů

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

Název statě ve sborníku

AIP Conference Proceedings

ISBN

978-073541506-5

ISSN

0094-243X

e-ISSN

—

Počet stran výsledku

4

Strana od-do

—

Název nakladatele

American Institute of Physics Inc.

Místo vydání

—

Místo konání akce

Rome; Italy

Datum konání akce

19. 1. 2017

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000409539000058