2026-08-18T12:30:33Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4794 2024-03-06T10:26:15Z ddc:004 open_access

Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331) Benedikt, Michael Lutz, Carsten Ten Cate, Balder Integrity constraints Open-World Query Answering Ontology-Based Data Access Knowledge Representation Automated Reasoning Decidable Fragments of 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Michael Benedikt and Carsten Lutz and Balder Ten Cate 2014 Is Part Of Dagstuhl Reports, Volume 4, Issue 8 (2015) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.4.8.1 urn:nbn:de:0030-drops-47941 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.1 eng https://creativecommons.org/licenses/by/3.0/legalcode