Examples of org.semanticweb.owlapi.model.OWLDataComplementOf

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

    }


    @Test
    public void shouldBuildDataComplementOf() {
        // given
        OWLDataComplementOf expected = df.getOWLDataComplementOf(d);
        BuilderDataComplementOf builder = new BuilderDataComplementOf(expected,
                df);
        // when
        OWLObject built = builder.buildObject();
        // then

View Full Code Here

    }


    @Test
    public void testCreationDataComplementOf() {
        OWLDatatype dt = D(IRI());
        OWLDataComplementOf rng = testSubject.getOWLDataComplementOf(dt);
        assertNotNull(rng);
    }

View Full Code Here

    }


    @Test
    public void testEqualsPositiveDataComplementOf() {
        OWLDatatype dt = D(IRI());
        OWLDataComplementOf rngA = testSubject.getOWLDataComplementOf(dt);
        OWLDataComplementOf rngB = testSubject.getOWLDataComplementOf(dt);
        assertEquals(rngA, rngB);
    }

View Full Code Here

    }


    @Test
    public void testEqualsNegativeDataComplementOf() {
        OWLDatatype dtA = D(IRI());
        OWLDataComplementOf rngA = testSubject.getOWLDataComplementOf(dtA);
        OWLDatatype dtB = D(IRI());
        OWLDataComplementOf rngB = testSubject.getOWLDataComplementOf(dtB);
        assertFalse(rngA.equals(rngB));
    }

View Full Code Here

    }


    @Test
    public void testHashCodeDataComplementOf() {
        OWLDatatype dt = D(IRI());
        OWLDataComplementOf rngA = testSubject.getOWLDataComplementOf(dt);
        OWLDataComplementOf rngB = testSubject.getOWLDataComplementOf(dt);
        assertEquals(rngA.hashCode(), rngB.hashCode());
    }

View Full Code Here

        return visitor.visit(this);
    }


    @Override
  protected int compareObjectOfSameType(OWLObject object) {
        OWLDataComplementOf other = (OWLDataComplementOf) object;
        return getDataRange().compareTo(other.getDataRange());
    }

View Full Code Here

TOP

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

org.semanticweb.owlapi.datafactory.OWLDataFactoryTestCase

org.semanticweb.owlapitools.builders.test.BuildersEqualTestCase

uk.ac.manchester.cs.owl.owlapi.OWLDataComplementOfImpl

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.