Konceptuální modelování a ontologie z pohledu logiky

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F04%3A00004042" target="_blank" >RIV/00216208:11210/04:00004042 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985955:_____/04:00101271

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Konceptuální modelování a ontologie z pohledu logiky

Popis výsledku v původním jazyce

V příspěvku logicky explikujeme pojmy koncept a ontologie. Vyložíme netradiční teorii pojmu z hlediska Transparentní intenzionální logiky. Tato teorie je založena na procedurální sémantice algoritmicky strukturovaných významů. Dále uvedeme koncepci ontologie přirozeného jazyka, tedy 'o čem mluvíme' a pomocí jakých pojmů ('jak') uchopujeme jednotlivé entity. Význam výrazů přirozeného jazyka explikujeme pomocí klíčového pojmu transparentní intenzionální logiky konstrukce a definujeme význam výrazu jako konstrukci, která je nejjemnější analýzou daného výrazu relativně ke konceptuálnímu systému uživatele. Pojem pak definujeme jako uzavřenou konstrukci v kanonickém tvaru. Na závěr provedeme stručný rozbor existujících nástrojů používaných pro reprezentaci znalostí v sémantickém webu z pohledu logiky.

Název v anglickém jazyce

Conceptual modelling and ontologies from the Logical Point of View

Popis výsledku anglicky

In the paper we logically explicate notions of concept and ontology. The non-traditional theory of concepts is introduced which is based on the procedural semantics of structured meanings. Ontology of natural language, i.e., entitties we talk about and concepts to identify them are organised into a ramified hierarchy of types. Structured meanings are explicated by means of the key notion of transparent intensional logic, namely construction viewed as an abstract procedure. Concept is defined as a closedconstruction, and the meaning of a natural languge expression is the most fine-grained construction relatively to a given conceptual system. Concluding, web ontology languages are examined from the logical point of view.

Druh

D - Stať ve sborníku

CEP obor

AF - Dokumentace, knihovnictví, práce s informacemi

OECD FORD obor

—

Projekt

<a href="/cs/project/GA401%2F04%2F2073" target="_blank" >GA401/04/2073: Transparentní intensionální logika (systematický výklad)</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2004

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

Datakon 2004

ISBN

80-210-3516-1

ISSN

—

e-ISSN

—

Počet stran výsledku

21

Strana od-do

99-119

Název nakladatele

Masarykova universita

Místo vydání

Brno

Místo konání akce

—

Datum konání akce

—

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

—

Kód UT WoS článku

—