2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.AI2020★ 2 cited
Model-theoretic Characterizations of Existential Rule Languages
Heng Zhang, Yan Zhang, Guifei Jiang
Existential rules, a.k.a. dependencies in databases, and Datalog+/- in knowledge representation and reasoning recently, are a family of important logical languages widely used in c…
cs.AI2019★ 1 cited
Towards Universal Languages for Tractable Ontology Mediated Query Answering
Heng Zhang, Yan Zhang, Jia-Huai You +2
An ontology language for ontology mediated query answering (OMQA-language) is universal for a family of OMQA-languages if it is the most expressive one among this family. In this p…