Examples of org.semanticweb.owlapi.model.OWLDataOneOf

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

    }


    @Test
    public void shouldBuildDataOneOf() {
        // given
        OWLDataOneOf expected = df.getOWLDataOneOf(lit);
        BuilderDataOneOf builder = new BuilderDataOneOf(expected, df);
        // when
        OWLObject built = builder.buildObject();
        // then
        assertEquals(expected, built);

View Full Code Here

        axioms.m_conceptInclusions.add(new OWLClassExpression[] { m_factory.getOWLObjectAllValuesFrom(m_bottomObjectProperty,m_factory.getOWLNothing()) });
    }
    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

                return m_factory.getOWLThing();
            else
                return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler);
        }
        public OWLClassExpression visit(OWLDataHasValue d) {
            OWLDataOneOf nominal=m_factory.getOWLDataOneOf(d.getValue());
            return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),nominal);
        }

View Full Code Here

                 * DataComplementOf | DataOneOf | DatatypeRestriction
                 * 
                 * We initially support only DataOneOf.
                 */
                if(range instanceof OWLDataOneOf) {
                    OWLDataOneOf doo = (OWLDataOneOf)range;
                    Set<OWLLiteral> values = doo.getValues();
                    if(values.size() != 1) {
                        problems.add("Expected only a single literal in "+e);
                        return;
                    }
                    OWLLiteral l = (OWLLiteral)values.toArray()[0];

View Full Code Here

TOP

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

au.csiro.ontology.importer.owl.OWLImporter

org.semanticweb.HermiT.structural.BuiltInPropertyManager

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.