net.ssehub.easy.reasoning.core

Packages

Package	Description
net.ssehub.easy.reasoning.core	Integration layer for reasoners.
net.ssehub.easy.reasoning.core.frontend	Frontend to access reasoner information as well as to execute reasoning tasks.
net.ssehub.easy.reasoning.core.impl	Hidden implementation stuff.
net.ssehub.easy.reasoning.core.performance	Basic performance measuring for the reasoner.
net.ssehub.easy.reasoning.core.reasoner	All classes and interfaces needed to implement a reasoner. How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Add org.eclipse.equinox.ds to the required plugins and org.osgi.service.component to the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.