Package org.semanticweb.HermiT.model

Examples of org.semanticweb.HermiT.model.DataRange

106
107
108
109
110
111
112
113
114
115
116
                if (m_unknownDatatypeRestrictionsPermanent.contains(datatypeRestriction) || (m_unknownDatatypeRestrictionsAdditional!=null && m_unknownDatatypeRestrictionsAdditional.contains(datatypeRestriction)))
                    generateInequalitiesFor(datatypeRestriction,(Node)tupleBuffer[1],m_assertionsDeltaOldRetrieval.getDependencySet(),NegationDataRange.create(datatypeRestriction));
            }
            else if (dataRangeObject instanceof NegationDataRange) {
                NegationDataRange negationDataRange=(NegationDataRange)dataRangeObject;
                DataRange negatedDataRange=negationDataRange.getNegatedDataRange();
                if (negatedDataRange instanceof DatatypeRestriction) {
                    DatatypeRestriction datatypeRestriction=(DatatypeRestriction)negatedDataRange;
                    if (m_unknownDatatypeRestrictionsPermanent.contains(datatypeRestriction) || (m_unknownDatatypeRestrictionsAdditional!=null && m_unknownDatatypeRestrictionsAdditional.contains(datatypeRestriction)))
                        generateInequalitiesFor(negationDataRange,(Node)tupleBuffer[1],m_assertionsDeltaOldRetrieval.getDependencySet(),datatypeRestriction);
                }
View Full Code Here
276
277
278
279
280
281
282
283
284
285
286
            }
        }
        else if (dataRange instanceof ConstantEnumeration)
            variable.m_positiveConstantEnumerations.add((ConstantEnumeration)dataRange);
        else if (dataRange instanceof NegationDataRange) {
            DataRange negatedDataRange=((NegationDataRange)dataRange).getNegatedDataRange();
            if (negatedDataRange instanceof DatatypeRestriction) {
                DatatypeRestriction datatypeRestriction=(DatatypeRestriction)negatedDataRange;
                if (!m_unknownDatatypeRestrictionsPermanent.contains(datatypeRestriction) && (m_unknownDatatypeRestrictionsAdditional==null || !m_unknownDatatypeRestrictionsAdditional.contains(datatypeRestriction)))
                    variable.m_negativeDatatypeRestrictions.add(datatypeRestriction);
            }
View Full Code Here
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
        m_extensionManager.setClash(m_unionDependencySet);
    }
    protected void loadAssertionDependencySets(DVariable variable) {
        Node node=variable.m_node;
        for (int index=variable.m_positiveDatatypeRestrictions.size()-1;index>=0;--index) {
            DataRange dataRange=variable.m_positiveDatatypeRestrictions.get(index);
            DependencySet dependencySet=m_extensionManager.getAssertionDependencySet(dataRange,node);
            m_unionDependencySet.addConstituent(dependencySet);
        }
        for (int index=variable.m_negativeDatatypeRestrictions.size()-1;index>=0;--index) {
            DataRange dataRange=(DataRange)variable.m_negativeDatatypeRestrictions.get(index).getNegation();
            DependencySet dependencySet=m_extensionManager.getAssertionDependencySet(dataRange,node);
            m_unionDependencySet.addConstituent(dependencySet);
        }
        for (int index=variable.m_positiveConstantEnumerations.size()-1;index>=0;--index) {
            DataRange dataRange=variable.m_positiveConstantEnumerations.get(index);
            DependencySet dependencySet=m_extensionManager.getAssertionDependencySet(dataRange,node);
            m_unionDependencySet.addConstituent(dependencySet);
        }
        for (int index=variable.m_negativeConstantEnumerations.size()-1;index>=0;--index) {
            DataRange dataRange=(DataRange)variable.m_negativeConstantEnumerations.get(index).getNegation();
            DependencySet dependencySet=m_extensionManager.getAssertionDependencySet(dataRange,node);
            m_unionDependencySet.addConstituent(dependencySet);
        }
    }
View Full Code Here
TOP

Related Classes of org.semanticweb.HermiT.model.DataRange

  • org.semanticweb.HermiT.tableau.DatatypeManager
    • 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.