Documentation for this section has not yet been entered.
Documentation for this section has not yet been entered.
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2
See Also: Inherited members from object.
⊟ Public Constructors
Documentation for this section has not yet been entered. ⊟ Public Fields
readonlyRule Rule . Documentation for this section has not yet been entered. readonlySubstitutions IDictionary . Documentation for this section has not yet been entered.
⊟ ProofStep Constructor
Documentation for this section has not yet been entered.
public ProofStep (Rule rule, IDictionary substitutions)⊟ Parameters
- rule
- Documentation for this section has not yet been entered.
- substitutions
- Documentation for this section has not yet been entered.
⊟ Remarks
Documentation for this section has not yet been entered.⊟ Requirements
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2
⊟ Rule Field
Documentation for this section has not yet been entered.
public readonly Rule Rule⊟ Remarks
Documentation for this section has not yet been entered.⊟ Requirements
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2
⊟ Substitutions Field
Documentation for this section has not yet been entered.
public readonly IDictionary Substitutions⊟ Remarks
Documentation for this section has not yet been entered.⊟ Requirements
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2