This HTML5 document contains 41 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n19http://localhost/temp/predkladatel/
n18http://purl.org/net/nknouf/ns/bibtex#
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/ontology/domain/vavai/
n17https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F07%3A00019553%21RIV10-GA0-14330___/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F07%3A00019553%21RIV10-GA0-14330___
rdf:type
skos:Concept n12:Vysledek
dcterms:description
This paper describes the design of newly developed Dolphin system for effective implementation of a knowledge base and question answering based on the transparent intensional logic (TIL). TIL is a high-order logic with a hierarchy of types made for representing all natural language phenomena like intensionality, temporality or belief attitudes. In the text, we will introduce the database acting as a knowledge base for inference in TIL. The time aspect of the truth value of propositions will be mentioned and basic ``thinking'' capabilities of the Dolphin system will be exemplified. This paper describes the design of newly developed Dolphin system for effective implementation of a knowledge base and question answering based on the transparent intensional logic (TIL). TIL is a high-order logic with a hierarchy of types made for representing all natural language phenomena like intensionality, temporality or belief attitudes. In the text, we will introduce the database acting as a knowledge base for inference in TIL. The time aspect of the truth value of propositions will be mentioned and basic ``thinking'' capabilities of the Dolphin system will be exemplified.
dcterms:title
Dolphin - a Knowledge base for Transparent Intensional Logic Dolphin - a Knowledge base for Transparent Intensional Logic
skos:prefLabel
Dolphin - a Knowledge base for Transparent Intensional Logic Dolphin - a Knowledge base for Transparent Intensional Logic
skos:notation
RIV/00216224:14330/07:00019553!RIV10-GA0-14330___
n3:aktivita
n13:P
n3:aktivity
P(1ET100300414), P(GA201/05/2781)
n3:dodaniDat
n6:2010
n3:domaciTvurceVysledku
n11:3161870 n11:7583907
n3:druhVysledku
n21:D
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n9:predkladatel
n3:idSjednocenehoVysledku
417893
n3:idVysledku
RIV/00216224:14330/07:00019553
n3:jazykVysledku
n7:eng
n3:klicovaSlova
transparent intensional logic; knowledge base
n3:klicoveSlovo
n15:transparent%20intensional%20logic n15:knowledge%20base
n3:kontrolniKodProRIV
[7EF1A786EC04]
n3:mistoKonaniAkce
Tilburg, Netherlands
n3:mistoVydani
Tilburg, Netherlands
n3:nazevZdroje
Proceedings of IWCS 2007
n3:obor
n16:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n4:GA201%2F05%2F2781 n4:1ET100300414
n3:rokUplatneniVysledku
n6:2007
n3:tvurceVysledku
Horák, Aleš Gardoň, Andrej
n3:typAkce
n20:WRD
n3:zahajeniAkce
2007-01-01+01:00
s:numberOfPages
4
n18:hasPublisher
University of Tilburg
n17:isbn
90-74029-31-0
n19:organizacniJednotka
14330