Examples of org.semanticweb.owlapi.model.OWLOntology.containsAxiom()

Class org.semanticweb.owlapi.model.OWLOntology

Examples of org.semanticweb.owlapi.model.OWLOntology.containsAxiom()

org.semanticweb.owlapi.model.OWLOntology.containsAxiom()
Determines if this ontology contains the specified axiom. @param axiom The axiom to test for. @return true if the ontology contains the specified axioms, or false if the ontologydoesn't contain the specified axiom.

                i, i, annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }


    @Test
    public void shouldBuildObjectPropertyAssertion()
            throws OWLOntologyCreationException {

View Full Code Here

                annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }


    @Test
    public void shouldBuildObjectPropertyDomain()
            throws OWLOntologyCreationException {

View Full Code Here

        builder.withDomain(ce).withProperty(op).withAnnotations(annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }


    @Test
    public void shouldBuildObjectPropertyRange()
            throws OWLOntologyCreationException {

View Full Code Here

                annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }


    @Test
    public void shouldBuildPropertyChain() throws OWLOntologyCreationException {
        // given

View Full Code Here

                annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }


    @Test
    public void shouldBuildReflexiveObjectProperty()
            throws OWLOntologyCreationException {

View Full Code Here

                annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }


    @Test
    public void shouldBuildSameIndividual() throws OWLOntologyCreationException {
        // given

View Full Code Here

        OWLAxiom expected = df.getOWLSameIndividualAxiom(inds, annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }


    @Test
    public void shouldBuildSubAnnotationPropertyOf()
            throws OWLOntologyCreationException {

View Full Code Here

                df.getRDFSLabel(), annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }


    @Test
    public void shouldBuildSubClass() throws OWLOntologyCreationException {
        // given

View Full Code Here

                annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }


    @Test
    public void shouldBuildSubDataProperty()
            throws OWLOntologyCreationException {

View Full Code Here

                df.getOWLTopDataProperty());
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }


    @Test
    public void shouldBuildSubObjectProperty()
            throws OWLOntologyCreationException {

View Full Code Here

0 1 2 3 4 5 6 7

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.