Package org.semanticweb.owlapi.util

Examples of org.semanticweb.owlapi.util.NNF


    private OWLObjectComplementOfExtractor extractor;


    public NegationalNormalFormConverter(OWLDataFactory dataFactory) {
        nnf = new NNF(dataFactory);
        extractor = new OWLObjectComplementOfExtractor();
    }
View Full Code Here


    }


    public OWLAxiom getNNF() {
        if (nnf == null) {
            NNF con = new NNF(getOWLDataFactory());
            nnf = accept(con);
        }
        return nnf;
    }
View Full Code Here

        return false;
    }


    public OWLClassExpression getNNF() {
        NNF nnf = new NNF(getOWLDataFactory());
        return accept(nnf);
    }
View Full Code Here

        NNF nnf = new NNF(getOWLDataFactory());
        return accept(nnf);
    }

    public OWLClassExpression getComplementNNF() {
        NNF nnf = new NNF(getOWLDataFactory());
        return getOWLDataFactory().getOWLObjectComplementOf(this).accept(nnf);
    }
View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.util.NNF

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.