Examples of org.semanticweb.owlapi.model.OWLClassExpression.asConjunctSet()

Class org.semanticweb.owlapi.model.OWLClassExpression

Examples of org.semanticweb.owlapi.model.OWLClassExpression.asConjunctSet()

org.semanticweb.owlapi.model.OWLClassExpression.asConjunctSet()
Interprets this expression as a conjunction and returns the conjuncts. This method does not normalise the expression (full CNF is not computed). @return The conjucts of this expression if it is a conjunction (objectintersection of), or otherwise a singleton set containing this expression. Note that nested conjunctions will be flattened, for example, calling this method on (A and B) and C will return the set {A, B, C}

            OWLClassExpression equivClass = parseClassExpression();
            return dataFactory.getOWLEquivalentClassesAxiom(startExpression,
                    equivClass);
        } else if (AND.matchesEitherForm(kw)) {
            OWLClassExpression conjunct = parseIntersection();
            Set<OWLClassExpression> conjuncts = conjunct.asConjunctSet();
            conjuncts.add(startExpression);
            OWLClassExpression ce = dataFactory
                    .getOWLObjectIntersectionOf(conjuncts);
            return parseClassAxiomRemainder(ce);
        } else if (OR.matchesEitherForm(kw)) {

View Full Code Here

            OWLClassExpression equivClass = parseClassExpression();
            return dataFactory.getOWLEquivalentClassesAxiom(startExpression, equivClass);
        }
        else if (kw.equalsIgnoreCase(AND)) {
            OWLClassExpression conjunct = parseIntersection();
            Set<OWLClassExpression> conjuncts = conjunct.asConjunctSet();
            conjuncts.add(startExpression);
            OWLClassExpression ce = dataFactory.getOWLObjectIntersectionOf(conjuncts);
            return parseClassAxiomRemainder(ce);
        }
        else if (kw.equalsIgnoreCase(OR)) {

View Full Code Here

        }
        OWLSubClassOfAxiom ax = (OWLSubClassOfAxiom) axiom;
        OWLClassExpression subClass = ax.getSubClass();
        OWLClassExpression superClass = ax.getSuperClass();
        Set<OWLAxiom> result = new HashSet<OWLAxiom>();
        for(OWLClassExpression conj : superClass.asConjunctSet()) {
            OWLDataFactory df = DataFactory.get();
            result.add(df.getOWLSubClassOfAxiom(subClass, conj, axiom.getAnnotations()));
        }
        return result;
    }

View Full Code Here

TOP

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.