User profiles for Cem Okulmus

Cem Okulmus

Paderborn University
Verified email at uni-paderborn.de
Cited by 62

Expressive Power and Complexity Results for SIGNAL, an Industry-Scale Process Query Language

T Kampik, C Okulmus - International Conference on Business Process …, 2024 - Springer
With the increased adoption of process mining, there is also a need for practical solutions
that work at industry scales. In this context, process querying methods (PQMs) have emerged …

SHACL Validation under the Well-founded Semantics

C Okulmus, M Šimkus - Proceedings of the International …, 2024 - proceedings.kr.org
W3C has recently introduced SHACL as a new standard for writing integrity constraints on
graph-structured data (specifically, on RDF graphs). Unfortunately, the standard defines the …

Common Foundations for SHACL, ShEx, and PG-Schema

…, W Martens, F Mogavero, F Murlak, C Okulmus… - Proceedings of the …, 2025 - dl.acm.org
Graphs have emerged as a foundation for a variety of applications, including capturing factual
knowledge, semantic data integration, social networks, and informing machine learning …

Structure-guided query evaluation: Towards bridging the gap from theory to practice

G Gottlob, M Lanzinger, DM Longo, C Okulmus… - arXiv preprint arXiv …, 2023 - arxiv.org
Join queries involving many relations pose a severe challenge to today's query optimisation
techniques. To some extent, this is due to the fact that these techniques do not pay sufficient …

Fast and parallel decomposition of constraint satisfaction problems

G Gottlob, C Okulmus, R Pichler - Constraints, 2022 - Springer
Constraint Satisfaction Problems (CSP) are notoriously hard. Consequently, powerful
decomposition methods have been developed to overcome this complexity. However, this poses …

Soft and constrained hypertree width

M Lanzinger, C Okulmus, R Pichler, A Selzer… - Proceedings of the …, 2025 - dl.acm.org
Hypertree decompositions provide a way to evaluate Conjunctive Queries (CQs) in
polynomial time, where the exponent of this polynomial is determined by the width of the …

The hypertrac project: Recent progress and future research directions on hypergraph decompositions

G Gottlob, M Lanzinger, DM Longo, C Okulmus… - … on Integration of …, 2020 - Springer
Constraint Satisfaction Problems (CSPs) play a central role in many applications in Artificial
Intelligence and Operations Research. In general, solving CSPs is NP -complete. The …

Parallel Computation of Structural Decompositions

C Okulmus - 2022 - repositum.tuwien.at
Identifying tractable problems and providing polynomial time algorithms for them has long
been a key focus in the study of computational complexity. More recently, the focus has been …

Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen

C Okulmus - 2018 - repositum.tuwien.at
This thesis provides a uniform presentation of recent models for Quantifier Fuzzification
Mechanisms (QFMs). The idea of a QFM is at the core of a framework by Ingo Glöckner for …

Incremental updates of generalized hypertree decompositions

…, M Lanzinger, DM Longo, C Okulmus - ACM Journal of …, 2023 - dl.acm.org
Structural decomposition methods, such as generalized hypertree decompositions, have been
successfully used for solving constraint satisfaction problems (CSPs). As decompositions …