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.
-
Def_Inference()
- Create a new inference rule whose IF and THEN parts will be set
later.
-
Def_Inference(SGML_Tag)
- Create a new inference rule given its SGML tag representation.
-
Def_Inference(String)
- Create a new inference rule given a description.
-
getDescription()
- Returns the description of the inference rule.
-
getInfIf()
- Returns the antecedents of the inference rule.
-
getInfThen()
- Returns the consequents of the inference rule.
-
getKey()
- Returns an identifier for the SHOE object.
-
printSGML(PrintStream)
- Writes the objects and its components to the given print
stream in SGML format.
-
readIfTags(HTML_Tokenizer)
- Extract the INF-IF tags from the HTML tokenizer and add them
to the rule.
-
readSubTags(HTML_Tokenizer)
- Reads and processes the tokens from an HTML_Tokenizer until
the appropriate closing tag is encountered.
-
readThenTags(HTML_Tokenizer)
- Extract the INF-THEN tags from the HTML tokenizer and add them
to the rule.
-
toString()
- Returns the string representation of the tag.
-
validate(SHOE_Obj, OntManager)
- Verifies and internalizes the inference rule by validating
each of its clauses.
Def_Inference
public Def_Inference()
- Create a new inference rule whose IF and THEN parts will be set
later.
Def_Inference
public Def_Inference(String description)
- Create a new inference rule given a description. The IF and THEN
parts will be set later.
Def_Inference
public Def_Inference(SGML_Tag sgmltag)
- Create a new inference rule given its SGML tag representation.
getKey
public String getKey()
- Returns an identifier for the SHOE object.
- Overrides:
- getKey in class SHOE_Obj
getInfIf
public Vector getInfIf()
- Returns the antecedents of the inference rule.
getInfThen
public Vector getInfThen()
- Returns the consequents of the inference rule.
getDescription
public String getDescription()
- Returns the description of the inference rule.
readIfTags
public Vector readIfTags(HTML_Tokenizer intokens)
- Extract the INF-IF tags from the HTML tokenizer and add them
to the rule.
readThenTags
public Vector readThenTags(HTML_Tokenizer intokens)
- Extract the INF-THEN tags from the HTML tokenizer and add them
to the rule.
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
validate
public Vector validate(SHOE_Obj parent,
OntManager ontman)
- Verifies and internalizes the inference rule by validating
each of its clauses.
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
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