Examples of au.csiro.snorocket.core.concurrent.Context

Package au.csiro.snorocket.core.concurrent

Examples of au.csiro.snorocket.core.concurrent.Context

au.csiro.snorocket.core.concurrent.Context
Represents a context where derivations associated to one concept are executed. @author Alejandro Metke

        int[] cids = nf.getConceptsInAxiom();


        for (int j = 0; j < cids.length; j++) {
            int cid = cids[j];
            if (!contextIndex.containsKey(cid)) {
                Context c = new Context(cid);
                contextIndex.put(cid, c);
                if (c.activate()) {
                    todo.add(c);
                }
                if (log.isTraceEnabled()) {
                    log.trace("Added context " + cid);
                }

View Full Code Here

                    final IMonotonicCollection<IConjunctionQueueEntry> set = deltaNF1
                            .get(x);


                    for (final IConjunctionQueueEntry entry : set) {
                        // Add to corresponding context and activate
                        Context ctx = contextIndex.get(a);
                        ctx.addConceptQueueEntry(entry);
                        affectedContexts.add(ctx);
                        ctx.startTracking();
                        if (ctx.activate()) {
                            todo.add(ctx);
                        }
                    }
                }
            }

View Full Code Here

            addTerms(deltaNF2, nf2);
        }


        for (final IntIterator aItr = subsumptions.keyIterator(); aItr.hasNext();) {
            final int a = aItr.next();
            Context ctx = contextIndex.get(a);


            final IConceptSet Sa = subsumptions.get(a);


            for (final IntIterator xItr = Sa.iterator(); xItr.hasNext();) {
                final int x = xItr.next();


                if (deltaNF2.containsKey(x)) {
                    final IMonotonicCollection<NF2> set = deltaNF2.get(x);
                    for (NF2 entry : set) {
                        ctx.addRoleQueueEntry(entry);
                        affectedContexts.add(ctx);
                        ctx.startTracking();
                        if (ctx.activate()) {
                            todo.add(ctx);
                        }
                    }
                }
            }

View Full Code Here

                            .hasNext();) {
                        final int a = aItr.next();
                        boolean addIt = false;


                        // Get all of a's successors with role r
                        Context aCtx = contextIndex.get(a);
                        IConceptSet cs = aCtx.getSucc().lookupConcept(r);
                        for (final IntIterator bItr = cs.iterator(); bItr
                                .hasNext();) {
                            final int b = bItr.next();


                            if (subsumptions.get(b).contains(x)) {
                                addIt = true;
                                break;
                            }
                        }


                        if (addIt) {
                            aCtx.addConceptQueueEntry(entry);
                            affectedContexts.add(aCtx);
                            aCtx.startTracking();
                            if (aCtx.activate()) {
                                todo.add(aCtx);
                            }
                        }
                    }
                }

View Full Code Here

        int[] cids = nf.getConceptsInAxiom();


        for (int j = 0; j < cids.length; j++) {
            int cid = cids[j];
            if (!contextIndex.containsKey(cid)) {
                Context c = new Context(cid, this);
                contextIndex.put(cid, c);
                if (c.activate()) {
                    todo.add(c);
                }
                if (log.isTraceEnabled()) {
                    log.trace("Added context " + cid);
                }

View Full Code Here

                    final IMonotonicCollection<IConjunctionQueueEntry> set = deltaNF1
                            .get(x);


                    for (final IConjunctionQueueEntry entry : set) {
                        // Add to corresponding context and activate
                        Context ctx = contextIndex.get(a);
                        ctx.addConceptQueueEntry(entry);
                        affectedContexts.add(ctx);
                        ctx.startTracking();
                        if (ctx.activate()) {
                            todo.add(ctx);
                        }
                    }
                }
            }

