org.topbraid.inference.dig
Class DIGInferenceEngine

java.lang.Object
  org.topbraid.inference.dig.DIGInferenceEngine

All Implemented Interfaces:

IInferenceEngine

public class DIGInferenceEngine
extends java.lang.Object
implements IInferenceEngine

Field Summary

static java.lang.String

DEFAULT_URL

Constructor Summary

DIGInferenceEngine()

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEFAULT_URL

public static final java.lang.String DEFAULT_URL

See Also:

Constant Field Values

Constructor Detail

DIGInferenceEngine

public DIGInferenceEngine()

Method Detail

getDescription

public java.lang.String getDescription()

Description copied from interface: IInferenceEngine

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

Specified by:

getDescription in interface IInferenceEngine

Returns:

a text (may include HTML) or null

getConfigClassURI

public java.lang.String getConfigClassURI()

Description copied from interface: IInferenceEngine

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

Specified by:

getConfigClassURI in interface IInferenceEngine

Returns:

a non-null URI

getConfigPropertyURI

public java.lang.String getConfigPropertyURI()

Description copied from interface: IInferenceEngine

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

Specified by:

getConfigPropertyURI in interface IInferenceEngine

Returns:

a URI or null

getInferenceModel

public 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

Description copied from interface: IInferenceEngine

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.

Specified by:

getInferenceModel in interface IInferenceEngine

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

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

Description copied from interface: IInferenceEngine

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

Specified by:

getLabel in interface IInferenceEngine

Parameters:

config - the configuration

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

Returns:

a label