| Class | Description |
|---|---|
| Arc | |
| Clause | |
| Clausifier | |
| CNF |
Conjunctive Normal Form
|
| CommonCNFUtil |
A set of static functions that heal dealing with CNF
findPath will find all paths between two literals in the CNF string
findOneCommonCNF will try to find the intersection CNF among a list of CNFs
getCommonCNF will try to find common CNF pair between sentences
|
| CommonCNFUtil.Pair<F,S> | |
| CommonCNFUtil.QAPair |
DTO class for json input and output
|
| EntityTypeParser | |
| Graph | |
| Interpreter | |
| Lexer | |
| LHS |
LHS ::= ClausePattern Match & delete atomic clause
+ClausePattern Match & preserve atomic clause
LHS, LHS Boolean conjunction
(LHS | LHS) Boolean disjunction
—LHS Boolean negation
{ProcedureCall} Procedural attachment
|
| Literal |
pred(arg1,arg2).
|
| Node | |
| Procedures | |
| QAOutputGenerator |
A class for testing the performance of sigma-based system
It will generate CNF and KIF for given sentences and sent them to inference
and can also save the output to json file.
|
| QAOutputGenerator.Record |
class to store output
|
| RewriteRuleUtil |
A class for intergration of RewriteRule check tools
To use:
run in bash and follow the instruction
|
| RHS | |
| Rule |
Rule ::= LHS ==> RHS.
|
| RuleSet | |
| SemRewriteRuleCheck |
A class for check Rewrite Rule subsume condition
Functions:
checkRuleSet will check the rule set subsume condition
isRuleSubsumedByRuleSet will check the rule subsume condition with the exsiting ruleset
|
| Enum | Description |
|---|---|
| EntityType | |
| LHS.LHSop | |
| Rule.RuleOp |
Copyright © 2015. All rights reserved.