Package com.articulate.sigma

Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.

See: Description

Interface Summary

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 Summary

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 Summary

Enum	Description
CCheckManager.CCheckStatus	ccheckQueue keeps track of the KBs that are currently being checked.

Package com.articulate.sigma Description

Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc. The core class is KB.java which handles data structures and operations on a knowledge base, including importing the individual KIF files which comprise a knowledge base. KBmanager is class which has a static variable that contains what should be the only instance of KBmanager. KBmanager may contain several KBs. KIF reads KIF files into a KB object. NLformatter handles generation of natural language paraphrases from logic. Vampire handles the interface to the Vampire theorem prover. The original version of this code is intended to be used with a set of jsp pages but later versions are planned that support both web/jsp interface and a stand- alone interface.

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 . Users of this code also consent, by use of this code, to credit Articulate Software and Teknowledge in any writings, briefings, publications, presentations, or other representations of any software which incorporates, builds on, or uses this code. Please cite the following article in any publication with references:

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.

See Also:

KB, KBmanager, KIF, Vampire