See: Description
Interface | Description |
---|---|
DisplayFilter |
This interface mandates the method isLegalForDisplay, which
determines whether or the display of a givne SUO-KIF term will be
allowed the calling context.
|
DocGen.DisplayFilter |
Class | Description |
---|---|
AVPair | |
Base64 | |
Base64.InputStream |
A
Base64.InputStream will read data from another
java.io.InputStream, given in the constructor,
and encode/decode to/from Base64 notation on the fly. |
Base64.OutputStream |
A
Base64.OutputStream will write data to another
java.io.OutputStream, given in the constructor,
and encode/decode to/from Base64 notation on the fly. |
BasicXMLelement |
A class designed to mirror the information in a basic XML tag.
|
BasicXMLparser |
Parses simple XML into a hierarchy of BasicXMLelement (s).
|
CCheck | |
CCheckManager |
This class manages the threads that run consistency checks for the different
KBs in the system.
|
CELT |
Class for invoking CELT.
|
CELTTestSuite |
A framework for testing CELT.
|
Clausifier |
The code in the section below implements an algorithm for
translating SUO-KIF expressions to clausal form.
|
ClientHttpRequest |
Title: Client HTTP Request class
|
DB |
A class to interface with databases and database-like formats,
such as spreadsheets.
|
DependencyConverter | |
Diagnostics |
A class that finds problems in a knowledge base.
|
DocGen |
A class to generate simplified HTML-based documentation for SUO-KIF terms.
|
Document | |
Edit |
Class for invoking a client side text editor.
|
EditGUI |
A class that generates a GUI for elements of the ontology.
|
Editor | |
EProver | |
FactoryUtil |
This class defines static accessors and factory methods for Sigma
facilities that require extensive initialization, or depend on
reflection, or must be created in a special context, or for which
creation through invocation of a simple constructor is not
adequate.
|
Formula |
Handle operations on an individual formula.
|
FormulaPreprocessor | |
FormulaUtil |
Created by sserban on 2/17/15.
|
FormulaUtil.FormulaMatchMemoMapKey | |
Graph |
Handle operations for creating a graphical representation of partial
ordering relations.
|
Hotel | |
HTMLformatter |
A utility class that creates HTML-formatting Strings for various purposes.
|
InferenceEngine | |
InferenceEngine.EngineFactory | |
InferenceTestSuite |
A framework for doing a series of assertions and queries, and for comparing
the actual result of queries against an expected result.
|
KB |
Contains methods for reading, writing knowledge bases and their
configurations.
|
KBcache | |
KBmanager |
This is a class that manages a group of knowledge bases.
|
KButilities |
Contains utility methods for KBs
|
KIF |
A class designed to read a file in SUO-KIF format into memory.
|
KIFplus |
A class designed to adhere strictly to the SUO-KIF definition at
http://suo.ieee.org/suo-kif.html
|
Login | |
Mapping |
This code is copyright Articulate Software (c) 2004.
|
NER | |
OMWordnet | |
OWLtranslator |
Read and write OWL format from Sigma data structures.
|
PasswordService |
A class that encrypts a string and checks it against another stored
encrypted string, in order to validate a user login.
|
PredVarInst | |
Prolog | |
ProofProcessor |
Process results from the inference engine.
|
ProofStep |
A trivial structure to hold the elements of a proof step.
|
RowVars | |
SetUtil |
A utility class that defines static methods for working with Sets
and other Collections.
|
SigmaCheck |
This class, when scheduled as a "cron" job, can serve as a "heartbeat"
function, checking whether the sigma server is functioning properly.
|
SimpleDOMParser |
SimpleDOMParser is a highly-simplified XML DOM
parser. |
SimpleElement |
SimpleElement is the only node type for
simplified DOM model. |
SInE | |
SInE.SInEFactory | |
StreamTokenizer_s |
A modified StreamTokenizer that handles multi-line
quoted strings.
|
StringUtil |
A utility class that defines static methods for common string
manipulation operations.
|
SUMOformulaToTPTPformula | |
SUMOKBtoTPTPKB | |
TaxoModel |
A model for an expandable tree widget
|
TaxoNode |
Class that holds information about each node in the tree.
|
THF |
This class handles the conversion of problems (= axioms + queries)
from their KIF representation into a THF representation; THF is the
TPTP standard for classical higher-order logic, i.e.
|
TPTP2SUMO | |
TPTP3ProofProcessor | |
TPTPutil | |
User |
A class that encrypts a string and checks it against another stored
encrypted string, in order to validate a user login.
|
Vampire |
Class for invoking the KIF version of Vampire from Java.
|
Vampire.VampireFactory | |
WNdiagnostics |
A class that finds problems in WordNet to KB mappings.
|
WordNet |
This program finds and displays SUMO terms that are related in meaning to the English
expressions that are entered as input.
|
WordNetUtilities | |
WSD |
Enum | Description |
---|---|
CCheckManager.CCheckStatus |
ccheckQueue keeps track of the KBs that are currently being checked.
|
This code is copyright Articulate Software (c) 2003. Some portions
copyright Teknowledge (c) 2003 and reused under the terms of the GNU license.
This software is released under the GNU Public License
Pease, A., (2003). The Sigma Ontology Development Environment,
in Working Notes of the IJCAI-2003 Workshop on Ontology and Distributed Systems,
August 9, Acapulco, Mexico.