Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
        return res;
    }
   
    private void checkInconsistentProperty(OWLDataProperty dp, OWLDatatype type) {
        for (OWLDataPropertyRangeAxiom a : dprAxioms) {
            OWLDataPropertyExpression pe = a.getProperty();
            OWLDataRange r = a.getRange();
            // TODO: check DataOneOf
            // TODO: check OWLDataIntersectionOf
            OWLDatatype otype = r.asOWLDatatype();

            if (!pe.isAnonymous()) {
                if (!otype.equals(type)) {
                    problems.add("The literal value restriction " + dp + " is inconsistent with the data property " +
                        "range axiom " + a);
                }
            } else {
View Full Code Here
471
472
473
474
475
476
477
478
479
480
481
482
483
            public void visit(OWLDataMinCardinality e) {
                unimplemented(e);
            }

            public void visit(OWLDataHasValue e) {
                OWLDataPropertyExpression dpe = e.getProperty();
                // TODO: consider the case where dpe is anonymous
                OWLDataProperty dp = dpe.asOWLDataProperty();
                OWLLiteral l = e.getValue();
                OWLDatatype type = l.getDatatype();

                checkInconsistentProperty(dp, type);
View Full Code Here
899
900
901
902
903
904
905
906
907
908
909
        }
    }


    public OWLClassExpression parseDataRestriction() throws ParserException {
        OWLDataPropertyExpression prop = parseDataProperty();
        String kw = consumeToken();
        if (kw.equalsIgnoreCase(SOME)) {
            OWLDataRange rng = parseDataRange();
            if(rng==null) {
              throw new ParserException(getTokenSequence(), getTokenPos(), getTokenRow(), getTokenCol(), true, false, false, false, true, false, Collections.<String>emptySet());
View Full Code Here
3159
3160
3161
3162
3163
3164
3165
3166
3167
3168
3169
3170
3171
3172
3173
3174
3175
3176
3177
3178
3179
3180
3181
3182
3183
3184
3185
3186
3187
3188
3189
3190
3191
3192
3193
3194
3195
3196
3197
3198
3199
3200
3201
3202
3203
        }
        throw createException(TYPE);
    }

    public OWLAxiom parseAxiomWithDataPropertyStart() throws ParserException {
    OWLDataPropertyExpression prop = parseDataProperty();
    String kw = consumeToken();
    if (kw.equalsIgnoreCase(SOME)) {
      OWLDataRange dataRange = parseDataIntersectionOf();
      return parseClassAxiomRemainder(getDataFactory()
          .getOWLDataSomeValuesFrom(prop, dataRange));
    } else if (kw.equalsIgnoreCase(ONLY)) {
      OWLDataRange dataRange = parseDataIntersectionOf();
      return parseClassAxiomRemainder(getDataFactory()
          .getOWLDataAllValuesFrom(prop, dataRange));
    } else if (kw.equalsIgnoreCase(MIN)) {
      int cardi = parseInteger();
      OWLDataRange dataRange = parseDataIntersectionOf();
      return parseClassAxiomRemainder(getDataFactory()
          .getOWLDataMinCardinality(cardi, prop, dataRange));
    } else if (kw.equalsIgnoreCase(MAX)) {
      int cardi = parseInteger();
      OWLDataRange dataRange = parseDataIntersectionOf();
      return parseClassAxiomRemainder(getDataFactory()
          .getOWLDataMaxCardinality(cardi, prop, dataRange));
    } else if (kw.equalsIgnoreCase(EXACTLY)) {
      int cardi = parseInteger();
      OWLDataRange dataRange = parseDataIntersectionOf();
      return parseClassAxiomRemainder(getDataFactory()
          .getOWLDataExactCardinality(cardi, prop, dataRange));
    } else if (kw.equalsIgnoreCase(SUB_PROPERTY_OF)) {
      OWLDataPropertyExpression superProperty = parseDataPropertyExpression();
      return getDataFactory().getOWLSubDataPropertyOfAxiom(prop,
          superProperty);
    } else if (kw.equalsIgnoreCase(EQUIVALENT_TO)) {
      OWLDataPropertyExpression equivProp = parseDataPropertyExpression();
      return getDataFactory().getOWLEquivalentDataPropertiesAxiom(prop,
          equivProp);
    } else if (kw.equalsIgnoreCase(DISJOINT_WITH)) {
      OWLDataPropertyExpression disjProp = parseDataPropertyExpression();
      return getDataFactory().getOWLDisjointDataPropertiesAxiom(prop,
          disjProp);
    } else if (kw.equals(DOMAIN)) {
      OWLClassExpression domain = parseClassExpression();
      return getDataFactory().getOWLDataPropertyDomainAxiom(prop, domain);
View Full Code Here
68
69
70
71
72
73
74
75
    public OWLDataHasValue translate(IRI mainNode) {
        getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
        OWLLiteral lit = getConsumer().getLiteralObject(mainNode, OWL_HAS_VALUE, true);
        IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
        OWLDataPropertyExpression property = getConsumer().translateDataPropertyExpression(propertyIRI);
        return getDataFactory().getOWLDataHasValue(property, lit);
    }
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
        }
        else if (consumer.isSWRLDataValuedPropertyAtom(firstObject)) {
            SWRLIArgument arg1 = translateSWRLAtomIObject(firstObject, ARGUMENT_1.getIRI());
            SWRLDArgument arg2 = translateSWRLAtomDObject(firstObject, ARGUMENT_2.getIRI());
            IRI dataPropertyIRI = consumer.getResourceObject(firstObject, PROPERTY_PREDICATE.getIRI(), true);
            OWLDataPropertyExpression prop = consumer.translateDataPropertyExpression(dataPropertyIRI);
            return dataFactory.getSWRLDataPropertyAtom(prop, arg1, arg2);
        }
        else if (consumer.isSWRLIndividualPropertyAtom(firstObject)) {
            SWRLIArgument arg1 = translateSWRLAtomIObject(firstObject, ARGUMENT_1.getIRI());
            SWRLIArgument arg2 = translateSWRLAtomIObject(firstObject, ARGUMENT_2.getIRI());
View Full Code Here
563
564
565
566
567
568
569
570
571
572
573
        }
   
  }

  final public OWLClassExpression DataAllValuesFrom() throws ParseException {
    OWLDataPropertyExpression prop = null;
    OWLDataRange dataRange = null;
    jj_consume_token(DATAALLVALUESFROM);
    jj_consume_token(OPENPAR);
    prop = DataPropertyExpression();
    dataRange = DataRange();
View Full Code Here
575
576
577
578
579
580
581
582
583
584
585
        return dataFactory.getOWLDataAllValuesFrom(prop, dataRange);
   
  }

  final public OWLClassExpression DataSomeValuesFrom() throws ParseException {
    OWLDataPropertyExpression prop = null;
    OWLDataRange dataRange = null;
    jj_consume_token(DATASOMEVALUESFROM);
    jj_consume_token(OPENPAR);
    prop = DataPropertyExpression();
    dataRange = DataRange();
View Full Code Here
587
588
589
590
591
592
593
594
595
596
597
        return dataFactory.getOWLDataSomeValuesFrom(prop, dataRange);
   
  }

  final public OWLClassExpression DataHasValue() throws ParseException {
    OWLDataPropertyExpression prop = null;
    OWLLiteral literal = null;
    jj_consume_token(DATAHASVALUE);
    jj_consume_token(OPENPAR);
    prop = DataPropertyExpression();
    literal = Literal();
View Full Code Here
600
601
602
603
604
605
606
607
608
609
610
   
  }

  final public OWLClassExpression DataMinCardinality() throws ParseException {
    int cardinality = 0;
    OWLDataPropertyExpression prop = null;
    OWLDataRange rng = null;
    jj_consume_token(DATAMINCARDINALITY);
    jj_consume_token(OPENPAR);
    cardinality = Cardinality();
    prop = DataPropertyExpression();
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.