Zobrazeno 1 - 10
of 96
pro vyhledávání: '"Murlak, Filip"'
In this paper, we study a declarative framework for specifying transformations of property graphs. In order to express such transformations, we leverage queries formulated in the Graph Pattern Calculus (GPC), which is an abstraction of the common cor
Externí odkaz:
http://arxiv.org/abs/2406.13062
Publikováno v:
Symposium on Principles of Database Systems, Jun 2023, Seattle, United States
We investigate graph transformations, defined using Datalog-like rules based on acyclic conjunctive two-way regular path queries (acyclic C2RPQs), and we study two fundamental static analysis problems: type checking and equivalence of transformations
Externí odkaz:
http://arxiv.org/abs/2304.05070
Autor:
Angles, Renzo, Bonifati, Angela, Dumbrava, Stefania, Fletcher, George, Green, Alastair, Hidders, Jan, Li, Bei, Libkin, Leonid, Marsault, Victor, Martens, Wim, Murlak, Filip, Plantikow, Stefan, Savković, Ognjen, Schmidt, Michael, Sequeda, Juan, Staworko, Sławek, Tomaszuk, Dominik, Voigt, Hannes, Vrgoč, Domagoj, Wu, Mingxi, Živković, Dušan
Publikováno v:
Proc. ACM Manag. Data (2023)
Property graphs have reached a high level of maturity, witnessed by multiple robust graph database systems as well as the ongoing ISO standardization effort aiming at creating a new standard Graph Query Language (GQL). Yet, despite documented demand,
Externí odkaz:
http://arxiv.org/abs/2211.10962
Autor:
Francis, Nadime, Gheerbrant, Amélie, Guagliardo, Paolo, Libkin, Leonid, Marsault, Victor, Martens, Wim, Murlak, Filip, Peterfreund, Liat, Rogova, Alexandra, Vrgoč, Domagoj
The development of practical query languages for graph databases runs well ahead of the underlying theory. The ISO committee in charge of database query languages is currently developing a new standard called Graph Query Language (GQL) as well as an
Externí odkaz:
http://arxiv.org/abs/2210.16580
We investigate the problem of finite entailment of ontology-mediated queries. We consider the expressive query language, unions of conjunctive regular path queries (UCRPQs), extending the well-known class of union of conjunctive queries, with regular
Externí odkaz:
http://arxiv.org/abs/2204.14261
Autor:
Deutsch, Alin, Francis, Nadime, Green, Alastair, Hare, Keith, Li, Bei, Libkin, Leonid, Lindaaker, Tobias, Marsault, Victor, Martens, Wim, Michels, Jan, Murlak, Filip, Plantikow, Stefan, Selmer, Petra, Voigt, Hannes, van Rest, Oskar, Vrgoč, Domagoj, Wu, Mingxi, Zemke, Fred
As graph databases become widespread, JTC1 -- the committee in joint charge of information technology standards for the International Organization for Standardization (ISO), and International Electrotechnical Commission (IEC) -- has approved a projec
Externí odkaz:
http://arxiv.org/abs/2112.06217
Autor:
Bonifati, Angela, Dumbrava, Stefania, Fletcher, George, Hidders, Jan, Hofer, Matthias, Martens, Wim, Murlak, Filip, Shinavier, Joshua, Staworko, Sławek, Tomaszuk, Dominik
Threshold queries are an important class of queries that only require computing or counting answers up to a specified threshold value. To the best of our knowledge, threshold queries have been largely disregarded in the research literature, which is
Externí odkaz:
http://arxiv.org/abs/2106.15703
Autor:
Gogacz, Thomas, Gutiérrez-Basulto, Víctor, Ibáñez-García, Yazmín, Jung, Jean Christoph, Murlak, Filip
We study the description logic SQ with number restrictions applicable to transitive roles, extended with either nominals or inverse roles. We show tight 2EXPTIME upper bounds for unrestricted entailment of regular path queries for both extensions and
Externí odkaz:
http://arxiv.org/abs/2010.11503
Autor:
Gogacz, Tomasz, Gutiérrez-Basulto, Víctor, Gutowski, Albert, Ibáñez-García, Yazmín, Murlak, Filip
We study the problem of finite entailment of ontology-mediated queries. Going beyond local queries, we allow transitive closure over roles. We focus on ontologies formulated in the description logics ALCOI and ALCOQ, extended with transitive closure.
Externí odkaz:
http://arxiv.org/abs/2006.16869
Autor:
Gogacz, Tomasz, Gutiérrez-Basulto, Víctor, Ibáñez-García, Yazmín A., Murlak, Filip, Ortiz, Magdalena, Šimkus, Mantas
We propose a novel framework to facilitate the on-demand design of data-centric systems by exploiting domain knowledge from an existing ontology. Its key ingredient is a process that we call focusing, which allows to obtain a schema for a (possibly k
Externí odkaz:
http://arxiv.org/abs/1904.00195