3 citations · 4 across the 4 of their papers we have counts for
4 papers
Partially Finite Model Reasoning in Description Logics Extended Version
Tomasz Gogacz, Filip Murlak, Marcin Przybyłko +2
Aiming to harmonise finite and infinite model reasoning, we initiate the study of partially finite models, where the reasoning task comes with a formula that specifies a part of th…
GQL and SQL/PGQ: Theoretical Models and Expressive Power
Amélie Gheerbrant, Leonid Libkin, Liat Peterfreund +1
SQL/PGQ and GQL are very recent international standards for querying property graphs: SQL/PGQ specifies how to query relational representations of property graphs in SQL, while GQL…
Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova +1
To answer database queries over incomplete data the gold standard is finding certain answers: those that are true regardless of how incomplete data is interpreted. Such answers can…
GPC: A Pattern Calculus for Property Graphs
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo +7
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 deve…