Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom


    }

    @Test
    public void shouldBuildNegativeDataPropertyAssertion() {
        // given
        OWLNegativeDataPropertyAssertionAxiom expected = df
                .getOWLNegativeDataPropertyAssertionAxiom(dp, i, lit,
                        annotations);
        BuilderNegativeDataPropertyAssertion builder = new BuilderNegativeDataPropertyAssertion(
                expected, df);
        // when
View Full Code Here


        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty prop = DataProperty(iri("prop"));
        OWLNamedIndividual indA = NamedIndividual(iri("indA"));
        OWLLiteral lit = Literal(3);
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLNegativeDataPropertyAssertionAxiom ax = NegativeDataPropertyAssertion(
                prop, indA, lit);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getNegativeDataPropertyAssertionAxioms(indA)
                .contains(ax));
View Full Code Here

TOP

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

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.