Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(6)
Artificial Intelligent
Epistemic Logic
Formal Model
Formal Semantics
Query Language
Synthetic Data
Subscribe
Academic
Publications
Believe It or Not: Adding Belief Annotations to Databases
Believe It or Not: Adding Belief Annotations to Databases,Computing Research Repository,Wolfgang Gatterbauer,Magdalena Balazinska,Nodira Khoussainova,
Edit
Believe It or Not: Adding Belief Annotations to Databases
(
Citations: 5
)
BibTex
|
RIS
|
RefWorks
Download
Wolfgang Gatterbauer
,
Magdalena Balazinska
,
Nodira Khoussainova
,
Dan Suciu
We propose a database model that allows users to anno- tate data with belief statements. Our motivation comes from scientic database applications where a commu- nity of users is working together to assemble, revise, and curate a shared data repository. As the commu- nity accumulates knowledge and the database content evolves over time, it may contain conicting informa- tion and members can disagree on the information it should store. For example, Alice may believe that a tu- ple should be in the database, whereas Bob disagrees. He may also insert the reason why he thinks Alice be- lieves the tuple should be in the database, and explain what he thinks the correct tuple should be instead. We propose a
formal model
for Belief Databases that interprets users' annotations as belief statements. These annotations can refer both to the base data and to other annotations. We give a
formal semantics
based on a fragment of multi-agent
epistemic logic
and dene a
query language
over belief databases. We then prove a key technical result, stating that every belief database can be encoded as a canonical Kripke structure. We use this structure to describe a relational representation of belief databases, and give an algorithm for translating queries over the belief database into standard relational queries. Finally, we report early experimental results with our prototype implementation on synthetic data.
Journal:
Computing Research Repository - CORR
, vol. 2, no. 1, pp. 1-12, 2009
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.cs.washington.edu
)
(
arxiv.org
)
(
adsabs.harvard.edu
)
(
www.vldb.org
)
(
www.informatik.uni-trier.de
)
(
www.cs.washington.edu
)
More »
Citation Context
(3)
...Several systems have adopted some form of conict handling or trust mapping in order to facilitate data sharing among users [
7
, 9, 11, 16, 19] (see Fig. 3 for a comparison of their features)...
...Several systems have been recently described that adopt some kind of conict resolution or trust mapping to model data sharing in a community of users [
7
, 9, 11, 16, 19]...
Wolfgang Gatterbauer
,
et al.
Data conflict resolution using trust mappings
...Different contributors of a curated database may have different opinions about some pieces of information or may disagree on the information that should be recorded [
6
]...
...Therefore, annotated databases are able to help users store and query conflicting opinions [
6
] but provide little support for making a rational judgment on the correctness of source information and annotations...
...It is also quite common that different team members have different opinions on an animal [
6
]...
...Among these proposals, the one by Gatterbauer et al. [
6
] is closest to our proposal...
Qun Ni
,
et al.
Credibility-enhanced curated database: Improving the value of curated ...
...9 is provably equal to the provably unique stable model for D under the default rule [
22
]:...
...We prove the following theorem in the full version of this paper [
22
]:...
Wolfgang Gatterbauer
,
et al.
Believe It or Not: Adding Belief Annotations to Databases
References
(40)
Update Semantics for Incomplete Databases
(
Citations: 53
)
Serge Abiteboul
,
Gösta Grahne
Conference:
Very Large Data Bases - VLDB
, pp. 1-12, 1985
From complete to incomplete information and back
(
Citations: 38
)
Lyublena Antova
,
Christoph Koch
,
Dan Olteanu
Conference:
International Conference on Management of Data - SIGMOD
, pp. 713-724, 2007
Consistent query answers in inconsistent databases
(
Citations: 304
)
Marcelo Arenas
,
Leopoldo E. Bertossi
,
Jan Chomicki
Conference:
Symposium on Principles of Database Systems - PODS
, pp. 68-79, 1999
ULDBs: Databases with Uncertainty and Lineage
(
Citations: 214
)
Omar Benjelloun
,
Anish Das Sarma
,
Alon Y. Halevy
,
Jennifer Widom
Conference:
Very Large Data Bases - VLDB
, pp. 953-964, 2006
Data Management for Peer-to-Peer Computing : A Vision
(
Citations: 268
)
Philip A. Bernstein
,
Fausto Giunchiglia
,
Anastasios Kementsietsidis
,
John Mylopoulos
,
Luciano Serafini
,
Ilya Zaihrayeu
Conference:
International Workshop on the Web and Databases - WebDB
, pp. 89-94, 2002
Sort by:
Citations
(5)
Is provenance logical?
James Cheney
Published in 2011.
Data conflict resolution using trust mappings
(
Citations: 1
)
Wolfgang Gatterbauer
,
Dan Suciu
Conference:
International Conference on Management of Data - SIGMOD
, vol. abs/1012.3, pp. 219-230, 2010
Credibility-enhanced curated database: Improving the value of curated databases
Qun Ni
,
Elisa Bertino
Conference:
International Conference on Data Engineering - ICDE
, pp. 784-795, 2010
Believe It or Not: Adding Belief Annotations to Databases
(
Citations: 5
)
Wolfgang Gatterbauer
,
Magdalena Balazinska
,
Nodira Khoussainova
,
Dan Suciu
Journal:
Computing Research Repository - CORR
, vol. 2, no. 1, pp. 1-12, 2009
Provenance-based Belief
(
Citations: 3
)
Adriane Chapman
,
Barbara Blaustein
,
Chris Elsaesser