Examples of asOWLDatatype()

Examples of org.semanticweb.owlapi.model.OWLDataRange.asOWLDatatype()

1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
    @Override
    void handleChild(@Nonnull AbstractOWLDataRangeHandler h) {
        OWLDataRange handledDataRange = h.getOWLObject();
        if (handledDataRange.isDatatype() && datatype == null) {
            datatype = handledDataRange.asOWLDatatype();
        } else {
            dataRange = handledDataRange;
        }
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataRange.asOWLDatatype()

1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
    @Override
    void handleChild(@Nonnull AbstractOWLDataRangeHandler h) {
        OWLDataRange dr = h.getOWLObject();
        if (dr.isDatatype()) {
            restrictedDataRange = dr.asOWLDatatype();
        }
    }

    @Override
    void handleChild(@Nonnull OWLDatatypeFacetRestrictionElementHandler h) {
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataRange.asOWLDatatype()

710
711
712
713
714
715
716
717
718
719
720
                    String dt=m_dps2ranges.get(dp).getIRI().toString();
                    if (dt2maxRangeCardinality.containsKey(dt) && n>dt2maxRangeCardinality.get(dt))
                        return;
                }
                if (dr.isDatatype()) {
                    String dt=dr.asOWLDatatype().getIRI().toString();
                    if (dt2maxRangeCardinality.containsKey(dt) && n>dt2maxRangeCardinality.get(dt))
                        return;
                }
                AtomicRole atomicRole=getAtomicRole(object.getProperty());
                LiteralConcept literalConcept=m_dataRangeConverter.convertDataRange(object.getFiller());
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataRange.asOWLDatatype()

803
804
805
806
807
808
809
810
811
812
813
        public void visit(OWLDataUnionOf dr) {
            throw new IllegalStateException("Internal error: invalid normal form.");
        }
        public void visit(OWLDataComplementOf dr) {
            OWLDataRange description=dr.getDataRange();
            if (description.isDatatype() && (Prefixes.isInternalIRI(description.asOWLDatatype().getIRI().toString()) || m_definedDatatypeIRIs.contains(description.asOWLDatatype()))) {
                m_bodyAtoms.add(Atom.create(AtomicConcept.create(description.asOWLDatatype().getIRI().toString()),X));
            }
            else {
                LiteralConcept literalConcept=m_dataRangeConverter.convertDataRange(dr);
                if (literalConcept instanceof AtomicNegationConcept) {
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataRange.asOWLDatatype()

803
804
805
806
807
808
809
810
811
812
813
        public void visit(OWLDataUnionOf dr) {
            throw new IllegalStateException("Internal error: invalid normal form.");
        }
        public void visit(OWLDataComplementOf dr) {
            OWLDataRange description=dr.getDataRange();
            if (description.isDatatype() && (Prefixes.isInternalIRI(description.asOWLDatatype().getIRI().toString()) || m_definedDatatypeIRIs.contains(description.asOWLDatatype()))) {
                m_bodyAtoms.add(Atom.create(AtomicConcept.create(description.asOWLDatatype().getIRI().toString()),X));
            }
            else {
                LiteralConcept literalConcept=m_dataRangeConverter.convertDataRange(dr);
                if (literalConcept instanceof AtomicNegationConcept) {
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataRange.asOWLDatatype()

804
805
806
807
808
809
810
811
812
813
814
            throw new IllegalStateException("Internal error: invalid normal form.");
        }
        public void visit(OWLDataComplementOf dr) {
            OWLDataRange description=dr.getDataRange();
            if (description.isDatatype() && (Prefixes.isInternalIRI(description.asOWLDatatype().getIRI().toString()) || m_definedDatatypeIRIs.contains(description.asOWLDatatype()))) {
                m_bodyAtoms.add(Atom.create(AtomicConcept.create(description.asOWLDatatype().getIRI().toString()),X));
            }
            else {
                LiteralConcept literalConcept=m_dataRangeConverter.convertDataRange(dr);
                if (literalConcept instanceof AtomicNegationConcept) {
                    AtomicConcept negatedConcept=((AtomicNegationConcept)literalConcept).getNegatedAtomicConcept();
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataRange.asOWLDatatype()

54
55
56
57
58
59
60
61
62
63
64

    public void handleChild(AbstractOWLDataRangeHandler handler) {
        OWLDataRange dr = handler.getOWLObject();
        if (dr.isDatatype()) {
            restrictedDataRange = dr.asOWLDatatype();
        }
    }


    public void handleChild(OWLDatatypeFacetRestrictionElementHandler handler) {
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataRange.asOWLDatatype()

43
44
45
46
47
48
49
50
51
52
53
    }

    public void handleChild(AbstractOWLDataRangeHandler handler) throws OWLXMLParserException {
        OWLDataRange handledDataRange = handler.getOWLObject();
        if(handledDataRange.isDatatype() && datatype == null) {
            datatype = handledDataRange.asOWLDatatype();
        }
        else {
            dataRange = handledDataRange;
        }
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataRange.asOWLDatatype()

422
423
424
425
426
427
428
429
430
431
432
        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);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataRange.asOWLDatatype()

73
74
75
76
77
78
79
80
81
82
83
    @Override
  public void handleChild(AbstractOWLDataRangeHandler handler) {
        OWLDataRange dr = handler.getOWLObject();
        if (dr.isDatatype()) {
            restrictedDataRange = dr.asOWLDatatype();
        }
    }


    @Override
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.