Skip navigation links

SPINdle 2.2.5

Packages 
Package Description
com.app.lang
Provides basic classes and interfaces to the module in general.
com.app.utils
Provides utilities classes and interfaces that can be used to support the development of applications.
spindle
SPINdle Reasoner main package.
spindle.console
Provides the classes and interfaces related to the user console.
spindle.console.impl
Provides the implementation of commands supported in user console.
spindle.console.sys
Provides the implementation console related configuration and messages classes.
spindle.core
Provides implementations of various utilities classes.
spindle.core.dom
Provides classes used to represent the document object model (DOM) of a defeasible theory.
spindle.core.dom.impl
Provides the implementation of application constants defined in SPINdle.
spindle.core.tools.evaluator  
spindle.engine
Provides reasoning support according to the types of defeasible theories (such as Standard Defeasible Logic, Modal Defeasible) and intuition required (e.g., ambiguity blocking, ambiguity propagation, well-founded semantics and their combinations) through different reasoning engines.
spindle.engine.mdl
Provides theory normalizer and reasoning engine classes to support Modal Defeasible Reasoning (MDL).
spindle.engine.sdl
Provides theory normalizer and reasoning engine classes to support Standard/Basic Defeasible Reasoning (SDL).
spindle.engine.tdl3
(Under development) Provides theory normalizer and reasoning engine classes to support Temporal Defeasible Reasoning (TDL).
spindle.engine.tdl3.impl
(Under development) Provides implementation of TDL reasoning related classes.
spindle.io
Provides the classes for system input and output through data streams, serialization and the file system.
spindle.io.lang.dfl
Provides implementation classes for parsing defeasible theories and conclusions represented using SPINdle DFL language.
spindle.io.lang.xml
Provides implementation classes for parsing defeasible theories and conclusions represented using XML.
spindle.lang
Provides basic classes and interfaces/constants definitions to SPINdle in general.
spindle.lang.impl
Provides implementations of some interfaces.
spindle.reasoner
Base classes for SPINdle reasoner.
spindle.reasoner.impl
Base class implementation for SPINdle reasoner.
spindle.sys
Provides system-related base classes and interfaces/constants definitions to SPINdle.
spindle.tools
Provides the utilities classes for manipulating/analysing a defeasible theory.
spindle.tools.analyser
Provides the classes for theory analysis.
spindle.tools.analyser.dom
Provides the classes used to represent the document object model (DOM) used in theory analyser.
spindle.tools.analyser.impl
Provides implementation of theory analyser classes.
spindle.tools.evaluator
(Under development) Theory grounding package.
spindle.tools.explanation
(Under development) Provides classes for logging information during the inference process.
Skip navigation links