Package org.semanticweb.HermiT.model

Examples of org.semanticweb.HermiT.model.AnnotatedEquality

92
93
94
95
96
97
98
99
100
101
102
    public boolean processAnnotatedEqualities() {
        boolean result=false;
        while (m_firstUnprocessedAnnotatedEquality<m_annotatedEqualities.getFirstFreeTupleIndex()) {
            m_annotatedEqualities.retrieveTuple(m_bufferForAnnotatedEquality,m_firstUnprocessedAnnotatedEquality);
            m_firstUnprocessedAnnotatedEquality++;
            AnnotatedEquality annotatedEquality=(AnnotatedEquality)m_bufferForAnnotatedEquality[0];
            Node node0=(Node)m_bufferForAnnotatedEquality[1];
            Node node1=(Node)m_bufferForAnnotatedEquality[2];
            Node node2=(Node)m_bufferForAnnotatedEquality[3];
            DependencySet dependencySet=(DependencySet)m_bufferForAnnotatedEquality[4];
            if (applyNIRule(annotatedEquality,node0,node1,node2,dependencySet))
View Full Code Here
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
                buffer.append(getArgument(disjunctIndex,0).getNodeID());
                buffer.append(" == ");
                buffer.append(getArgument(disjunctIndex,1).getNodeID());
            }
            else if (dlPredicate instanceof AnnotatedEquality) {
                AnnotatedEquality annotatedEquality=(AnnotatedEquality)dlPredicate;
                buffer.append('[');
                buffer.append(getArgument(disjunctIndex,0).getNodeID());
                buffer.append(" == ");
                buffer.append(getArgument(disjunctIndex,1).getNodeID());
                buffer.append("]@atMost(");
                buffer.append(annotatedEquality.getCaridnality());
                buffer.append(' ');
                buffer.append(annotatedEquality.getOnRole().toString(prefixes));
                buffer.append(' ');
                buffer.append(annotatedEquality.getToConcept().toString(prefixes));
                buffer.append(")(");
                buffer.append(getArgument(disjunctIndex,2).getNodeID());
                buffer.append(')');
            }
            else {
View Full Code Here
641
642
643
644
645
646
647
648
649
650
651
            }
            else
                throw new IllegalStateException("Internal error: Invalid ontology normal form.");
            Role onRole=getRole(onObjectProperty);
            LiteralConcept toConcept=getLiteralConcept(filler);
            AnnotatedEquality annotatedEquality=AnnotatedEquality.create(cardinality,onRole,toConcept);
            Variable[] yVars=new Variable[cardinality+1];
            for (int i=0;i<yVars.length;i++) {
                yVars[i]=nextY();
                m_bodyAtoms.add(getRoleAtom(onObjectProperty,X,yVars[i]));
                if (atomicConcept!=null) {
View Full Code Here
TOP

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

  • org.semanticweb.HermiT.structural.OWLClausification$NormalizedAxiomClausifier
  • org.semanticweb.HermiT.tableau.GroundDisjunction
  • org.semanticweb.HermiT.tableau.NominalIntroductionManager
    • 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.