Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLSameIndividualAxiom


    }

    @Test
    public void shouldBuildSameIndividual() {
        // given
        OWLSameIndividualAxiom expected = df.getOWLSameIndividualAxiom(inds,
                annotations);
        BuilderSameIndividual builder = new BuilderSameIndividual(expected, df);
        // when
        OWLObject built = builder.buildObject();
        // then
View Full Code Here


        OWLOntology ont = getOWLOntology("ont");
        OWLNamedIndividual indA = NamedIndividual(iri("indA"));
        OWLNamedIndividual indB = NamedIndividual(iri("indB"));
        OWLNamedIndividual indC = NamedIndividual(iri("indC"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLSameIndividualAxiom ax = SameIndividual(indA, indB, indC);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getSameIndividualAxioms(indA).contains(ax));
        assertTrue(ont.getSameIndividualAxioms(indB).contains(ax));
        assertTrue(ont.getSameIndividualAxioms(indC).contains(ax));
View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.model.OWLSameIndividualAxiom

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.