research
∙
07/17/2023
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
This paper establishes alternative characterizations of very expressive ...
share
research
∙
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...
research
∙
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...
research
∙
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...
research
∙
02/25/2023
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
The tractability of the lightweight description logic EL has allowed for...
research
∙
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...
research
∙
06/14/2022
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
The importance of taking individual, potentially conflicting perspective...
research
∙
12/27/2021
Semantic Characterizations of General Belief Base Revision
The AGM postulates by Alchourrón, Gärdenfors, and Makinson continue to r...
research
∙
07/16/2021
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Existential rules are a very popular ontology-mediated query language fo...
research
∙
06/29/2021
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard
In logic-based knowledge representation, query answering has essentially...
research
∙
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...
research
∙
04/24/2021
On Logics and Homomorphism Closure
Predicate logic is the premier choice for specifying classes of relation...
research
∙
01/21/2021
Finite Model Theory of the Triguarded Fragment and Related Logics
The Triguarded Fragment (TGF) is among the most expressive decidable fra...
research
∙
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...
research
∙
12/21/2020
A Journey to the Frontiers of Query Rewritability
This paper is about (first order) query rewritability in the context of ...
research
∙
10/12/2020
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
We characterise the sentences in Monadic Second-order Logic (MSO) that a...
research
∙
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...
research
∙
06/21/2019
Neural Machine Translating from Natural Language to SPARQL
SPARQL is a highly powerful query language for an ever-growing number of...
research
∙
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...
research
∙
10/13/2017
On the Ontological Modeling of Trees
Trees -- i.e., the type of data structure known under this name -- are c...
research
∙
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...
research
∙
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...
research
∙
01/16/2014
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Description Logics are knowledge representation formalisms that provide,...
research
∙
12/12/2012
Modeling in OWL 2 without Restrictions
The Semantic Web ontology language OWL 2 DL comes with a variety of lang...
research
∙
02/04/2012