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.

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


    @Test
    public void shouldBuildEquivalentDataProperties()
            throws OWLOntologyCreationException {

View Full Code Here

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


    @Test
    public void shouldBuildEquivalentObjectProperties()
            throws OWLOntologyCreationException {

View Full Code Here

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


    @Test
    public void shouldBuildFunctionalDataProperty()
            throws OWLOntologyCreationException {

View Full Code Here

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


    @Test
    public void shouldBuildFunctionalObjectProperty()
            throws OWLOntologyCreationException {

View Full Code Here

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


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

View Full Code Here

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


    @Test
    public void shouldBuildInverseFunctionalObjectProperty()
            throws OWLOntologyCreationException {

View Full Code Here

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


    @Test
    public void shouldBuildInverseObjectProperties()
            throws OWLOntologyCreationException {

View Full Code Here

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


    @Test
    public void shouldBuildIrreflexiveObjectProperty()
            throws OWLOntologyCreationException {

View Full Code Here

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


    @Test
    public void shouldBuildNegativeDataPropertyAssertion()
            throws OWLOntologyCreationException {

View Full Code Here

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


    @Test
    public void shouldBuildNegativeObjectPropertyAssertion()
            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.