Examples of org.semanticweb.owlapi.model.OWLDataMinCardinality

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

    }


    @Test
    public void shouldBuildDataMinCardinality() {
        // given
        OWLDataMinCardinality expected = df.getOWLDataMinCardinality(1, dp, d);
        BuilderDataMinCardinality builder = new BuilderDataMinCardinality(
                expected, df);
        // when
        OWLObject built = builder.buildObject();
        // then

View Full Code Here

            else if (d.getCardinality()==0)
                return m_factory.getOWLDataAllValuesFrom(d.getProperty(),m_factory.getOWLDataComplementOf(filler));
            else if (isBottomDataRange(filler))
                return m_factory.getOWLNothing();
            else {
                OWLDataMinCardinality minCardinality=m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
                OWLDataMaxCardinality maxCardinality=m_factory.getOWLDataMaxCardinality(d.getCardinality(),d.getProperty(),filler);
                return m_factory.getOWLObjectIntersectionOf(minCardinality,maxCardinality);
            }
        }

View Full Code Here

TOP

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

org.semanticweb.HermiT.structural.ExpressionManager$DescriptionSimplificationVisitor

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.