1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2021
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
Fangfang Liu, Jia-huai You
Approximation fixpoint theory (AFT) provides an algebraic framework for the study of fixpoints of operators on bilattices and has found its applications in characterizing semantics…
cs.AI2017★ 1 cited
Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases
Jianmin Ji, Fangfang Liu, Jia-Huai You
Hybrid MKNF knowledge bases have been considered one of the dominant approaches to combining open world ontology languages with closed world rule-based languages. Currently, the on…