2 citations · 3 across the 3 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2024
A Theory of Formalisms for Representing Knowledge
Heng Zhang, Guifei Jiang, Donghui Quan
There has been a longstanding dispute over which formalism is the best for representing knowledge in AI. The well-known "declarative vs. procedural controversy" is concerned with t…
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…