Examples of org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom

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

    }


    @Test
    public void shouldBuildEquivalentObjectProperties() {
        // given
        OWLEquivalentObjectPropertiesAxiom expected = df
                .getOWLEquivalentObjectPropertiesAxiom(ops, annotations);
        BuilderEquivalentObjectProperties builder = new BuilderEquivalentObjectProperties(
                expected, df);
        // when
        OWLObject built = builder.buildObject();

View Full Code Here

                            axioms1.remove(ax);
                            axioms2.removeAll(pairs);
                        }
                    }
                } else if (ax instanceof OWLEquivalentObjectPropertiesAxiom) {
                    OWLEquivalentObjectPropertiesAxiom ax2 = (OWLEquivalentObjectPropertiesAxiom) ax;
                    if (ax2.getProperties().size() > 2) {
                        Set<OWLEquivalentObjectPropertiesAxiom> pairs = ax2
                                .splitToAnnotatedPairs();
                        if (removeIfContainsAll(axioms2, pairs, destination)) {
                            axioms1.remove(ax);
                            axioms2.removeAll(pairs);
                        }

View Full Code Here

    }


    @Test
    public void testAsSubAxiomsEquivalentObjectProperties() {
        OWLObjectPropertyExpression[] properties = { OP(IRI()), OP(IRI()) };
        OWLEquivalentObjectPropertiesAxiom objA = testSubject
                .getOWLEquivalentObjectPropertiesAxiom(properties);
        assertEquals(2, objA.asSubObjectPropertyOfAxioms().size());
    }

View Full Code Here

        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLObjectProperty propQ = ObjectProperty(iri("q"));
        OWLObjectProperty propR = ObjectProperty(iri("r"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLEquivalentObjectPropertiesAxiom ax = EquivalentObjectProperties(
                propP, propQ, propR);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getEquivalentObjectPropertiesAxioms(propP).contains(ax));
        assertTrue(ont.getEquivalentObjectPropertiesAxioms(propQ).contains(ax));

View Full Code Here

                OWLDisjointClassesAxiom a = (OWLDisjointClassesAxiom) axiom;
                Axiom ax = transformOWLDisjointClassesAxiom(a);
                if(ax != null) res.add(ax);
                monitor.step(++workDone, totalAxioms);
            } else if (axiom instanceof OWLEquivalentObjectPropertiesAxiom) {
                OWLEquivalentObjectPropertiesAxiom a = (OWLEquivalentObjectPropertiesAxiom) axiom;
                res.addAll(transformOWLEquivalentObjectPropertiesAxiom(a));
                monitor.step(++workDone, totalAxioms);
            } else if (axiom instanceof OWLAnnotationAssertionAxiom) {
                // Do nothing
                monitor.step(++workDone, totalAxioms);

View Full Code Here

TOP

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

au.csiro.ontology.importer.owl.OWLImporter

org.semanticweb.owlapi.api.test.baseclasses.TestBase

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

org.semanticweb.owlapi.datafactory.OWLDataFactoryTestCase

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.