Sebastian Rudolph
4 papers in the PaperMetrix corpus
Papers by this author
-
Bound Your Models! How to Make OWL an ASP Modeling Language
2015 · arXiv (Cornell University)
To exploit the Web Ontology Language OWL as an answer set programming (ASP) language, we introduce the notion of bounded model semantics, as an intuitive and computationally advantageous alternative to its classical semantics. We show …
-
The Triguarded Fragment of First-Order Logic
2018 · EPiC series in computing
Past research into decidable fragments of first-order logic (FO) has produced two very prominent fragments: the guarded fragment GF, and the two-variable fragment FO2. These fragments are of crucial importance because they provide significant insights …
-
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics
2021 · Journal of Artificial Intelligence Research
Abstract dialectical frameworks (ADFs) are a recently introduced powerful generalization of Dung’s popular abstract argumentation frameworks (AFs). Inspired by similar work for AFs, we introduce a decomposition scheme for ADFs, which proceeds along the ADF’s …
-
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
2022 · arXiv (Cornell University)
In our pursuit of generic criteria for decidable ontology-based querying, we introduce finite-cliquewidth sets (fcs) of existential rules, a model-theoretically defined class of rule sets, inspired by the cliquewidth measure from graph theory. By a …