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

        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

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

                @Nonnull IRI object) {
            IRI source = source(subject);
            IRI property = property(subject);
            OWLLiteral target = target(subject);
            OWLIndividual sourceInd = consumer.getOWLIndividual(source);
            OWLDataPropertyExpression prop = consumer
                    .translateDataPropertyExpression(property);
            consumeTriple(subject, predicate, object);
            consumer.translateAnnotations(subject);
            Set<OWLAnnotation> annos = consumer.getPendingAnnotations();
            addAxiom(df.getOWLNegativeDataPropertyAssertionAxiom(prop,

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

                @Nonnull IRI subject, @Nonnull IRI predicate,
                @Nonnull IRI object, @Nonnull IRI source,
                @Nonnull IRI property, @Nonnull OWLLiteral target,
                @Nonnull Set<OWLAnnotation> annos) {
            OWLIndividual sourceInd = consumer.getOWLIndividual(source);
            OWLDataPropertyExpression prop = consumer
                    .translateDataPropertyExpression(property);
            consumeTriple(subject, predicate, object);
            addAxiom(df.getOWLNegativeDataPropertyAssertionAxiom(prop,
                    sourceInd, target, annos));
        }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

        return factory.getOWLObjectPropertyAssertionAxiom(prop, subj, obj);
    }


    private OWLAxiom parseDataPropertyAssertion() {
        OWLIndividual subj;
        OWLDataPropertyExpression prop;
        OWLLiteral obj;
        prop = parseDataPropertyId();
        jj_consume_token(OPENPAR);
        subj = parseIndividualId();
        jj_consume_token(31);

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

        filler = NamedClassOrNestedDescription();
        return factory.getOWLObjectSomeValuesFrom(prop, filler);
    }


    private OWLClassExpression parseDataSomeRestriction() {
        OWLDataPropertyExpression prop;
        OWLDataRange filler;
        jj_consume_token(SOME);
        prop = parseDataPropertyId();
        if (jj_2_36(5)) {
            jj_consume_token(DOT);

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_ALL_VALUES_FROM, 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_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);
            if (fillerIRI != null
                    && !getConsumer().getConfiguration().isStrict()) {

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

                    OWL_HAS_VALUE, true);
            assert lit != null;
            IRI propertyIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_PROPERTY, true);
            assert propertyIRI != null;
            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            return getDataFactory().getOWLDataHasValue(property, lit);
        }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression


    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLDataPropertyExpression propA = DataProperty(iri("propA"));
        OWLDataPropertyExpression propB = DataProperty(iri("propB"));
        axioms.add(DisjointDataProperties(propA, propB));
        return axioms;
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

            consumeTriple(subject, predicate, object);
        }


        private void translateAsDataPropertyRange(@Nonnull IRI subject,
                @Nonnull IRI predicate, @Nonnull IRI object) {
            OWLDataPropertyExpression property = translateDataProperty(subject);
            OWLDataRange dataRange = translateDataRange(object);
            addAxiom(df.getOWLDataPropertyRangeAxiom(property, dataRange,
                    getPendingAnnotations()));
            consumeTriple(subject, predicate, object);
        }

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.