The Making of SPINdle

We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic theories (including theories with over 1 million rules). The implementation covers both the standard and modal extensions to defeasible logics. It can be used as a standalone theory prover and can be embedded into any applications as a defeasible logic rule engine. It allows users or agents to issues queries, on a given knowledge base or a theory generated on the fly by other applications, and automatically produces the conclusions of its consequences. The theory can also be represented using XML. Key words: Defeasible Logic, Modal Defeasible Logic, Reasoning

• Type: Conference
• Year: 2009
• Where: RULEML
• Authors: Ho-Pun Lam, Guido Governatori
• Keywords: Defeasible Logic, Defeasible Logic Reasoner, Defeasible Logic Theories, Internet Technology, RULEML 2009