All Classes and Interfaces
Class
Description
Exception thrown when a formula has an incorrect arity for a predicate.
Base exception class for all ATP (Automated Theorem Prover) related errors.
Builder for constructing ATPException with full context
Generic result structure for ATP (Automated Theorem Prover) runs.
Builder for constructing ATPResult
A class designed to mirror the information in a basic XML tag.
Parses simple XML into a hierarchy of BasicXMLelement (s).
Copyright 2016 Articulate Software
Author: Adam Pease apease@articulatesoftware.com
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
Identifies specific Sumo CaseRole objects.
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 class
A 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.
Exception thrown when an ATP executable (Vampire, EProver, LEO-III, etc.)
is not found at the configured path or is not executable.
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.
Exception thrown when a formula cannot be translated from SUO-KIF
to a target format (TPTP, TFF, THF).
Created by sserban on 2/17/15.
This code is copyright Infosys 2019.
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 KBs
A 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.html
A class that handles the generation of natural language from logic.
The stack which LanguageFormatter uses in its recursive operations.
Class for invoking the latest version of LEO-III from Java.
This code is copyright Articulate Software (c) 2004.
Created by apease on 10/1/15.
String utilities related to NLG.
Utilities and variables used by LanguageFormatter and other NLG classes.
Provides functionality related to nouns and NLG.
Read and write OWL format from Sigma data structures.
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.
Handles preposition behavior for case roles.
Process results from the inference engine.
A trivial structure to hold the elements of a proof step.
Exception thrown when an ATP process crashes or is killed by a signal.
Exception thrown when an ATP process times out.
A structure allowing one Subject-Verb-Object element in a sentence to "know" about the others.
This class, when scheduled as a "cron" job, can serve as a "heartbeat"
function, checking whether the sigma server is functioning properly.
SimpleDOMParser is a highly-simplified XML DOM
parser.SimpleElement is the only node type for
simplified DOM model.Created by apease on 8/25/17.
One element of a LanguageFormatterStack.
A modified StreamTokenizer that handles multi-line
quoted strings.
Handles verb functionality for a SUMO process.
This object represents a process or an event, holding information on its case roles as
well as the entities which play that role.
Hold properties associated with a SumoProcessCollector.
Created by apease on 7/23/18.
Example App showing 3 various ways to parse SUO-KIF and show the results
An element in a sentence conceived of as having a Subject-Verb-Object grammar.
Handles properties of traditional Subject-Verb-Object grammar, allowing for both default cases and exceptions for
specific verbs.
Utility class for extracting SZS (TPTP Standard for System status values)
information from prover output.
Enumeration of SZS (TPTP Standard for System status values) statuses.
Category groupings for SZS statuses
A model for an expandable tree widget
Class that holds information about each node in the tree.
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.
Coordinates background generation of TPTP translation files.
A class that encrypts a string and checks it against another stored
encrypted string, in order to validate a user login.
Class for invoking the latest research version of Vampire from Java
A previous version invoked the KIF version of Vampire from Java
but that's 15 years old now.
Determine the types of variables by their appearance in relations,
as well as whether constants or functions are allowed given their types
This code is copyright Infosys 2019.
Created by apease on 7/23/18.
An interface for obtaining verb behavior in specific situations, e.g.
A first-blush attempt at implementing the VerbProperties interface.
A class that finds problems in WordNet to KB mappings.
This program finds and displays SUMO terms that are related in meaning to the English
expressions that are entered as input.