DagRep.4.8.1.pdf
- Filesize: 0.77 MB
- 20 pages
Document
Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 4, Issue 8
Volume: Dagstuhl Reports, Volume 4
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2014-12-02
Cite As Get BibTex
Michael Benedikt, Carsten Lutz, and Balder Ten Cate. Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). In Dagstuhl Reports, Volume 4, Issue 8, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
https://doi.org/10.4230/DagRep.4.8.1
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14331 "Querying and Reasoning Under Expressive Constraints" which took place from August 10th to August 14th, 2014. The seminar aimed to bring together researchers in databases, knowledge representation, decidable fragments of first-order logic, and constraint satisfaction to identify and discuss common themes and technique as well as complementary ones, identify future research issues, and foster cooperation and cross-fertilization between the communities.
Subject Classification
Keywords
- Integrity constraints
- Open-World Query Answering
- Ontology-Based Data Access
- Knowledge Representation
- Automated Reasoning
- Decidable Fragments of
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads