About: Reprezentace univerzálně kvantifikovaných rolí v deskripční logice     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
  • The contribution is aimed to analyze the semantic of universally quantified roles of formulas in description logic. It presents semantic definition meaning of this constructor, how is it presented from the view of the formal logic and where is the difference in human common sense of sentences, where this constructor is expected to be used. In next part of contribution there are examples of defined queries in syntax of SQL database language, as it can be used as the base layer for description language knowledge systems. Finally, results of unofficial disquisition are presented and the conclusion is made. (en)
  • Článek je zaměřen na analýzu sémantiky univerzálně kvantifikovaných formulí v deskripční logice, vysvětluje jejich sémantický význam a konfrontuje jej s významem v přirozeném jazyce.
  • Článek je zaměřen na analýzu sémantiky univerzálně kvantifikovaných formulí v deskripční logice, vysvětluje jejich sémantický význam a konfrontuje jej s významem v přirozeném jazyce. (cs)
Title
  • Reprezentace univerzálně kvantifikovaných rolí v deskripční logice
  • Universal quantification of role in description logic (en)
  • Reprezentace univerzálně kvantifikovaných rolí v deskripční logice (cs)
skos:prefLabel
  • Reprezentace univerzálně kvantifikovaných rolí v deskripční logice
  • Universal quantification of role in description logic (en)
  • Reprezentace univerzálně kvantifikovaných rolí v deskripční logice (cs)
skos:notation
  • RIV/61988987:17310/09:A0900U1H!RIV09-MSM-17310___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • S
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
  • 339025
http://linked.open...ai/riv/idVysledku
  • RIV/61988987:17310/09:A0900U1H
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • description logic; quantification; role (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [8CFF2EB5889B]
http://linked.open...v/mistoKonaniAkce
  • Nitra, Slovenská republika
http://linked.open...i/riv/mistoVydani
  • Nitra
http://linked.open...i/riv/nazevZdroje
  • Mladí vedci 2009 - Zborník vedeckých prác doktorandov a mladých vedeckých pracovníkov
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Vajgl, Marek
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • Univerzita Konštantína Filozofa v Nitre
https://schema.org/isbn
  • 978-80-8094-499-5
http://localhost/t...ganizacniJednotka
  • 17310
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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software