Examples of com.clarkparsia.modularity.locality.SyntacticLocalityEvaluator$TopEquivalenceEvaluator

     */
    protected boolean[] extractLogicalAxioms(boolean[] subOnt, Set<OWLEntity> signature, LocalityClass localityClass, boolean verbose) {
        boolean[] mod = ontologyAxiomSet.getSubset(false);
        boolean[] q2 = ontologyAxiomSet.cloneSubset(subOnt);


        SyntacticLocalityEvaluator sle = new SyntacticLocalityEvaluator(localityClass);


        boolean change = true;
        int loopNumber = 0;
        while (change) {
            change = false;
            loopNumber++;
            if (verbose) {
                System.out.println("  Loop " + loopNumber);
            }
            for (int i = 0; i < q2.length; i = i + 1) {
                if (q2[i]) {
                    if (!sle.isLocal(ontologyAxiomSet.getAxiom(i), signature)) {
                        if (verbose){
                            System.out.println("      Non-local axiom:   " + ontologyAxiomSet.getAxiom(i));
                        }
                        mod[i] = true;
                        q2[i] = false;

     */
    protected Set<OWLAxiom> extract(Set<OWLAxiom> subOnt, Set<OWLEntity> signature, LocalityClass localityClass, boolean verbose) {
        HashSet<OWLAxiom> mod = new HashSet<OWLAxiom>();
        HashSet<OWLAxiom> q2 = new HashSet<OWLAxiom>(subOnt);


        SyntacticLocalityEvaluator sle = new SyntacticLocalityEvaluator(localityClass);


        boolean change = true;
        int loopNumber = 0;
        while (change) {
            change = false;
            loopNumber++;
            if (verbose) {
                System.out.println("  Loop " + loopNumber);
            }
            HashSet<OWLAxiom> q2remove = new HashSet<OWLAxiom>();
            for (OWLAxiom ax : q2) {
                if (!sle.isLocal(ax, signature)) {
                    if (verbose){
                        System.out.println("      Non-local axiom:   " + ax);
                    }
                    mod.add(ax);
                    q2remove.add(ax);

Related Classes of com.clarkparsia.modularity.locality.SyntacticLocalityEvaluator$TopEquivalenceEvaluator

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.