Examples of OWLObjectPropertyDomainAxiom

    }


    @Test
    public void shouldBuildObjectPropertyDomain() {
        // given
        OWLObjectPropertyDomainAxiom expected = df
                .getOWLObjectPropertyDomainAxiom(op, ce, annotations);
        BuilderObjectPropertyDomain builder = new BuilderObjectPropertyDomain(
                expected, df);
        // when
        OWLObject built = builder.buildObject();

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom

    public void testObjectPropertyDomainAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLClass clsA = Class(iri("ClsA"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLObjectPropertyDomainAxiom ax = ObjectPropertyDomain(propP, clsA);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getObjectPropertyDomainAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(domain(ont.getObjectPropertyDomainAxioms(propP)).contains(

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.