Search Results

Documents authored by Sattler, Uli

Document
Preface
DOI: 10.4230/TGDK.2.2.1
Resources for Graph Data and Knowledge

Authors: Aidan Hogan, Ian Horrocks, Andreas Hotho, Lalana Kagal, and Uli Sattler

Published in: TGDK, Volume 2, Issue 2 (2024): Special Issue on Resources for Graph Data and Knowledge. Transactions on Graph Data and Knowledge, Volume 2, Issue 2

Abstract
In this Special Issue of Transactions on Graph Data and Knowledge - entitled "Resources for Graph Data and Knowledge" - we present eight articles that describe key resources in the area. These resources cover a wide range of topics within the scope of the journal, including graph querying, graph learning, information extraction, and ontologies, addressing applications of knowledge graphs involving art, bibliographical metadata, research reproducibility, and transport networks.
Cite as

Aidan Hogan, Ian Horrocks, Andreas Hotho, Lalana Kagal, and Uli Sattler. Resources for Graph Data and Knowledge. In Special Issue on Resources for Graph Data and Knowledge. Transactions on Graph Data and Knowledge (TGDK), Volume 2, Issue 2, pp. 1:1-1:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{hogan_et_al:TGDK.2.2.1,
  author =	{Hogan, Aidan and Horrocks, Ian and Hotho, Andreas and Kagal, Lalana and Sattler, Uli},
  title =	{{Resources for Graph Data and Knowledge}},
  journal =	{Transactions on Graph Data and Knowledge},
  pages =	{1:1--1:2},
  ISSN =	{2942-7517},
  year =	{2024},
  volume =	{2},
  number =	{2},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.2.1},
  URN =		{urn:nbn:de:0030-drops-225851},
  doi =		{10.4230/TGDK.2.2.1},
  annote =	{Keywords: Graphs, Data, Knowledge}
}
Document
DOI: 10.4230/DagRep.11.8.1
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)

Authors: Joao Marques-Silva, Rafael Peñaloza, and Uli Sattler

Published in: Dagstuhl Reports, Volume 11, Issue 8 (2022)

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.
Cite as

Joao Marques-Silva, Rafael Peñaloza, and Uli Sattler. Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). In Dagstuhl Reports, Volume 11, Issue 8, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@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/entities/document/10.4230/DagRep.11.8.1},
  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}
}
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
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact