Sebastian Rudolph | DeepAI

AI Chat

Featured Co-authors

Heiko Paulheim
47 publications
Michael Cochez
33 publications
Manuel Bodirsky
31 publications
Maria-Esther Vidal
30 publications
Pascal Hitzler
27 publications
Valentina Presutti
25 publications
Aldo Gangemi
21 publications
Ivan Heibi
17 publications
Bartosz Bednarczyk
16 publications
Ling Cai
15 publications
Markus Krötzsch
15 publications

∙ 07/17/2023

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

This paper establishes alternative characterizations of very expressive ...

0 Tim S. Lyon, et al. ∙

∙ 05/03/2023

Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures

We propose ωMSOBAPA, an expressive logic for describing countable struct...

0 Luisa Herrmann, et al. ∙

∙ 04/27/2023

Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+

Standpoint EL is a multi-modal extension of the popular description logi...

0 Lucía Gómez Álvarez, et al. ∙

∙ 04/13/2023

Decidability of Querying First-Order Theories via Countermodels of Finite Width

We propose a generic framework for establishing the decidability of a wi...

0 Thomas Feller, et al. ∙

∙ 02/25/2023

Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL

The tractability of the lightweight description logic EL has allowed for...

0 Lucía Gómez Álvarez, et al. ∙

∙ 09/06/2022

Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying

In our pursuit of generic criteria for decidable ontology-based querying...

0 Thomas Feller, et al. ∙

∙ 06/14/2022

How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic

The importance of taking individual, potentially conflicting perspective...

0 Lucía Gómez Álvarez, et al. ∙

∙ 12/27/2021

Semantic Characterizations of General Belief Base Revision

The AGM postulates by Alchourrón, Gärdenfors, and Makinson continue to r...

0 Faiq Miftakhul Falakh, et al. ∙

∙ 07/16/2021

Capturing Homomorphism-Closed Decidable Queries with Existential Rules

Existential rules are a very popular ontology-mediated query language fo...

0 Camille Bourgaux, et al. ∙

∙ 06/29/2021

The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard

In logic-based knowledge representation, query answering has essentially...

0 Bartosz Bednarczyk, et al. ∙

∙ 04/29/2021

A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics

The AGM postulates by Alchourrón, Gärdenfors, and Makinson continue to r...

0 Faiq Miftakhul Falakh, et al. ∙

∙ 04/24/2021

On Logics and Homomorphism Closure

Predicate logic is the premier choice for specifying classes of relation...

0 Manuel Bodirsky, et al. ∙

∙ 01/21/2021

Finite Model Theory of the Triguarded Fragment and Related Logics

The Triguarded Fragment (TGF) is among the most expressive decidable fra...

0 Emanuel Kieronski, et al. ∙

∙ 12/22/2020

Knowledge Graphs Evolution and Preservation – A Technical Report from ISWS 2019

One of the grand challenges discussed during the Dagstuhl Seminar "Knowl...

2 Nacira Abbas, et al. ∙

∙ 12/21/2020

A Journey to the Frontiers of Query Rewritability

This paper is about (first order) query rewritability in the context of ...

0 Piotr Ostropolski-Nalewaja, et al. ∙

∙ 10/12/2020

Datalog-Expressibility for Monadic and Guarded Second-Order Logic

We characterise the sentences in Monadic Second-order Logic (MSO) that a...

0 Manuel Bodirsky, et al. ∙

∙ 02/14/2020

Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints

We introduce and investigate the expressive description logic (DL) ALCSC...

0 Franz Baader, et al. ∙

∙ 06/21/2019

Neural Machine Translating from Natural Language to SPARQL

SPARQL is a highly powerful query language for an ever-growing number of...

0 Xiaoyu Yin, et al. ∙

∙ 03/26/2019

Linked Open Data Validity -- A Technical Report from ISWS 2018

Linked Open Data (LOD) is the publicly available RDF data in the Web. Ea...

0 Tayeb Abderrahmani Ghor, et al. ∙

∙ 10/13/2017

On the Ontological Modeling of Trees

Trees -- i.e., the type of data structure known under this name -- are c...

0 David Carral, et al. ∙

∙ 11/03/2015

Bound Your Models! How to Make OWL an ASP Modeling Language

To exploit the Web Ontology Language OWL as an answer set programming (A...

0 Sarah Alice Gaggl, et al. ∙

∙ 12/15/2014

Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses

The need for an ontological layer on top of data, associated with advanc...

0 Sebastian Rudolph, et al. ∙

∙ 01/16/2014

Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!

Description Logics are knowledge representation formalisms that provide,...

0 Sebastian Rudolph, et al. ∙

∙ 12/12/2012

Modeling in OWL 2 without Restrictions

The Semantic Web ontology language OWL 2 DL comes with a variety of lang...

0 Michael Schneider, et al. ∙

∙ 02/04/2012

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

We propose a novel, type-elimination-based method for reasoning in the d...

0 Sebastian Rudolph, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world