Package com.articulate.sigma.trans

Provides classes for translation to other logical languages in the Sigma knowledge engineering environment version developed at Articulate Software Inc.

See: Description

Class Summary

Class	Description
OWLtranslator	Read and write OWL format from Sigma data structures.
SNARKtrans	Created by apease on 8/25/17.
SUMOformulaToTPTPformula
SUMOKBtoTPTPKB
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

Package com.articulate.sigma.trans Description

Provides classes for translation to other logical languages in the Sigma knowledge engineering environment version developed at Articulate Software Inc. The core classes are SUMOKBtoTPTPKB to handle translation to TPTP language, THF to handle translation to the higher-order logic language THF, and OWLtranslator for the OWL language.

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:

SUMOKBtoTPTPKB, THF, OWLtranslator