All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class SHOE.Def_Inference

java.lang.Object
   |
   +----SHOE.SHOE_Obj
           |
           +----SHOE.Def_Inference

public class Def_Inference
extends SHOE_Obj
A class the represents a SHOE inference rule. The rule consists of an IF part and a THEN part, each of which may have multiple clauses.


Constructor Index

 o Def_Inference()
Create a new inference rule whose IF and THEN parts will be set later.
 o Def_Inference(SGML_Tag)
Create a new inference rule given its SGML tag representation.
 o Def_Inference(String)
Create a new inference rule given a description.

Method Index

 o getDescription()
Returns the description of the inference rule.
 o getInfIf()
Returns the antecedents of the inference rule.
 o getInfThen()
Returns the consequents of the inference rule.
 o getKey()
Returns an identifier for the SHOE object.
 o printSGML(PrintStream)
Writes the objects and its components to the given print stream in SGML format.
 o readIfTags(HTML_Tokenizer)
Extract the INF-IF tags from the HTML tokenizer and add them to the rule.
 o readSubTags(HTML_Tokenizer)
Reads and processes the tokens from an HTML_Tokenizer until the appropriate closing tag is encountered.
 o readThenTags(HTML_Tokenizer)
Extract the INF-THEN tags from the HTML tokenizer and add them to the rule.
 o toString()
Returns the string representation of the tag.
 o validate(SHOE_Obj, OntManager)
Verifies and internalizes the inference rule by validating each of its clauses.

Constructors

 o Def_Inference
 public Def_Inference()
Create a new inference rule whose IF and THEN parts will be set later.

 o Def_Inference
 public Def_Inference(String description)
Create a new inference rule given a description. The IF and THEN parts will be set later.

 o Def_Inference
 public Def_Inference(SGML_Tag sgmltag)
Create a new inference rule given its SGML tag representation.

Methods

 o getKey
 public String getKey()
Returns an identifier for the SHOE object.

Overrides:
getKey in class SHOE_Obj
 o getInfIf
 public Vector getInfIf()
Returns the antecedents of the inference rule.

 o getInfThen
 public Vector getInfThen()
Returns the consequents of the inference rule.

 o getDescription
 public String getDescription()
Returns the description of the inference rule.

 o readIfTags
 public Vector readIfTags(HTML_Tokenizer intokens)
Extract the INF-IF tags from the HTML tokenizer and add them to the rule.

 o readThenTags
 public Vector readThenTags(HTML_Tokenizer intokens)
Extract the INF-THEN tags from the HTML tokenizer and add them to the rule.

 o readSubTags
 public Vector readSubTags(HTML_Tokenizer intokens)
Reads and processes the tokens from an HTML_Tokenizer until the appropriate closing tag is encountered.

Overrides:
readSubTags in class SHOE_Obj
 o validate
 public Vector validate(SHOE_Obj parent,
                        OntManager ontman)
Verifies and internalizes the inference rule by validating each of its clauses.

 o printSGML
 public void printSGML(PrintStream out)
Writes the objects and its components to the given print stream in SGML format.

Overrides:
printSGML in class SHOE_Obj
 o toString
 public String toString()
Returns the string representation of the tag. Any contents or end tags are not included.

Overrides:
toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index