About: Concepts and Ontologies     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
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 relace rekvizity 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. (cs)
  • 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 explicitly state 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 of requisite 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.
  • 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 explicitly state 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 of requisite 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. (en)
Title
  • Concepts and Ontologies
  • Concepts and Ontologies (en)
  • Pojmy a ontologie (cs)
skos:prefLabel
  • Concepts and Ontologies
  • Concepts and Ontologies (en)
  • Pojmy a ontologie (cs)
skos:notation
  • RIV/61989100:27240/08:00018813!RIV09-GA0-27240___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA401/07/0451)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 360950
http://linked.open...ai/riv/idVysledku
  • RIV/61989100:27240/08:00018813
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Ontology; concept; logical analysis of natural language; TIL; analytical vs. empirical concept; analytical vs. nomic necessity; intension; extension; hyper-intension (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [FA972AF5F0A2]
http://linked.open...v/mistoKonaniAkce
  • Japonsko
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...ocetUcastnikuAkce
http://linked.open...nichUcastnikuAkce
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/statKonaniAkce
http://linked.open...iv/tvurceVysledku
  • Duží, Marie
  • Materna, P.
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/ukonceniAkce
http://linked.open.../riv/zahajeniAkce
http://localhost/t...ganizacniJednotka
  • 27240
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software