Examples of OWLIrreflexiveObjectPropertyAxiom

org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom
3.org/TR/owl2-syntax/#Irreflexive_Object_Properties" >IrreflexiveObjectProperty axioms in the OWL 2 Specification. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

Examples of org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom

    }


    @Test
    public void shouldBuildIrreflexiveObjectProperty() {
        // given
        OWLIrreflexiveObjectPropertyAxiom expected = df
                .getOWLIrreflexiveObjectPropertyAxiom(op, annotations);
        BuilderIrreflexiveObjectProperty builder = new BuilderIrreflexiveObjectProperty(
                expected, df);
        // when
        OWLObject built = builder.buildObject();

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom

    @Test
    public void testIrreflexiveObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLIrreflexiveObjectPropertyAxiom ax = IrreflexiveObjectProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getIrreflexiveObjectPropertyAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isIrreflexive(propP, ont));

View Full Code Here

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.