|
Class Summary |
| DefiniteClause |
Title: OO jDREW |
| POSLParser |
A Class to parse input in the POSL format. |
| RDFSParser |
This class implements a parser for type sorts definitions in RDFS syntax;
This allows users to define new types than can be used by the reasoning
engine. |
| RuleMLParser |
A class for parsing RuleML. |
| SymbolTable |
This class is responsible for managing the integer codes that are used by
the engine datastructers to represent roles and symbols. |
| Term |
An object that represents a logic term (Ind, Var, Cterm, Plex, Atom). |
| Types |
This class represents the types that are defined within OO jDREW's built-in
term typing system. |