List of containsAxiom() Examples

Examples of 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.

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

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


    @Test
    public void shouldBuildDataPropertyDomain()
            throws OWLOntologyCreationException {

View Full Code Here

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

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


    @Test
    public void shouldBuildDataPropertyRange()
            throws OWLOntologyCreationException {

View Full Code Here

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

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


    @Test
    public void shouldBuildDatatypeDefinition()
            throws OWLOntologyCreationException {

View Full Code Here

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

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


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

View Full Code Here

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

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


    @Test
    public void shouldBuildDifferentIndividuals()
            throws OWLOntologyCreationException {

View Full Code Here

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

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


    @Test
    public void shouldBuildDisjointClasses()
            throws OWLOntologyCreationException {

View Full Code Here

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

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


    @Test
    public void shouldBuildDisjointDataProperties()
            throws OWLOntologyCreationException {

View Full Code Here

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

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


    @Test
    public void shouldBuildDisjointObjectProperties()
            throws OWLOntologyCreationException {

View Full Code Here

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

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


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

View Full Code Here

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

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


    @Test
    public void shouldBuildEquivalentClasses()
            throws OWLOntologyCreationException {

View Full Code Here

0 1 2 3 4 5

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.