|
Class Summary |
| DefiniteClause |
Title: OO jDREW |
| POSLParser |
Title: OO jDREW |
| QueryTypes |
This Class will implement all the methods required to Query the type information(Taxonomy)
It makes use of the methods defined in the Types class and is used as an API for
querying types. |
| 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. |
| SubsumesParser |
This Class will implement the Subsumes Parser. |
| 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). |
| Tree |
Title: OO jDREW |
| TreeNode |
Title: OO jDREW |
| Types |
This class represents the types that are defined within OO jDREW's built-in
term typing system. |