Examples of org.semanticweb.owlapi.model.OWLDataRange

org.semanticweb.owlapi.model.OWLDataRange
3.org/TR/owl2-syntax/#Data_Ranges">DataRange in the OWL 2 Specification.
A high level interface which represents a data range. Example of data ranges are datatypes (e.g. int, float, double, string, ...), complements of data ranges (e.g. not(int)), data enumerations (data oneOfs), datatype restrictions (e.g. int > 3). @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

                D(IRI()));
        OWLRestriction restB = testSubject.getOWLDataSomeValuesFrom(prop,
                D(IRI()));
        assertFalse(restA.equals(restB));
        // Different property
        OWLDataRange filler = D(IRI());
        OWLRestriction restC = testSubject.getOWLDataSomeValuesFrom(DP(IRI()),
                filler);
        OWLRestriction restD = testSubject.getOWLDataSomeValuesFrom(DP(IRI()),
                filler);
        assertFalse(restC.equals(restD));

View Full Code Here

    }


    @Test
    public void testHashCodeDataSome() {
        OWLDataProperty prop = DP(IRI());
        OWLDataRange filler = D(IRI());
        OWLRestriction restA = testSubject.getOWLDataSomeValuesFrom(prop,
                filler);
        OWLRestriction restB = testSubject.getOWLDataSomeValuesFrom(prop,
                filler);
        assertEquals(restA.hashCode(), restB.hashCode());

View Full Code Here

    }


    @Test
    public void testEqualsPositiveDataAll() {
        OWLDataProperty prop = DP(IRI());
        OWLDataRange filler = D(IRI());
        OWLRestriction restA = testSubject
                .getOWLDataAllValuesFrom(prop, filler);
        OWLRestriction restB = testSubject
                .getOWLDataAllValuesFrom(prop, filler);
        assertEquals(restA, restB);

View Full Code Here

                D(IRI()));
        OWLRestriction restB = testSubject.getOWLDataAllValuesFrom(prop,
                D(IRI()));
        assertFalse(restA.equals(restB));
        // Different property
        OWLDataRange filler = D(IRI());
        OWLRestriction restC = testSubject.getOWLDataAllValuesFrom(DP(IRI()),
                filler);
        OWLRestriction restD = testSubject.getOWLDataAllValuesFrom(DP(IRI()),
                filler);
        assertFalse(restC.equals(restD));

View Full Code Here

    }


    @Test
    public void testHashCodeDataAll() {
        OWLDataProperty prop = DP(IRI());
        OWLDataRange filler = D(IRI());
        OWLRestriction restA = testSubject
                .getOWLDataAllValuesFrom(prop, filler);
        OWLRestriction restB = testSubject
                .getOWLDataAllValuesFrom(prop, filler);
        assertEquals(restA.hashCode(), restB.hashCode());

View Full Code Here

        }


        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

        // Adults have an age greater than 18.
        OWLDataProperty hasAge = df.getOWLDataProperty(IRI.create(EXAMPLE_IRI
                + "hasAge"));
        // Create the restricted data range by applying the facet restriction
        // with a value of 18 to int
        OWLDataRange greaterThan18 = df.getOWLDatatypeRestriction(
                df.getIntegerOWLDatatype(), OWLFacet.MIN_INCLUSIVE,
                df.getOWLLiteral(18));
        // Now we can use this in our datatype restriction on hasAge
        OWLClassExpression adultDefinition = df.getOWLDataSomeValuesFrom(
                hasAge, greaterThan18);

View Full Code Here

            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ALL_VALUES_FROM, true);
            assert fillerIRI != null;
            OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
            return getDataFactory().getOWLDataAllValuesFrom(property, filler);
        }

View Full Code Here

            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_DATA_RANGE, true);
            if (fillerIRI != null
                    && !getConsumer().getConfiguration().isStrict()) {
                // Be tolerant
                OWLDataRange filler = getConsumer().translateDataRange(
                        fillerIRI);
                return getDataFactory().getOWLDataExactCardinality(cardi,
                        property, filler);
            } else {
                return getDataFactory().getOWLDataExactCardinality(cardi,

View Full Code Here

public class DataUnionOfTestCase extends AbstractFileRoundTrippingTestCase {


    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLDataRange intdr = Integer();
        OWLDataRange floatdr = Float();
        OWLDataRange union = DataUnionOf(intdr, floatdr);
        OWLDataProperty p = DataProperty(iri("p"));
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(p, union);
        axioms.add(ax);
        axioms.add(Declaration(p));
        assertEquals(getOnt().getAxioms(), axioms);

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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

au.csiro.ontology.importer.owl.OWLImporter

com.clarkparsia.pellet.owlapiv3.AxiomConverter

com.clarkparsia.pellet.owlapiv3.ConceptConverter

org.coode.owlapi.functionalparser.OWLFunctionalSyntaxParser

org.coode.owlapi.manchesterowlsyntax.ManchesterOWLSyntaxEditorParser

org.coode.owlapi.owlxmlparser.OWLDatatypeDefinitionElementHandler

org.coode.owlapi.owlxmlparser.OWLDatatypeRestrictionElementHandler

org.coode.owlapi.rdfxml.parser.DataAllValuesFromTranslator

org.coode.owlapi.rdfxml.parser.DataCardinalityTranslator

org.coode.owlapi.rdfxml.parser.DataMaxCardinalityTranslator

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.