Konceptuální modelování, formální základy a ontologie

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F06%3A03124989" target="_blank" >RIV/68407700:21230/06:03124989 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Konceptuální modelování, formální základy a ontologie

Popis výsledku v původním jazyce

Obsahem příspěvku jsou úvahy o základech konceptuálního modelování. Autor nejprve definuje, co je vlastním obsahem konceptuálního modelování. V další části textu představí několik přístupů, jak vybudovat formální základy konceptuálního modelování. Jak svyužitím matematicko-logického aparátu, tak pomocí ontologií.

Název v anglickém jazyce

Conceptual modelling, Formal Basic and Ontology

Popis výsledku anglicky

The article describes some basic principles of conceptual modelling. Next in the article author show some formalism based on mathematics-logics and ontology.

Druh

D - Stať ve sborníku

CEP obor

JD - Využití počítačů, robotika a její aplikace

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2006

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

Tvoba softwaru 2006

ISBN

80-248-1082-4

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

121-127

Název nakladatele

VŠB - Technická univerzita Ostrava

Místo vydání

Ostrava

Místo konání akce

Ostrava

Datum konání akce

5. 6. 2006

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

CST - Celostátní akce

Kód UT WoS článku

—