70 citations · 71 across the 3 of their papers we have counts for
3 papers
Decidability of Equivalence of Aggregate Count-Distinct Queries
Babak Bagheri Hariri, Val Tannen
We address the problem of equivalence of count-distinct aggregate queries, prove that the problem is decidable, and can be decided in the third level of Polynomial hierarchy. We in…
Description Logic Knowledge and Action Bases
Babak Bagheri Hariri, Diego Calvanese, Marco Montali +3
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a…
Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali +2
Artifact-Centric systems have emerged in the last years as a suitable framework to model business-relevant entities, by combining their static and dynamic aspects. In particular, t…