Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331)

Authors Michael Benedikt, Carsten Lutz, Balder Ten Cate and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.4.8.1.pdf
  • Filesize: 0.77 MB
  • 20 pages

Document Identifiers

Author Details

Michael Benedikt
Carsten Lutz
Balder Ten Cate
and all authors of the abstracts in this report

Cite AsGet 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.
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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail