SemWeb : SemWeb Namespace
ReasoningEngine

To be added.

public abstract class ReasoningEngine


Remarks
To be added.
Members

See Also: Inherited members from object.

Protected Constructors
To be added.
Methods
Member Details
ReasoningEngine Constructor
protected ReasoningEngine ()

To be added.

Remarks
To be added.

IsAsserted
public virtual bool IsAsserted (Statement statement, Store source)

To be added.

Parameters
statement
To be added.
source
To be added.
Returns
To be added.
Remarks
To be added.

FindEntailments
public virtual void FindEntailments (Statement statement, Statement template, StatementSink result, Store source)

To be added.

Parameters
statement
To be added.
template
To be added.
result
To be added.
source
To be added.
Remarks
To be added.

Select
public virtual void Select (Statement statement, StatementSink result, Store source)

To be added.

Parameters
statement
To be added.
result
To be added.
source
To be added.
Remarks
To be added.

SelectFilter
public virtual void SelectFilter (ref Statement statement, Store source)

To be added.

Parameters
statement
To be added.
source
To be added.
Remarks
To be added.