com.articulate.sigma

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.
Diagnostics	A class that finds problems in a knowledge base.
DocGen	A class to generate simplified HTML-based documentation for SUO-KIF terms.
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
Pair
PasswordService	A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.
PredVarInst
Prenexifier	This code is copyright Articulate Software (c) 2003.
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.
TaxoModel	A model for an expandable tree widget
TaxoNode	Class that holds information about each node in the tree.
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
VariableMapping

Enum Summary
Enum Description

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

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. EProver handles the interface to the E theorem prover.

This code is copyright Articulate Software (c) 2003-2017, Infosys 2018-. Some portions copyright Teknowledge (c) 2003, IPsoft 2015 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., and Benzmüller C. (2013). Sigma: An Integrated Development Environment for Logical Theories. AI Communications 26, pp79-97.

See Also:: KB, KBmanager, KIF, EProver