A grounder for SPINdle defeasible logic reasoner
作者：
Highlights：
• Proposed a grounder for defeasible logic bottom-up programs focused on stratified theories.
• Introduced an algorithm for theory stratification.
• The grounder exploits classical backtracking algorithm for instantiation.
• Proposed a query optimization technique to achieve an efficient performance in the grounder.
• The grounder evaluated by large-scale datasets based on the web data model and behaved efficiently.
摘要
•Proposed a grounder for defeasible logic bottom-up programs focused on stratified theories.•Introduced an algorithm for theory stratification.•The grounder exploits classical backtracking algorithm for instantiation.•Proposed a query optimization technique to achieve an efficient performance in the grounder.•The grounder evaluated by large-scale datasets based on the web data model and behaved efficiently.
论文关键词：Defeasible logic,Grounder,Reasoning engine,Semantic web
论文评审过程：Available online 1 May 2015, Version of Record 2 June 2015.
论文官网地址：https://doi.org/10.1016/j.eswa.2015.04.065
