Concepts and Ontologies

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F09%3A00021030" target="_blank" >RIV/61989100:27240/09:00021030 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.3233/978-1-58603-957-8-45" target="_blank" >http://dx.doi.org/10.3233/978-1-58603-957-8-45</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3233/978-1-58603-957-8-45" target="_blank" >10.3233/978-1-58603-957-8-45</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Concepts and Ontologies

Popis výsledku v původním jazyce

We introduce a new theory of concepts conceived as structured abstract entities. The theory is based on the key notion of Transparent Intensional Logic (TIL), known as TIL construction. The rich procedural semantics of TIL makes it possible to explicitlystate all the semantically salient features of natural language expressions. We illustrate how to make use of TIL theory of concepts in distinguishing analytical and empirical concepts, particular kinds of necessities, and for rigorous specification ofrequisite relations between intensions. Finally, ontology is characterised as a stable part of the system that should play an integrating role. We show how to make use of this rich theory in specification of the content of ontologies in a multi-agent system.

Název v anglickém jazyce

Concepts and Ontologies

Popis výsledku anglicky

We introduce a new theory of concepts conceived as structured abstract entities. The theory is based on the key notion of Transparent Intensional Logic (TIL), known as TIL construction. The rich procedural semantics of TIL makes it possible to explicitlystate all the semantically salient features of natural language expressions. We illustrate how to make use of TIL theory of concepts in distinguishing analytical and empirical concepts, particular kinds of necessities, and for rigorous specification ofrequisite relations between intensions. Finally, ontology is characterised as a stable part of the system that should play an integrating role. We show how to make use of this rich theory in specification of the content of ontologies in a multi-agent system.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

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

Rok uplatnění

2009

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 periodika

Frontiers in Artificial Inteligence and Applications

ISSN

0922-6389

e-ISSN

—

Svazek periodika

190

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

20

Strana od-do

45-64

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—