Examples of org.semanticweb.owlapi.model.OWLDataSomeValuesFrom

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

    }


    @Test
    public void shouldBuildDataSomeValuesFrom() {
        // given
        OWLDataSomeValuesFrom expected = df.getOWLDataSomeValuesFrom(dp, d);
        BuilderDataSomeValuesFrom builder = new BuilderDataSomeValuesFrom(
                expected, df);
        // when
        OWLObject built = builder.buildObject();
        // then

View Full Code Here

        // Datatype) with the facet restrictions.
        OWLDataRange dataRng = factory.getOWLDatatypeRestriction(
                integerDatatype, geq13, lt20);
        // Now we have the data range of greater than equal to 13 and less than
        // 20 we can use this in a restriction.
        OWLDataSomeValuesFrom teenagerAgeRestriction = factory
                .getOWLDataSomeValuesFrom(hasAge, dataRng);
        // Now make Teenager equivalent to Person and hasAge some int[>=13, <20]
        // First create the class Person and hasAge some int[>=13, <20]
        OWLClassExpression teenagePerson = factory.getOWLObjectIntersectionOf(
                person, teenagerAgeRestriction);

View Full Code Here

    }
    protected void axiomatizeTopDataProperty(OWLAxioms axioms) {
        OWLDatatype anonymousConstantsDatatype=m_factory.getOWLDatatype(IRI.create("internal:anonymous-constants"));
        OWLTypedLiteral newConstant=m_factory.getOWLTypedLiteral("internal:constant",anonymousConstantsDatatype);
        OWLDataOneOf oneOfNewConstant=m_factory.getOWLDataOneOf(newConstant);
        OWLDataSomeValuesFrom hasTopNewConstant=m_factory.getOWLDataSomeValuesFrom(m_topDataProperty,oneOfNewConstant);
        axioms.m_conceptInclusions.add(new OWLClassExpression[] { hasTopNewConstant });
    }

View Full Code Here

    public Boolean visit(OWLDisjointDataPropertiesAxiom axiom) {
        int n=axiom.getProperties().size();
        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

        .getOWLDatatypeRestriction(dataRange,
            dataRangeFacetRestriction);


    OWLDataProperty p = factory.getOWLDataProperty(IRI
        .create("http://example#p"));
    OWLDataSomeValuesFrom dataSomeRestriction = factory
        .getOWLDataSomeValuesFrom(p, dataRangeRestriction);


    OWLClass c = factory.getOWLClass(IRI.create("http://example#c"));


    OWLSubClassOfAxiom sc = factory.getOWLSubClassOfAxiom(c,

View Full Code Here

TOP

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

org.mindswap.pellet.test.TestIsClass

org.semanticweb.HermiT.EntailmentChecker

org.semanticweb.HermiT.structural.BuiltInPropertyManager

org.semanticweb.owlapi.examples.Examples

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.