Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataMaxCardinality

444
445
446
447
448
449
450
451
452
453
454
    }

    @Test
    public void shouldBuildDataMaxCardinality() {
        // given
        OWLDataMaxCardinality expected = df.getOWLDataMaxCardinality(1, dp, d);
        BuilderDataMaxCardinality builder = new BuilderDataMaxCardinality(
                expected, df);
        // when
        OWLObject built = builder.buildObject();
        // then
View Full Code Here
502
503
504
505
506
507
508
509
510
                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
354
355
356
357
358
359
360
361
362
363
364
        OWLDataPropertyExpression[] props=axiom.getProperties().toArray(new OWLDataPropertyExpression[n]);
        for (int i=0;i<n-1;i++) {
            for (int j=i+1;j<n;j++) {
                OWLDataSomeValuesFrom some_i=factory.getOWLDataSomeValuesFrom(props[i],factory.getOWLDatatype(IRI.create(DatatypeRestriction.RDFS_LITERAL.getDatatypeURI())));
                OWLDataSomeValuesFrom some_j=factory.getOWLDataSomeValuesFrom(props[j],factory.getOWLDatatype(IRI.create(DatatypeRestriction.RDFS_LITERAL.getDatatypeURI())));
                OWLDataMaxCardinality max1=factory.getOWLDataMaxCardinality(1,factory.getOWLDataProperty(IRI.create(AtomicRole.TOP_DATA_ROLE.getIRI())));
                OWLClassExpression desc=factory.getOWLObjectIntersectionOf(some_i,some_j,max1);
                if (reasoner.isSatisfiable(desc))
                    return Boolean.FALSE;
            }
        }
View Full Code Here
TOP

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

  • org.semanticweb.HermiT.EntailmentChecker
  • org.semanticweb.HermiT.structural.ExpressionManager$DescriptionSimplificationVisitor
  • org.semanticweb.owlapitools.builders.test.BuildersEqualTestCase
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.