Examples of OntologyAxiomPair

org.semanticweb.owlapi.util.OntologyAxiomPair
@author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0

Examples of org.semanticweb.owlapi.util.OntologyAxiomPair

            siblings.add(cls);
            OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(cls,
                    superclass);
            for (OWLOntology ont : onts) {
                assert ont != null;
                axioms.add(new OntologyAxiomPair(ont, ax));
            }
            if (peekToken().equals(OPENBRACKET.keyword())) {
                axioms.addAll(parseValuePartitionValues(onts, cls));
            }
            sep = peekToken();
            if (COMMA.matches(sep)) {
                consumeToken();
            }
        }
        consumeToken(CLOSEBRACKET.keyword());
        OWLAxiom ax = dataFactory.getOWLDisjointClassesAxiom(siblings);
        for (OWLOntology ont : onts) {
            assert ont != null;
            axioms.add(new OntologyAxiomPair(ont, ax));
        }
        return axioms;
    }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OntologyAxiomPair

        SWRLRule rule = dataFactory.getSWRLRule(new LinkedHashSet<>(body),
                new LinkedHashSet<>(head));
        List<OntologyAxiomPair> pairs = new ArrayList<>();
        for (OWLOntology ont : ontologies) {
            assert ont != null;
            pairs.add(new OntologyAxiomPair(ont, rule));
        }
        return pairs;
    }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OntologyAxiomPair

        Set<OWLAnnotation> annotations = parseAnnotations();
        Set<OWLClassExpression> classExpressions = parseClassExpressionList();
        Set<OntologyAxiomPair> pairs = new HashSet<>();
        for (OWLOntology ont : ontologies) {
            assert ont != null;
            pairs.add(new OntologyAxiomPair(ont, dataFactory
                    .getOWLDisjointClassesAxiom(classExpressions, annotations)));
        }
        return pairs;
    }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OntologyAxiomPair

        Set<OWLOntology> ontologies = getOntologies();
        Set<OWLAnnotation> annotations = parseAnnotations();
        Set<OntologyAxiomPair> pairs = new HashSet<>();
        for (OWLOntology ont : ontologies) {
            assert ont != null;
            pairs.add(new OntologyAxiomPair(ont, dataFactory
                    .getOWLSameIndividualAxiom(individuals, annotations)));
        }
        return pairs;
    }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OntologyAxiomPair

            propertiesAxiom = dataFactory.getOWLDisjointDataPropertiesAxiom(
                    dpe, annotations);
        }
        for (OWLOntology ont : ontologies) {
            assert ont != null;
            pairs.add(new OntologyAxiomPair(ont, propertiesAxiom));
        }
        return pairs;
    }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OntologyAxiomPair

        Set<OWLAnnotation> annotations = parseAnnotations();
        Set<OWLIndividual> individuals = parseIndividualList();
        Set<OntologyAxiomPair> pairs = new HashSet<>();
        for (OWLOntology ontology : ontologies) {
            assert ontology != null;
            pairs.add(new OntologyAxiomPair(ontology, dataFactory
                    .getOWLDifferentIndividualsAxiom(individuals, annotations)));
        }
        return pairs;
    }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OntologyAxiomPair

        while (COMMA.matches(sep)) {
            Set<OWLAnnotation> annotations = parseAnnotations();
            O item = itemParser.parseItem(s);
            OWLAxiom axiom = itemParser.createAxiom(s, item, annotations);
            for (OWLOntology ontology : ontologies) {
                result.add(new OntologyAxiomPair(ontology, axiom));
            }
            sep = peekToken();
            if (COMMA.matches(sep)) {
                consumeToken();
            }

View Full Code Here

0 1

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.