Examples of OWLDataPropertyExpression

org.semanticweb.owl.model.OWLDataPropertyExpression
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 A high level interface to describe different types of data properties. The current OWL 1.1 spec only allows straight forward named data properties, it doesn't for example allow inverse data properties.
org.semanticweb.owlapi.model.OWLDataPropertyExpression
A high level interface to describe different types of data properties. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

            int cardi = translateInteger(mainNode,
                    OWL_MIN_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

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

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

            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

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

                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

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

        assertFalse(prop.isOWLBottomObjectProperty());
    }


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

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

        assertTrue(prop.isOWLTopDataProperty());
    }


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

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

        assertTrue(prop.isOWLBottomDataProperty());
    }


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

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

        assertFalse(prop.isOWLTopDataProperty());
    }


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

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

        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

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

    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

0 1 2 3 4 5

TOP

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.