User profiles for Cem Okulmus
Cem OkulmusPaderborn University Verified email at uni-paderborn.de Cited by 62 |
Expressive Power and Complexity Results for SIGNAL, an Industry-Scale Process Query Language
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 …
that work at industry scales. In this context, process querying methods (PQMs) have emerged …
SHACL Validation under the Well-founded Semantics
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 …
graph-structured data (specifically, on RDF graphs). Unfortunately, the standard defines the …
Common Foundations for SHACL, ShEx, and PG-Schema
Graphs have emerged as a foundation for a variety of applications, including capturing factual
knowledge, semantic data integration, social networks, and informing machine learning …
knowledge, semantic data integration, social networks, and informing machine learning …
Structure-guided query evaluation: Towards bridging the gap from theory to practice
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 …
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
Constraint Satisfaction Problems (CSP) are notoriously hard. Consequently, powerful
decomposition methods have been developed to overcome this complexity. However, this poses …
decomposition methods have been developed to overcome this complexity. However, this poses …
Soft and constrained hypertree width
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 …
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
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 …
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 …
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 …
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
Structural decomposition methods, such as generalized hypertree decompositions, have been
successfully used for solving constraint satisfaction problems (CSPs). As decompositions …
successfully used for solving constraint satisfaction problems (CSPs). As decompositions …