Package org.semanticweb.owl.util

Examples of org.semanticweb.owl.util.NNF

39
40
41
42
43
44
45
46
    private OWLObjectComplementOfExtractor extractor;


    public NegationalNormalFormConverter(OWLDataFactory dataFactory) {
        nnf = new NNF(dataFactory);
        extractor = new OWLObjectComplementOfExtractor();
    }
View Full Code Here
56
57
58
59
60
61
62
63
        return false;
    }


    public OWLDescription getNNF() {
        NNF nnf = new NNF(getOWLDataFactory());
        return accept(nnf);
    }
View Full Code Here
61
62
63
64
65
66
67
68
        NNF nnf = new NNF(getOWLDataFactory());
        return accept(nnf);
    }

    public OWLDescription getComplementNNF() {
        NNF nnf = new NNF(getOWLDataFactory());
        return getOWLDataFactory().getOWLObjectComplementOf(this).accept(nnf);
    }
View Full Code Here
64
65
66
67
68
69
70
71
72
73
    }


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

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

  • org.semanticweb.owl.normalform.NegationalNormalFormConverter
  • uk.ac.manchester.cs.owl.OWLAnonymousDescriptionImpl
  • uk.ac.manchester.cs.owl.OWLAxiomImpl
    • 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.