Package com.articulate.sigma
package com.articulate.sigma
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 invalid input: '<'http://www.gnu.org/copyleft/gpl.html>. 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.
-
ClassDescriptionA class designed to mirror the information in a basic XML tag.Parses simple XML into a hierarchy of BasicXMLelement (s).This class manages the threads that run consistency checks for the different KBs in the system.ccheckQueue keeps track of the KBs that are currently being checked.Class for invoking CELT.A framework for testing CELT.The code in the section below implements an algorithm for translating SUO-KIF expressions to clausal form.Title: Client HTTP Request classA simple command-line argument parser that handles options in any order and returns them as a map.A class to interface with databases and database-like formats, such as spreadsheets.A class that finds problems in a knowledge base.This interface mandates the method isLegalForDisplay, which determines whether or the display of a givne SUO-KIF term will be allowed the calling context.A class to generate simplified HTML-based documentation for SUO-KIF terms.Class for invoking a client side text editor.A class that generates a GUI for elements of the ontology.Unified Editor Servlet for both .kif and .tptp code/files.Represents a single diagnostic error or warning produced by KIF checking.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.Handle operations on an individual formula.Created by sserban on 2/17/15.Handle operations for creating a graphical representation of partial ordering relations.A utility class that creates HTML-formatting Strings for various purposes.A framework for doing a series of assertions and queries, and for comparing the actual result of queries against an expected result.***************************************************************** Contains methods for reading, writing knowledge bases and their configurations.This is a class that manages a group of knowledge bases.Contains utility methods for KBsA class designed to read a file in SUO-KIF format into memory.Headless KIF checker that mirrors SUMOjEdit.checkErrorsBody logic, but returns diagnostics as strings: "line:col: SEVERITY: message".A class designed to adhere strictly to the SUO-KIF definition at http://suo.ieee.org/suo-kif.htmlThis code is copyright Articulate Software (c) 2004.A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.This code is copyright Articulate Software (c) 2003.Process results from the inference engine.A trivial structure to hold the elements of a proof step.This class, when scheduled as a "cron" job, can serve as a "heartbeat" function, checking whether the sigma server is functioning properly.
SimpleDOMParseris a highly-simplified XML DOM parser.SimpleElementis the only node type for simplified DOM model.A modified StreamTokenizer that handles multi-line quoted strings.A model for an expandable tree widgetClass that holds information about each node in the tree.A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.