Examples of OWLDisjointDataPropertiesAxiom


Examples of org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom

    }

    @Test
    public void shouldBuildDisjointDataProperties() {
        // given
        OWLDisjointDataPropertiesAxiom expected = df
                .getOWLDisjointDataPropertiesAxiom(dps, annotations);
        BuilderDisjointDataProperties builder = new BuilderDisjointDataProperties(
                expected, df);
        // when
        OWLObject built = builder.buildObject();
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom

        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty propP = DataProperty(iri("p"));
        OWLDataProperty propQ = DataProperty(iri("q"));
        OWLDataProperty propR = DataProperty(iri("r"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLDisjointDataPropertiesAxiom ax = DisjointDataProperties(propP,
                propQ, propR);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getDisjointDataPropertiesAxioms(propP).contains(ax));
        assertTrue(ont.getDisjointDataPropertiesAxioms(propQ).contains(ax));
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.