Umeå University's logo

umu.sePublications
Change search
Refine search result
1 - 4 of 4
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Calvanese, Diego
    et al.
    Umeå University, Faculty of Science and Technology, Department of Computing Science. Free University of Bozen-Bolzano, Italy.
    Okulmus, Cem
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Ortiz, Magdalena
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Šimkus, Mantas
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    On the way to temporal OBDA systems2023In: Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), CEUR-WS , 2023Conference paper (Refereed)
    Abstract [en]

    Extending the OBDA approach - where multiple data sources are exposed to users via a unified conceptual schema based on description logics - to also cover temporal reasoning has been a long standing goal, with many proposals over the last decades. To the best of our knowledge, these have yet to yield results in the form of systems or prototypes. As part of our ongoing work towards practical applicability, we identify here a number of key problems, which we believe have not been addressed suitably by previous works. Among these is the ability to deal with heterogeneous representations of time, the ability to deal with temporal inconsistencies, either due to missing value samples or conflicting values for a given time point and finally we also seek a suitable query language, where we in particular want compositionality - the ability to use the output of queries to form new temporal views on the data. We present here our initial ideas on how to meet these challenges.

    Download full text (pdf)
    fulltext
  • 2.
    Dragovic, Nikola
    et al.
    TU Wien, Austria.
    Okulmus, Cem
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Ortiz, Magdalena
    Umeå University, Faculty of Science and Technology, Department of Computing Science. TU Wien, Austria.
    Rewriting ontology-mediated navigational queries into cypher2023In: Proceedings of the 36th international workshop on Description Logics (DL 2023) / [ed] Oliver Kutz; Carsten Lutz; Ana Ozaki, CEUR-WS , 2023Conference paper (Refereed)
    Abstract [en]

    The ontology-based data access (OBDA) paradigm has successfully grown over the last decade as a powerful means to access data from possibly diverse and incomplete sources, using a domain ontology as a mediator. The ability to query generic graph-structured data is often highlighted as an advantage of OBDA, but in practice, existing solutions do not allow to access data in popular graph database management systems (DBMS) (e.g., Neo4j) that adopt the so-called 'property graph' data model and support dedicated query languages such as Cypher. Towards overcoming this major limitation, we propose a technique for ontology-mediated querying (OMQ) of property graphs. We tailor a suitable query language that supports path navigation in a form that can be naturally expressed in Cypher and other important graph query languages. It keeps the data complexity of query evaluation tractable even under trail semantics and is sufficient for our motivating use case in the autonomous driving domain. We address the semantic gap between the traditional path semantics adopted by most works on graph databases, and the trail semantics used in Cypher, and identify cases where both semantics coincide. To our knowledge, OMQs with trail semantics had not been addressed before. We develop a rewriting algorithm for queries mediated by DL-Lite ontologies that enables query answering using plain Cypher. The experimental evaluation of our proof-of-concept prototype on a sample set of use case queries reveals that the approach is promising, and can be a stepping stone to making OBDA applicable to data stored in graph DBMS.

    Download full text (pdf)
    fulltext
  • 3.
    Gottlob, Georg
    et al.
    University of Oxford, United Kingdom.
    Lanzinger, Matthias
    University of Oxford, United Kingdom.
    Longo, Davide Mario
    TU Wien, Austria.
    Okulmus, Cem
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Pichler, Reinhard
    TU Wien, Austria.
    Selzer, Alexander
    TU Wien, Austria.
    Reaching back to move forward: using old ideas to achieve a new level of query optimization2023In: Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), CEUR-WS , 2023, article id 6Conference paper (Refereed)
    Abstract [en]

    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 attention to structural properties of the query. In stark contrast, the Database Theory community has intensively studied structural properties of queries (such as acyclicity and various notions of width) and proposed efficient query evaluation techniques through variants of Yannakakis' algorithm for many years. However, although most queries in practice actually are acyclic or have low width, structure-guided query evaluation techniques based on Yannakakis' algorithm have not found their way into mainstream database technology yet.

    The goal of this work is to address this gap between theory and practice. We want to analyse the potential of considering the query structure for speeding up modern DBMSs in cases that have been traditionally challenging. To this end, we propose a rewriting of SQL queries into a sequence of SQL statements that force the DBMS to follow a Yannakakis-style query execution. Through first empirical results we show that structure-guided query evaluation can indeed make the evaluation of many difficult join queries significantly faster.

    Download full text (pdf)
    fulltext
  • 4.
    Gottlob, Georg
    et al.
    Dipartimento di Matematica e Informatica, University of Calabria, Via P. Bucci-Edificio 30B, Arcavacata di Rende, Italy.
    Lanzinger, Matthias
    Department of Computer Science, University of Oxford, 7 Parks Road, Oxford, United Kingdom.
    Okulmus, Cem
    Umeå University, Faculty of Science and Technology, Department of Computing Science.
    Pichler, Reinhard
    Institute of Logic and Computation, TU Wien Favoritenstraße 9-11, 1040 Wien, Austria.
    Fast parallel hypertree decompositions in logarithmic recursion depth2024In: ACM Transactions on Database Systems, ISSN 0362-5915, E-ISSN 1557-4644, Vol. 49, no 1, article id 1Article in journal (Refereed)
    Abstract [en]

    Various classic reasoning problems with natural hypergraph representations are known to be tractable if a hypertree decomposition (HD) of low width exists. The resulting algorithms are attractive for practical use in fields like databases and constraint satisfaction. However, algorithmic use of HDs relies on the difficult task of first computing a decomposition of the hypergraph underlying a given problem instance, which is then used to guide the algorithm for this particular instance. The performance of purely sequential methods for computing HDs is inherently limited, yet the problem is, theoretically, amenable to parallelisation. In this article, we propose the first algorithm for computing hypertree decompositions that is well suited for parallelisation. The newly proposed algorithm log-k-decomp requires only a logarithmic number of recursion levels and additionally allows for highly parallelised pruning of the search space by restriction to so-called balanced separators. We provide a detailed experimental evaluation over the HyperBench benchmark and demonstrate that log-k-decomp outperforms the current state of the art significantly.

    Download full text (pdf)
    fulltext
1 - 4 of 4
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf