筛选条件
共查询到2条结果
排序方式
~
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation
期刊: THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2021; 21 (1)
The chase procedure for existential rules is an indispensable tool for several database applications, where its termination guarantees the decidabilit......
Well-founded operators for normal hybrid MKNF knowledge bases
期刊: THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017; 17 (5-6)
Hybrid MKNF knowledge bases have been considered one of the dominant approaches to combining open world ontology languages with closed world rule-base......