About: An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data 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)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. (en)
Title	An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data (en)
skos:prefLabel	An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data (en)
skos:notation	RIV/61989592:15310/12:33141693!RIV13-GA0-15310___
http://linked.open...avai/predkladatel	Přírodovědecká fakulta
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GAP103/11/1456)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Vychodil, Vilém Bělohlávek, Radim
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Palackého v Olomouci / Přírodovědecká fakulta
http://linked.open...dnocenehoVysledku	121932
http://linked.open...ai/riv/idVysledku	RIV/61989592:15310/12:33141693
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	dependency, similarity, ordinal data, algorithm (en)
http://linked.open.../riv/klicoveSlovo	dependency similarity ordinal data algorithm
http://linked.open...odStatuVydavatele	DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV	[D46DA6F8F42D]
http://linked.open...i/riv/nazevZdroje	Lecture Notes in Computer Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...vavai/riv/projekt	Foundations of Similarity-Based Data Processing
http://linked.open...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	7647
http://linked.open...iv/tvurceVysledku	Bělohlávek, Radim Vychodil, Vilém Cordero, Pablo Enciso, Manuel Mora, Angel
issn	0302-9743
number of pages	12 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/978-3-642-34620-0_36
http://localhost/t...ganizacniJednotka	15310
is http://linked.open...avai/riv/vysledek of	An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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, 35 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software