2 citations · 3 across the 5 of their papers we have counts for
5 papers
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…
Characterizing the Program Expressive Power of Existential Rule Languages
Heng Zhang
Existential rule languages are a family of ontology languages that have been widely used in ontology-mediated query answering (OMQA). However, for most of them, the expressive powe…
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…
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…
Knowledge Sharing in Coalitions
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
The aim of this paper is to investigate the interplay between knowledge shared by a group of agents and its coalition ability. We investigate this relation in the standard context…