Package au.csiro.snorocket.core.axioms

Examples of au.csiro.snorocket.core.axioms.NF2

381
382
383
384
385
386
387
388
389
390
391
        int numNf3 = 0;
        int numNf8 = 0;
        for(final IntIterator itr = ontologyNF2.keyIterator(); itr.hasNext();) {
            MonotonicCollection<NF2> nf2s = ontologyNF2.get(itr.next());
            for(final Iterator<NF2> itr2 = nf2s.iterator(); itr2.hasNext();) {
                NF2 nf2 = itr2.next();
               
                // TODO remove
                if(factory.lookupConceptId(nf2.lhsA).equals("287402001")) {
                    System.err.println(nf2);
                   
View Full Code Here
752
753
754
755
756
757
758
759
760
761
762
            final int a1 = nf1.lhsA1();
            final int a2 = nf1.lhsA2();
            addTerms(ontologyNF1, a1, nf1.getQueueEntry1());
            addTerms(ontologyNF1, a2, nf1.getQueueEntry2());
        } else if (term instanceof NF2) {
            final NF2 nf2 = (NF2) term;
            addTerms(ontologyNF2, nf2);
        } else if (term instanceof NF3) {
            final NF3 nf3 = (NF3) term;
            addTerms(ontologyNF3, nf3);
        } else if (term instanceof NF4) {
View Full Code Here
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
        // These terms are of the form A [ r.B and are indexed by A.
        for(IntIterator it = ontologyNF2.keyIterator(); it.hasNext(); ) {
            int a = it.next();
            MonotonicCollection<NF2> mc = ontologyNF2.get(a);
            for(Iterator<NF2> it2 = mc.iterator(); it2.hasNext(); ) {
                NF2 nf2 = it2.next();
                Object oa = factory.lookupConceptId(nf2.lhsA);
                String r = factory.lookupRoleId(nf2.rhsR).toString();
                Object ob = factory.lookupConceptId(nf2.rhsB);
                res.add(new ConceptInclusion(
                    transform(oa),
View Full Code Here
2482
2483
2484
2485
2486
2487
2488
2489
2490
2491
2492
2493
2494
2495
2496
2497
2498
2499
2500
2501
2502
2503
2504
2505
2506
2507
2508
2509
2510
2511
2512
2513
2514
        for(IntIterator it = ontologyNF2.keyIterator(); it.hasNext(); ) {
            int key = it.next();
            MonotonicCollection<NF2> entries = ontologyNF2.get(key);
            Iterator<NF2> it2 = entries.iterator();
            while(it2.hasNext()) {
                NF2 entry = it2.next();
               
                // These terms are of the form A [ r.B and are indexed by A.
               
                Object a = factory.lookupConceptId(entry.lhsA);
                String as = (a instanceof String) ? (String) a : "[" + a.toString() + "]";
                Object r = factory.lookupRoleId(entry.rhsR);
                String rs = (r instanceof String) ? (String) r :  "[" + r.toString() + "]";
                Object b = factory.lookupConceptId(entry.rhsB);
                String bs = (b instanceof String) ? (String) b :  "[" + b.toString() + "]";
                System.out.println("NF2: " + as + " [ " + rs + "." + bs);
            }
        }
       
        for(IntIterator it = ontologyNF3.keyIterator(); it.hasNext(); ) {
            int aId = it.next();
            ConcurrentMap<Integer, Collection<IConjunctionQueueEntry>> entries = ontologyNF3.get(aId);
            for(Integer rId : entries.keySet()) {
               
                // These terms are of the form r.A [ b and indexed by A (and then by r)
               
                for(IConjunctionQueueEntry entry : entries.get(rId)) {
                    int bId = entry.getB();
                    Object r = factory.lookupRoleId(rId.intValue());
                    String rs = (r instanceof String) ? (String) r :  "[" + r.toString() + "]";
                    Object a = factory.lookupConceptId(aId);
                    String as = (a instanceof String) ? (String) a : "[" + a.toString() + "]";
                    Object b = factory.lookupConceptId(bId);
View Full Code Here
381
382
383
384
385
386
387
388
389
390
391
        int numNf3 = 0;
        int numNf8 = 0;
        for(final IntIterator itr = ontologyNF2.keyIterator(); itr.hasNext();) {
            MonotonicCollection<NF2> nf2s = ontologyNF2.get(itr.next());
            for(final Iterator<NF2> itr2 = nf2s.iterator(); itr2.hasNext();) {
                NF2 nf2 = itr2.next();
               
                // TODO remove
                if(factory.lookupConceptId(nf2.lhsA).equals("287402001")) {
                    System.err.println(nf2);
                   
View Full Code Here
752
753
754
755
756
757
758
759
760
761
762
            final int a1 = nf1.lhsA1();
            final int a2 = nf1.lhsA2();
            addTerms(ontologyNF1, a1, nf1.getQueueEntry1());
            addTerms(ontologyNF1, a2, nf1.getQueueEntry2());
        } else if (term instanceof NF2) {
            final NF2 nf2 = (NF2) term;
            addTerms(ontologyNF2, nf2);
        } else if (term instanceof NF3) {
            final NF3 nf3 = (NF3) term;
            addTerms(ontologyNF3, nf3);
        } else if (term instanceof NF4) {
View Full Code Here
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
        // These terms are of the form A [ r.B and are indexed by A.
        for(IntIterator it = ontologyNF2.keyIterator(); it.hasNext(); ) {
            int a = it.next();
            MonotonicCollection<NF2> mc = ontologyNF2.get(a);
            for(Iterator<NF2> it2 = mc.iterator(); it2.hasNext(); ) {
                NF2 nf2 = it2.next();
                Object oa = factory.lookupConceptId(nf2.lhsA);
                String r = factory.lookupRoleId(nf2.rhsR).toString();
                Object ob = factory.lookupConceptId(nf2.rhsB);
                res.add(new ConceptInclusion(
                    transform(oa),
View Full Code Here
2480
2481
2482
2483
2484
2485
2486
2487
2488
2489
2490
2491
2492
2493
2494
2495
2496
2497
2498
2499
2500
2501
2502
2503
2504
2505
2506
2507
2508
2509
2510
2511
2512
        for(IntIterator it = ontologyNF2.keyIterator(); it.hasNext(); ) {
            int key = it.next();
            MonotonicCollection<NF2> entries = ontologyNF2.get(key);
            Iterator<NF2> it2 = entries.iterator();
            while(it2.hasNext()) {
                NF2 entry = it2.next();
               
                // These terms are of the form A [ r.B and are indexed by A.
               
                Object a = factory.lookupConceptId(entry.lhsA);
                String as = (a instanceof String) ? (String) a : "[" + a.toString() + "]";
                Object r = factory.lookupRoleId(entry.rhsR);
                String rs = (r instanceof String) ? (String) r :  "[" + r.toString() + "]";
                Object b = factory.lookupConceptId(entry.rhsB);
                String bs = (b instanceof String) ? (String) b :  "[" + b.toString() + "]";
                System.out.println("NF2: " + as + " [ " + rs + "." + bs);
            }
        }
       
        for(IntIterator it = ontologyNF3.keyIterator(); it.hasNext(); ) {
            int aId = it.next();
            ConcurrentMap<Integer, Collection<IConjunctionQueueEntry>> entries = ontologyNF3.get(aId);
            for(Integer rId : entries.keySet()) {
               
                // These terms are of the form r.A [ b and indexed by A (and then by r)
               
                for(IConjunctionQueueEntry entry : entries.get(rId)) {
                    int bId = entry.getB();
                    Object r = factory.lookupRoleId(rId.intValue());
                    String rs = (r instanceof String) ? (String) r :  "[" + r.toString() + "]";
                    Object a = factory.lookupConceptId(aId);
                    String as = (a instanceof String) ? (String) a : "[" + a.toString() + "]";
                    Object b = factory.lookupConceptId(bId);
View Full Code Here
TOP

Related Classes of au.csiro.snorocket.core.axioms.NF2

  • au.csiro.snorocket.core.NormalisedOntology
    • 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.