Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
   
  }

  final public OWLIndividualAxiom NegativeDataPropertyAssertion() throws ParseException {
    OWLIndividual subj;
    OWLDataPropertyExpression prop;
    OWLLiteral obj;
    Set<OWLAnnotation> axiomAnnos;
    jj_consume_token(NEGATIVEDATAPROPERTYASSERTION);
    jj_consume_token(OPENPAR);
    axiomAnnos = AxiomAnnotationSet();
View Full Code Here
108
109
110
111
112
113
114
115
116
117
        addAxiom(getDataFactory().getOWLNegativeObjectPropertyAssertionAxiom(prop, sourceInd, targetInd, annos));
    }

    private void translateNegativeDataPropertyAssertion(IRI subject, IRI predicate, IRI object, IRI source, IRI property, OWLLiteral target, Set<OWLAnnotation> annos) {
        OWLIndividual sourceInd = getConsumer().getOWLIndividual(source);
        OWLDataPropertyExpression prop = getConsumer().translateDataPropertyExpression(property);
        OWLLiteral lit = target;
        consumeTriple(subject, predicate, object);
        addAxiom(getDataFactory().getOWLNegativeDataPropertyAssertionAxiom(prop, sourceInd, lit, annos));
    }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
63
    }

    @Override
  protected int compareObjectOfSameType(OWLObject object) {
        @SuppressWarnings("unchecked") OWLQuantifiedRestriction<OWLDataRange, OWLDataPropertyExpression, OWLDataRange> other = (OWLQuantifiedRestriction<OWLDataRange, OWLDataPropertyExpression, OWLDataRange>) object;
        OWLDataPropertyExpression p1 = this.getProperty();
        OWLDataPropertyExpression p2 = other.getProperty();
        int diff = p1.compareTo(p2);
        if (diff != 0) {
            return diff;
        }
        return getFiller().compareTo(other.getFiller());
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
        }
        if (target == null) {
            target = getConsumer().getLiteralObject(subject, OWLRDFVocabulary.RDF_OBJECT.getIRI(), true);
        }
        OWLIndividual sourceInd = getConsumer().getOWLIndividual(source);
        OWLDataPropertyExpression prop = getConsumer().translateDataPropertyExpression(property);
        consumeTriple(subject, predicate, object);
        getConsumer().translateAnnotations(subject);
        Set<OWLAnnotation> annos = getConsumer().getPendingAnnotations();
        addAxiom(getDataFactory().getOWLNegativeDataPropertyAssertionAxiom(prop, sourceInd, target, annos));
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
    public OWLDataMinCardinality translate(IRI mainNode) {
        getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
        int cardi = translateInteger(mainNode, OWL_MIN_CARDINALITY);
        IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
        OWLDataPropertyExpression property = getConsumer().translateDataPropertyExpression(propertyIRI);
        IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true);
        if (fillerIRI != null && !getConsumer().getConfiguration().isStrict()) {
            // Be tolerant
            OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
            return getDataFactory().getOWLDataMinCardinality(cardi, property, filler);
View Full Code Here
229
230
231
232
233
234
235
236
237
238
239
    throw new Error("Missing return statement in function");
  }

  final public OWLAxiom parseDataPropertyAssertion() throws ParseException {
    OWLIndividual subj;
    OWLDataPropertyExpression prop;
    OWLLiteral obj;
    prop = parseDataPropertyId();
    jj_consume_token(OPENPAR);
    subj = parseIndividualId();
    jj_consume_token(31);
View Full Code Here
519
520
521
522
523
524
525
526
527
528
529
        {if (true) return factory.getOWLObjectSomeValuesFrom(prop, filler);}
    throw new Error("Missing return statement in function");
  }

  final public OWLClassExpression parseDataSomeRestriction() throws ParseException {
    OWLDataPropertyExpression prop;
    OWLDataRange filler;
    jj_consume_token(SOME);
    prop = parseDataPropertyId();
    if (jj_2_36(5)) {
      jj_consume_token(DOT);
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
    public OWLDataExactCardinality translate(IRI mainNode) {
        getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
        int cardi = translateInteger(mainNode, OWL_CARDINALITY);
        IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
        OWLDataPropertyExpression property = getConsumer().translateDataPropertyExpression(propertyIRI);
        IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true);
        if (fillerIRI != null && !getConsumer().getConfiguration().isStrict()) {
            // Be tolerant
            OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
            return getDataFactory().getOWLDataExactCardinality(cardi, property, filler);
View Full Code Here
68
69
70
71
72
73
74
75
76
77
    public OWLDataExactCardinality translate(IRI mainNode) {
        getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
        int cardi = translateInteger(mainNode, OWL_QUALIFIED_CARDINALITY);
        IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
        OWLDataPropertyExpression property = getConsumer().translateDataPropertyExpression(propertyIRI);
        IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true);
        OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
        return getDataFactory().getOWLDataExactCardinality(cardi, property, filler);
    }
View Full Code Here
68
69
70
71
72
73
74
75
76
77
    public OWLDataMaxCardinality translate(IRI mainNode) {
        getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
        int cardi = translateInteger(mainNode, OWL_MAX_QUALIFIED_CARDINALITY);
        IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
        OWLDataPropertyExpression property = getConsumer().translateDataPropertyExpression(propertyIRI);
        IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true);
        OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
        return getDataFactory().getOWLDataMaxCardinality(cardi, property, filler);
    }
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.