License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.11.8.1
URN: urn:nbn:de:0030-drops-157661
URL: https://drops.dagstuhl.de/opus/volltexte/2022/15766/
Go back to Dagstuhl Reports


Marques-Silva, Joao ; Peñaloza, Rafael ; Sattler, Uli
Weitere Beteiligte (Hrsg. etc.): Joao Marques-Silva and Rafael Peñaloza and Uli Sattler

Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)

pdf-format:
dagrep_v011_i008_p001_21361.pdf (7 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 21361 "Extending the Synergies Between SAT and Description Logics". Propositional satisfiability (SAT) and description logics (DL) are two successful areas of computational logic where automated reasoning plays a fundamental role. While they share a common core (formalised on logic), the developments in both areas have diverged in their scopes, methods, and applications. The goal of this seminar was to reconnect the SAT and DL communities (understood in a broad sense) so that they can benefit from each other. The seminar thus focused on explaining the foundational principles, main results, and open problems of each area, and discussing potential avenues for collaborative progress.

BibTeX - Entry

@Article{marquessilva_et_al:DagRep.11.8.1,
  author =	{Marques-Silva, Joao and Pe\~{n}aloza, Rafael and Sattler, Uli},
  title =	{{Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)}},
  pages =	{1--10},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{11},
  number =	{8},
  editor =	{Marques-Silva, Joao and Pe\~{n}aloza, Rafael and Sattler, Uli},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2022/15766},
  URN =		{urn:nbn:de:0030-drops-157661},
  doi =		{10.4230/DagRep.11.8.1},
  annote =	{Keywords: description logics, propositional satisfiability, reasoning services, standard and non-standard inferences}
}

Keywords: description logics, propositional satisfiability, reasoning services, standard and non-standard inferences
Collection: DagRep, Volume 11, Issue 8
Issue Date: 2022
Date of publication: 18.02.2022


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI