com.articulate.sigma.Prenexifier Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sigma-component Show documentation

Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org.

There is a newer version: 2.12

Show newest version

package com.articulate.sigma;

/**
 This code is copyright Articulate Software (c) 2003.
 This software is released under the GNU Public License .
 Users of this code are also requested, to credit Articulate Software 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., (2003). The Sigma Ontology Development Environment,
 in Working Notes of the IJCAI-2003 Workshop on Ontology and Distributed Systems,
 August 9, Acapulco, Mexico.  See also http://sigmakee.sourceforge.net
 */
public class Prenexifier {


    /** ***************************************************************
     */
    public Formula binarizeConnectives(Formula f) {

        if (f.empty()) return f;
        if (f.atom()) return f;
        if (f.car().equals("or") || f.car().equals("and")) {

        }
        return f;
    }

    /** ***************************************************************
     */
    public Formula prenex(Formula f) {
        return f;
    }

    /** ***************************************************************
     */
    public static void testBinarize() {

    }

    /** ***************************************************************
     */
    public static void main(String[] args) {

    }
}