Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression


                    OWL_RESTRICTION.getIRI());
            int cardi = translateInteger(mainNode, OWL_QUALIFIED_CARDINALITY);
            IRI propertyIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_PROPERTY, true);
            assert propertyIRI != null;
            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_DATA_RANGE, true);
            assert fillerIRI != null;
            OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
View Full Code Here


            getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(),
                    OWL_RESTRICTION.getIRI());
            IRI propertyIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_PROPERTY, true);
            assert propertyIRI != null;
            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_SOME_VALUES_FROM, true);
            assert fillerIRI != null;
            OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
View Full Code Here

                if (dataPropertyIRI == null) {
                    throw new OWLRuntimeException(
                            "Don't know how to translate SWRL Atom: data property IRI is null "
                                    + firstObject);
                }
                OWLDataPropertyExpression prop = consumer
                        .translateDataPropertyExpression(dataPropertyIRI);
                return dataFactory.getSWRLDataPropertyAtom(prop, arg1, arg2);
            } else if (consumer.isSWRLIndividualPropertyAtom(firstObject)) {
                SWRLIArgument arg1 = translateSWRLAtomIObject(firstObject,
                        ARGUMENT_1.getIRI());
View Full Code Here

        assertFalse(prop.isOWLBottomObjectProperty());
    }

    @Test
    public void testTopDataPropertyPositive() {
        OWLDataPropertyExpression prop = df.getOWLTopDataProperty();
        assertTrue(prop.isOWLTopDataProperty());
    }
View Full Code Here

        assertTrue(prop.isOWLTopDataProperty());
    }

    @Test
    public void testBottomDataPropertyPositive() {
        OWLDataPropertyExpression prop = df.getOWLBottomDataProperty();
        assertTrue(prop.isOWLBottomDataProperty());
    }
View Full Code Here

        assertTrue(prop.isOWLBottomDataProperty());
    }

    @Test
    public void testTopDataPropertyNegative() {
        OWLDataPropertyExpression prop = DataProperty(iri("prop"));
        assertFalse(prop.isOWLTopDataProperty());
    }
View Full Code Here

        assertFalse(prop.isOWLTopDataProperty());
    }

    @Test
    public void testBottomDataPropertyNegative() {
        OWLDataPropertyExpression prop = DataProperty(iri("prop"));
        assertFalse(prop.isOWLBottomDataProperty());
    }
View Full Code Here

        OWLClass clsAIRI1 = Class(iri("ClsA1"));
        OWLClass clsAIRI2 = Class(iri("ClsA2"));
        OWLClass clsB = Class(iri("ClsB"));
        OWLClass clsC = Class(iri("ClsC"));
        OWLObjectPropertyExpression propA = ObjectProperty(iri("propA"));
        OWLDataPropertyExpression propB = DataProperty(iri("propA"));
        OWLIndividual indA = NamedIndividual(iri("indA"));
        OWLAnnotationProperty annoProp = AnnotationProperty(iri("annoProp"));
        Set<OWLAxiom> axioms1 = new HashSet<>();
        axioms1.add(SubClassOf(clsAIRI1, clsB));
        axioms1.add(EquivalentClasses(clsAIRI1, clsC));
View Full Code Here

    public void testRenameDataProperty() {
        OWLOntology ont = getOWLOntology("testont");
        OWLClass clsA = Class(iri("ClsA"));
        OWLDataProperty propA = DataProperty(iri("propA"));
        OWLDataProperty propA2 = DataProperty(iri("propA2"));
        OWLDataPropertyExpression propB = DataProperty(iri("propB"));
        OWLIndividual indA = NamedIndividual(iri("indA"));
        OWLAnnotationProperty annoProp = AnnotationProperty(iri("annoProp"));
        Set<OWLAxiom> axioms1 = new HashSet<>();
        axioms1.add(SubDataPropertyOf(propA, propB));
        axioms1.add(EquivalentDataProperties(propA, propB));
View Full Code Here

        OWLDataRange rng1R = DataIntersectionOf(dtC, dtB);
        OWLDataRange rng2 = DataUnionOf(dtA, dtB);
        OWLDataRange rng2R = DataUnionOf(dtC, dtB);
        OWLDataRange rng3 = DataComplementOf(dtA);
        OWLDataRange rng3R = DataComplementOf(dtC);
        OWLDataPropertyExpression propB = DataProperty(iri("propA"));
        Set<OWLAxiom> axioms1 = new HashSet<>();
        axioms1.add(DataPropertyRange(propB, rng1));
        axioms1.add(DataPropertyRange(propB, rng2));
        axioms1.add(DataPropertyRange(propB, rng3));
        ont.getOWLOntologyManager().addAxioms(ont, axioms1);
View Full Code Here

TOP

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

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.