org.topbraid.inference
Interface IInferenceEngine

All Known Implementing Classes:

AbstractInfModelInferenceEngine, DIGInferenceEngine, JenaInferenceEngine, PelletInferenceEngine, RulesInferenceEngine, SPARQLInferenceEngine, SPARQLResourceConstructorInferenceEngine, SwiftOWLIMInferenceEngine

public interface IInferenceEngine

An engine that can infer new triples from existing (asserted) triples.

Author:

Holger Knublauch

Method Summary

java.lang.String	getConfigClassURI() Gets the URI of an RDF class that describes this type of engine.
java.lang.String	getConfigPropertyURI() Gets the URI of an RDF property that describes configurable details for an individual engine instance, e.g.
java.lang.String	getDescription() Gets a descriptive text that can appear in configuration dialogs to explain what this engine does.
com.hp.hpl.jena.rdf.model.InfModel	getInferenceModel(com.hp.hpl.jena.rdf.model.InfModel infModel, IInferenceEngineConfiguration config, int index, org.eclipse.core.runtime.IProgressMonitor monitor) Constructs a new InfModel from a given input InfModel.
java.lang.String	getLabel(IInferenceEngineConfiguration config, int index) Gets a human-readable label displaying an inference engine of this kind with given configuration arguments.

Method Detail

getConfigClassURI

java.lang.String getConfigClassURI()

Gets the URI of an RDF class that describes this type of engine.

Returns:

a non-null URI

getConfigPropertyURI

java.lang.String getConfigPropertyURI()

Gets the URI of an RDF property that describes configurable details for an individual engine instance, e.g. the URL of a DIG reasoner.

Returns:

a URI or null

getDescription

java.lang.String getDescription()

Gets a descriptive text that can appear in configuration dialogs to explain what this engine does.

Returns:

a text (may include HTML) or null

getInferenceModel

com.hp.hpl.jena.rdf.model.InfModel getInferenceModel(com.hp.hpl.jena.rdf.model.InfModel infModel,
                                                     IInferenceEngineConfiguration config,
                                                     int index,
                                                     org.eclipse.core.runtime.IProgressMonitor monitor)
                                                     throws java.lang.InterruptedException

Constructs a new InfModel from a given input InfModel. The input is either defined as the original (asserted) model plus perhaps inference Graph and system Graph, or the output of a previous inference engine in the chain.

Parameters:

infModel - the input model

config - configuration settings of the reasoners

index - the index of this engine in a chain of reasoners

monitor - a progress monitor to display status information

Returns:

a new InfModel (may be the same as infModel if no changes are needed)

Throws:

java.lang.InterruptedException

getLabel

java.lang.String getLabel(IInferenceEngineConfiguration config,
                          int index)

Gets a human-readable label displaying an inference engine of this kind with given configuration arguments.

Parameters:

config - the configuration

index - the index of this engine in a chain of reasoners

Returns:

a label