Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

3076
3077
3078
3079
3080
3081
3082
3083
3084
3085
3086
                @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
3223
3224
3225
3226
3227
3228
3229
3230
3231
3232
3233
                @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
189
190
191
192
193
194
195
196
197
198
199
        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
452
453
454
455
456
457
458
459
460
461
462
        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
635
636
637
638
639
640
641
642
643
644
645
            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
674
675
676
677
678
679
680
681
682
683
684
                    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
722
723
724
725
726
727
728
729
730
                    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
33
34
35
36
37
38
39
40
41
42
    @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
2168
2169
2170
2171
2172
2173
2174
2175
2176
2177
2178
            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
69
70
71
72
73
74
75
76
77
78
79
80
    }

    @Override
    protected int compareObjectOfSameType(OWLObject object) {
        OWLQuantifiedDataRestriction other = (OWLQuantifiedDataRestriction) object;
        OWLDataPropertyExpression p1 = getProperty();
        OWLDataPropertyExpression p2 = other.getProperty();
        int diff = p1.compareTo(p2);
        if (diff != 0) {
            return diff;
        }
        return getFiller().compareTo(other.getFiller());
View Full Code Here
TOP

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

  • au.csiro.ontology.importer.owl.OWLImporter
  • org.coode.owlapi.functionalparser.OWLFunctionalSyntaxParser
  • org.coode.owlapi.manchesterowlsyntax.ManchesterOWLSyntaxEditorParser
  • org.coode.owlapi.rdfxml.parser.DataAllValuesFromTranslator
  • org.coode.owlapi.rdfxml.parser.DataCardinalityTranslator
  • org.coode.owlapi.rdfxml.parser.DataHasValueTranslator
  • org.coode.owlapi.rdfxml.parser.DataMaxCardinalityTranslator
  • org.coode.owlapi.rdfxml.parser.DataMaxQualifiedCardinalityTranslator
  • org.coode.owlapi.rdfxml.parser.DataMinCardinalityTranslator
  • org.coode.owlapi.rdfxml.parser.DataMinQualifiedCardinalityTranslator
    • 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.