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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n11http://localhost/temp/predkladatel/
n19http://linked.opendata.cz/resource/domain/vavai/projekt/
n5http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/resource/domain/vavai/subjekt/
n8http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n10http://bibframe.org/vocab/
n7http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F12%3A33141693%21RIV13-GA0-15310___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F12%3A33141693%21RIV13-GA0-15310___
rdf:type
skos:Concept n8:Vysledek
dcterms:description
We present a new axiomatization of logic for dependencies in data with grades, including ordinal data and data in an extension of Codd's model that takes into account similarity relations on domains. The axiomatization makes possible an efficient method for automated reasoning for such dependencies that is presented in the paper. The presented method of automatic reasoning is based on a new simplification equivalence which allows to simplify sets of dependencies while retaining their semantic closures. We include two algorithms for computing closures and checking semantic entailment from sets of dependencies and present experimental comparison showing that the algorithms based on the new axiomatization outperform the algorithms proposed in the past. We present a new axiomatization of logic for dependencies in data with grades, including ordinal data and data in an extension of Codd's model that takes into account similarity relations on domains. The axiomatization makes possible an efficient method for automated reasoning for such dependencies that is presented in the paper. The presented method of automatic reasoning is based on a new simplification equivalence which allows to simplify sets of dependencies while retaining their semantic closures. We include two algorithms for computing closures and checking semantic entailment from sets of dependencies and present experimental comparison showing that the algorithms based on the new axiomatization outperform the algorithms proposed in the past.
dcterms:title
An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data
skos:prefLabel
An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data
skos:notation
RIV/61989592:15310/12:33141693!RIV13-GA0-15310___
n8:predkladatel
n16:orjk%3A15310
n3:aktivita
n17:P
n3:aktivity
P(GAP103/11/1456)
n3:cisloPeriodika
1
n3:dodaniDat
n15:2013
n3:domaciTvurceVysledku
n5:9623264 n5:1236784
n3:druhVysledku
n18:J
n3:duvernostUdaju
n12:S
n3:entitaPredkladatele
n7:predkladatel
n3:idSjednocenehoVysledku
121932
n3:idVysledku
RIV/61989592:15310/12:33141693
n3:jazykVysledku
n20:eng
n3:klicovaSlova
dependency, similarity, ordinal data, algorithm
n3:klicoveSlovo
n4:ordinal%20data n4:algorithm n4:dependency n4:similarity
n3:kodStatuVydavatele
DE - Spolková republika Německo
n3:kontrolniKodProRIV
[D46DA6F8F42D]
n3:nazevZdroje
Lecture Notes in Computer Science
n3:obor
n13:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
5
n3:projekt
n19:GAP103%2F11%2F1456
n3:rokUplatneniVysledku
n15:2012
n3:svazekPeriodika
7647
n3:tvurceVysledku
Vychodil, Vilém Mora, Angel Enciso, Manuel Bělohlávek, Radim Cordero, Pablo
s:issn
0302-9743
s:numberOfPages
12
n10:doi
10.1007/978-3-642-34620-0_36
n11:organizacniJednotka
15310