View Full Code Here

            addTerms(deltaNF2, nf2);
        }


        for (final IntIterator aItr = subsumptions.keyIterator(); aItr.hasNext();) {
            final int a = aItr.next();
            Context ctx = contextIndex.get(a);


            final IConceptSet Sa = subsumptions.get(a);


            for (final IntIterator xItr = Sa.iterator(); xItr.hasNext();) {
                final int x = xItr.next();


                if (deltaNF2.containsKey(x)) {
                    final IMonotonicCollection<NF2> set = deltaNF2.get(x);
                    for (NF2 entry : set) {
                        ctx.addRoleQueueEntry(entry);
                        affectedContexts.add(ctx);
                        ctx.startTracking();
                        if (ctx.activate()) {
                            todo.add(ctx);
                        }
                    }
                }
            }

View Full Code Here

                            .hasNext();) {
                        final int a = aItr.next();
                        boolean addIt = false;


                        // Get all of a's successors with role r
                        Context aCtx = contextIndex.get(a);
                        IConceptSet cs = aCtx.getSucc().lookupConcept(r);
                        for (final IntIterator bItr = cs.iterator(); bItr
                                .hasNext();) {
                            final int b = bItr.next();


                            if (subsumptions.get(b).contains(x)) {
                                addIt = true;
                                break;
                            }
                        }


                        if (addIt) {
                            aCtx.addConceptQueueEntry(entry);
                            affectedContexts.add(aCtx);
                            aCtx.startTracking();
                            if (aCtx.activate()) {
                                todo.add(aCtx);
                            }
                        }
                    }
                }

View Full Code Here

        for (final NF4 nf4 : deltaNF4) {
            for (final IntIterator aItr = subsumptions.keyIterator(); aItr
                    .hasNext();) {
                final int a = aItr.next();


                Context aCtx = contextIndex.get(a);
                IConceptSet cs = aCtx.getSucc().lookupConcept(nf4.getR());


                for (final IntIterator bItr = cs.iterator(); bItr.hasNext();) {
                    final int b = bItr.next();


                    IRoleQueueEntry entry = new IRoleQueueEntry() {
                        /**
                         * Serialisation version.
                         */
                        private static final long serialVersionUID = 1L;


                        public int getR() {
                            return nf4.getS();
                        }


                        public int getB() {
                            return b;
                        }


                    };
                    aCtx.addRoleQueueEntry(entry);
                    affectedContexts.add(aCtx);
                    aCtx.startTracking();
                    if (aCtx.activate()) {
                        todo.add(aCtx);
                    }
                }
            }
        }

View Full Code Here

            final int t = nf5.getT();


            for (final IntIterator aItr = subsumptions.keyIterator(); aItr.hasNext();) {
                final int a = aItr.next();


                Context aCtx = contextIndex.get(a);


                for (final IntIterator bItr = aCtx.getSucc().lookupConcept(nf5.getR()).iterator(); bItr.hasNext();) {
                    final int b = bItr.next();


                    Context bCtx = contextIndex.get(b);


                    for (final IntIterator cItr = bCtx.getSucc().lookupConcept(nf5.getS()).iterator(); cItr.hasNext();) {
                        final int c = cItr.next();


                        if (!aCtx.getSucc().lookupConcept(t).contains(c)) {
                            final IRoleQueueEntry entry = new IRoleQueueEntry() {

View Full Code Here

0 1 2

TOP

Related Classes of au.csiro.snorocket.core.concurrent.Context

au.csiro.ontology.model.Operator

au.csiro.snorocket.core.axioms.IConjunctionQueueEntry

au.csiro.snorocket.core.axioms.IFeatureQueueEntry

au.csiro.snorocket.core.axioms.IRoleQueueEntry

au.csiro.snorocket.core.model.AbstractLiteral

au.csiro.snorocket.core.model.Datatype

au.csiro.snorocket.core.NormalisedOntology

au.csiro.snorocket.core.SnorocketReasoner

au.csiro.snorocket.core.util.IConceptSet

au.csiro.snorocket.core.util.RoleSet

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.