Examples of org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom

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

    }


    @Test
    public void shouldBuildEquivalentDataProperties() {
        // given
        OWLEquivalentDataPropertiesAxiom expected = df
                .getOWLEquivalentDataPropertiesAxiom(dps, annotations);
        BuilderEquivalentDataProperties builder = new BuilderEquivalentDataProperties(
                expected, df);
        // when
        OWLObject built = builder.buildObject();

View Full Code Here

                            axioms1.remove(ax);
                            axioms2.removeAll(pairs);
                        }
                    }
                } else if (ax instanceof OWLEquivalentDataPropertiesAxiom) {
                    OWLEquivalentDataPropertiesAxiom ax2 = (OWLEquivalentDataPropertiesAxiom) ax;
                    if (ax2.getProperties().size() > 2) {
                        Set<OWLEquivalentDataPropertiesAxiom> pairs = ax2
                                .splitToAnnotatedPairs();
                        if (removeIfContainsAll(axioms2, pairs, destination)) {
                            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 testAsSubAxiomsEquivalentDataProperties() {
        OWLDataProperty a = DP(IRI());
        OWLDataProperty b = DP(IRI());
        OWLDataPropertyExpression[] properties = { a, b };
        OWLEquivalentDataPropertiesAxiom objA = testSubject
                .getOWLEquivalentDataPropertiesAxiom(properties);
        assertEquals(2, objA.asSubDataPropertyOfAxioms().size());
    }

View Full Code Here

        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty propP = DataProperty(iri("p"));
        OWLDataProperty propQ = DataProperty(iri("q"));
        OWLDataProperty propR = DataProperty(iri("r"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLEquivalentDataPropertiesAxiom ax = EquivalentDataProperties(propP,
                propQ, propR);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getEquivalentDataPropertiesAxioms(propP).contains(ax));
        assertTrue(ont.getEquivalentDataPropertiesAxioms(propQ).contains(ax));

View Full Code Here

TOP

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

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.