57 citations · 57 across the 2 of their papers we have counts for
3 papers
cs.AI2018
Knowledge Compilation in Multi-Agent Epistemic Logics
Liangda Fang, Kewen Wang, Zhe Wang +1
Epistemic logics are a primary formalism for multi-agent systems but major reasoning tasks in such epistemic logics are intractable, which impedes applications of multi-agent epist…
cs.DB2014★ 57 cited
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch +4
Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a prominent problem in knowledge representation and databases. This problem can be solved…
cs.AI2013
A Distance-based Paraconsistent Semantics for DL-Lite
Xiaowang Zhang, Kewen Wang, Zhe Wang +2
DL-Lite is an important family of description logics. Recently, there is an increasing interest in handling inconsistency in DL-Lite as the constraint imposed by a TBox can be easi…