Package com.articulate.sigma.trans

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. 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 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.

See Also: