Examples of org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom

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

    }


    @Test
    public void shouldBuildTransitiveObjectProperty() {
        // given
        OWLTransitiveObjectPropertyAxiom expected = df
                .getOWLTransitiveObjectPropertyAxiom(op, annotations);
        BuilderTransitiveObjectProperty builder = new BuilderTransitiveObjectProperty(
                expected, df);
        // when
        OWLObject built = builder.buildObject();

View Full Code Here

    @Test
    public void testTransitiveObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLTransitiveObjectPropertyAxiom ax = TransitiveObjectProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getTransitiveObjectPropertyAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isTransitive(propP, ont));

View Full Code Here

            } else if (axiom instanceof OWLReflexiveObjectPropertyAxiom) {
                OWLReflexiveObjectPropertyAxiom a = (OWLReflexiveObjectPropertyAxiom) axiom;
                res.add(transformOWLReflexiveObjectPropertyAxiom(a));
                monitor.step(++workDone, totalAxioms);
            } else if (axiom instanceof OWLTransitiveObjectPropertyAxiom) {
                OWLTransitiveObjectPropertyAxiom a = (OWLTransitiveObjectPropertyAxiom) axiom;
                res.add(transformOWLTransitiveObjectPropertyAxiom(a));
                monitor.step(++workDone, totalAxioms);
            } else if (axiom instanceof OWLSubClassOfAxiom) {
                OWLSubClassOfAxiom a = (OWLSubClassOfAxiom) axiom;
                Axiom ax = transformOWLSubClassOfAxiom(a);

View Full Code Here

TOP

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

au.csiro.ontology.importer.owl.OWLImporter

org.semanticweb.owlapi.api.test.ontology.OWLOntologyAccessorsTestCase

org.semanticweb.owlapitools.builders.test.BuildersEqualTestCase

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.