Examples of org.semanticweb.owlapi.model.OWLDataUnionOf

org.semanticweb.owlapi.model.OWLDataUnionOf
3.org/TR/owl2-syntax/#Union_of_Data_Ranges">DataUnionOf data range in the OWL 2 Specification. @author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0

    }


    @Test
    public void shouldBuildDataUnionOf() {
        // given
        OWLDataUnionOf expected = df.getOWLDataUnionOf(d,
                df.getDoubleOWLDatatype());
        BuilderDataUnionOf builder = new BuilderDataUnionOf(expected, df);
        // when
        OWLObject built = builder.buildObject();
        // then

View Full Code Here

        return DataRangeType.DATA_UNION_OF;
    }


    @Override
    protected int compareObjectOfSameType(OWLObject object) {
        OWLDataUnionOf other = (OWLDataUnionOf) object;
        return compareSets(getOperands(), other.getOperands());
    }

View Full Code Here

            return true;
        }
        if (!(obj instanceof OWLDataUnionOf)) {
            return false;
        }
        OWLDataUnionOf other = (OWLDataUnionOf) obj;
        return getOperands().equals(other.getOperands());
    }

View Full Code Here

                .getOWLDatatypeMaxExclusiveRestriction(18);
        // In OWL 2 it is possible to represent the intersection, union and
        // complement of data types For example, we could create a union of data
        // ranges of the data range integer less than 16 or integer greater or
        // equal to 60
        OWLDataUnionOf concessionaryAge = factory.getOWLDataUnionOf(
                integerLT16, integerGE60);
        // We can also coin names for custom data ranges. To do this we use an
        // OWLDatatypeDefintionAxiom Get hold of a named datarange (datatype)
        // that will be used to assign a name to our above datatype
        OWLDatatype concessionaryAgeDatatype = factory.getOWLDatatype(

View Full Code Here

                dt);
        // here I negate dr
        OWLDataIntersectionOf disj2 = DataIntersectionOf(DataComplementOf(dt),
                dr);
        // here I negate dt
        OWLDataUnionOf union = DataUnionOf(disj1, disj2);
        OWLDataProperty prop = DataProperty(iri("prop"));
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(prop, union);
        return singleton(ax);
    }

View Full Code Here

            OWLDataProperty freshDataProperty=factory.getOWLDataProperty(IRI.create("fresh-data-property"));
            OWLDataRange dataRange=axiom.getDataRange();
            OWLDatatype dt=axiom.getDatatype();
            OWLDataIntersectionOf dr1=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dataRange),dt);
            OWLDataIntersectionOf dr2=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dt),dataRange);
            OWLDataUnionOf union=factory.getOWLDataUnionOf(dr1,dr2);
            OWLClassExpression c=factory.getOWLDataSomeValuesFrom(freshDataProperty,union);
            OWLClassAssertionAxiom ax=factory.getOWLClassAssertionAxiom(c,freshIndividual);
            Tableau tableau=reasoner.getTableau(ax);
            return !tableau.isSatisfiable(true,true,null,null,null,null,null,ReasoningTaskDescription.isAxiomEntailed(axiom));
        }

View Full Code Here

        return DataRangeType.DATA_UNION_OF;
    }


    @Override
  protected int compareObjectOfSameType(OWLObject object) {
        OWLDataUnionOf other = (OWLDataUnionOf) object;
        return compareSets(getOperands(), other.getOperands());
    }

View Full Code Here

            return true;
        }
        if (!(obj instanceof OWLDataUnionOf)) {
            return false;
        }
        OWLDataUnionOf other = (OWLDataUnionOf) obj;
        return this.getOperands().equals(other.getOperands());
    }

View Full Code Here

TOP

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

org.semanticweb.HermiT.EntailmentChecker

org.semanticweb.owlapi.api.test.classexpressions.DataUnionOfTestCase2

org.semanticweb.owlapi.examples.Examples

org.semanticweb.owlapitools.builders.test.BuildersEqualTestCase

uk.ac.manchester.cs.owl.owlapi.OWLDataUnionOfImpl

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.