Examples of OWLDatatype

org.semanticweb.owl.model.OWLDataType
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents a named data range.
org.semanticweb.owlapi.model.OWLDatatype
3.org/TR/owl2-syntax/#Datatypes">Datatype (named data range) 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.OWLDatatype

        assertFalse(restRngA.equals(restRngB));
    }


    @Test
    public void testHashCodeDataRange() {
        OWLDatatype rng = D(IRI());
        OWLLiteral facetValue = testSubject.getOWLLiteral("3", D(IRI()));
        OWLDatatypeRestriction restRngA = testSubject
                .getOWLDatatypeRestriction(rng, testSubject
                        .getOWLFacetRestriction(MAX_EXCLUSIVE, facetValue));
        OWLDatatypeRestriction restRngB = testSubject

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDatatype

        assertEquals(objA.hashCode(), objB.hashCode());
    }


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

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDatatype

        assertNotNull(rng);
    }


    @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

Examples of org.semanticweb.owlapi.model.OWLDatatype

        assertEquals(rngA, rngB);
    }


    @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

Examples of org.semanticweb.owlapi.model.OWLDatatype

        assertFalse(rngA.equals(rngB));
    }


    @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

Examples of org.semanticweb.owlapi.model.OWLDatatype

    }


    @Test
    public void testEqualsPositiveDataPropertyRange() {
        OWLDataProperty left = DP(IRI());
        OWLDatatype right = D(IRI());
        OWLAxiom axA = testSubject.getOWLDataPropertyRangeAxiom(left, right);
        OWLAxiom axB = testSubject.getOWLDataPropertyRangeAxiom(left, right);
        assertEquals(axA, axB);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDatatype

    }


    @Test
    public void testEqualsNegativeDataPropertyRange() {
        OWLDataProperty left = DP(IRI());
        OWLDatatype right = D(IRI());
        // Different left operand
        OWLAxiom axA = testSubject.getOWLDataPropertyRangeAxiom(DP(IRI()),
                right);
        OWLAxiom axB = testSubject.getOWLDataPropertyRangeAxiom(DP(IRI()),
                right);

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDatatype

    }


    @Test
    public void testHashCodeDataPropertyRange() {
        OWLDataProperty left = DP(IRI());
        OWLDatatype right = D(IRI());
        int hashCodeA = testSubject.getOWLDataPropertyRangeAxiom(left, right)
                .hashCode();
        int hashCodeB = testSubject.getOWLDataPropertyRangeAxiom(left, right)
                .hashCode();
        assertEquals(hashCodeA, hashCodeB);

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDatatype

        }


        @Nonnull
        private OWLLiteral process(@Nonnull OWLDataPropertyExpression prop,
                @Nonnull OWLLiteral con) {
            OWLDatatype dt = map.get(prop);
            if (dt != null) {
                return getDataFactory().getOWLLiteral(con.getLiteral(), dt);
            } else {
                return con;
            }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDatatype

            }
        }


        private void translateEquivalentDataRanges(@Nonnull IRI subject,
                @Nonnull IRI predicate, @Nonnull IRI object) {
            OWLDatatype datatype = df.getOWLDatatype(subject);
            OWLDataRange dataRange = consumer.translateDataRange(object);
            OWLDatatypeDefinitionAxiom def = df.getOWLDatatypeDefinitionAxiom(
                    datatype, dataRange, getPendingAnnotations());
            addAxiom(def);
            consumeTriple(subject, predicate, object);

View Full Code Here

0 1 2 3 4 5

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.