List of asConjunctSet() Examples

Examples of 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}
org.semanticweb.owlapi.model.OWLObjectIntersectionOf.asConjunctSet()

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

            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

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

            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

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

        }
        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

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

                    OWLClassExpression superCls = ax.getSuperClass();
                    if (!superCls.isAnonymous()) {
                        result.add(superCls.asOWLClass());
                    } else if (superCls instanceof OWLObjectIntersectionOf) {
                        OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) superCls;
                        for (OWLClassExpression conjunct : intersectionOf
                                .asConjunctSet()) {
                            if (!conjunct.isAnonymous()) {
                                result.add(conjunct.asOWLClass());
                            }
                        }

View Full Code Here

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

                            .getClassExpressionsMinus(child)) {
                        if (!ce.isAnonymous()) {
                            result.add(ce.asOWLClass());
                        } else if (ce instanceof OWLObjectIntersectionOf) {
                            OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) ce;
                            for (OWLClassExpression conjunct : intersectionOf
                                    .asConjunctSet()) {
                                if (!conjunct.isAnonymous()) {
                                    result.add(conjunct.asOWLClass());
                                }
                            }

View Full Code Here

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

                    if (!superCls.isAnonymous()) {
                        result.add(superCls.asOWLClass());
                    }
                    else if (superCls instanceof OWLObjectIntersectionOf) {
                        OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) superCls;
                        for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) {
                            if (!conjunct.isAnonymous()) {
                                result.add(conjunct.asOWLClass());
                            }
                        }
                    }

View Full Code Here

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

                        if (!ce.isAnonymous()) {
                            result.add(ce.asOWLClass());
                        }
                        else if (ce instanceof OWLObjectIntersectionOf) {
                            OWLObjectIntersectionOf intersectionOf = (OWLObjectIntersectionOf) ce;
                            for (OWLClassExpression conjunct : intersectionOf.asConjunctSet()) {
                                if (!conjunct.isAnonymous()) {
                                    result.add(conjunct.asOWLClass());
                                }
                            }
                        }

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.