All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Concepts and Ontologies

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F08%3A00018813" target="_blank" >RIV/61989100:27240/08:00018813 - isvavai.cz</a>

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Concepts and Ontologies

  • Original language description

    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.

  • Czech name

    Pojmy a ontologie

  • Czech description

    Článek se zabývá teorií pojmu. Pojem chápeme jako strukturovanou abstraktní entitu. Naše teorie je založena na klíčovém pojmu Transparentní intensionální logiky (TIL), kterým je TIL-konstrukce. Vysoce expresivní procedurální sémantika TIL systému umožňuje formálně zachytit všechny sémanticky významné rysy výrazů přirozeného jazyka. V článku ukazujeme, jak je možno procedurální teorii TIL využít pro rozlišení analytických a empirických pojmů, jednotlivých typů nutnosti, a pro rigorósní specifikaci relacerekvizity mezi intensemi. Dále charakterizujeme ontologii jako poměrně stabilní část systému, která v daném systému hraje integrující roli. Nakonec ukážeme, jak je možno využít této bohaté teorie pro specifikaci obsahu ontologií v multi-agentovém systému.

Classification

  • Type

    M - Conference organization

  • CEP classification

    IN - Informatics

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/GA401%2F07%2F0451" target="_blank" >GA401/07/0451: Semantisation of Pragmatics</a><br>

  • Continuities

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

Others

  • Publication year

    2008

  • Confidentiality

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

Data specific for result type

  • Event location

    Japonsko

  • Event country

    JP - JAPAN

  • Event starting date

  • Event ending date

  • Total number of attendees

    84

  • Foreign attendee count

    80

  • Type of event by attendee nationality

    WRD - Celosvětová akce