Package au.csiro.snorocket.core.axioms

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

524
525
526
527
528
529
530
531
532
533
534
        for(Axiom aa : axioms) {
            if(aa instanceof ConceptInclusion) {
                ConceptInclusion ci = (ConceptInclusion)aa;
                Concept lhs = ci.getLhs();
                Concept rhs = ci.getRhs();
                res.add(new GCI(transformConcept(lhs), transformConcept(rhs)));
            } else if(aa instanceof RoleInclusion) {
                RoleInclusion ri = (RoleInclusion)aa;
                Role[] lh = ri.getLhs();
                NamedRole[] lhs = new NamedRole[lh.length];
                for(int i = 0; i < lh.length; i++) {
View Full Code Here
660
661
662
663
664
665
666
667
668
669
670
671
672
673
        if(log.isTraceEnabled()) {
            log.trace("Normalised axioms:");
            for(Inclusion inc : done) {
                StringBuilder sb = new StringBuilder();
                if(inc instanceof GCI) {
                    GCI gci = (GCI)inc;
                    sb.append(printInternalObject(gci.lhs()));
                    sb.append(" [ ");
                    sb.append(printInternalObject(gci.rhs()));
                } else if(inc instanceof RI) {
                    RI ri = (RI)inc;
                    int[] lhs = ri.getLhs();
                    sb.append(factory.lookupRoleId(lhs[0]));
                    for(int i = 1; i < lhs.length; i++) {
View Full Code Here
524
525
526
527
528
529
530
531
532
533
534
        for(Axiom aa : axioms) {
            if(aa instanceof ConceptInclusion) {
                ConceptInclusion ci = (ConceptInclusion)aa;
                Concept lhs = ci.getLhs();
                Concept rhs = ci.getRhs();
                res.add(new GCI(transformConcept(lhs), transformConcept(rhs)));
            } else if(aa instanceof RoleInclusion) {
                RoleInclusion ri = (RoleInclusion)aa;
                Role[] lh = ri.getLhs();
                NamedRole[] lhs = new NamedRole[lh.length];
                for(int i = 0; i < lh.length; i++) {
View Full Code Here
660
661
662
663
664
665
666
667
668
669
670
671
672
673
        if(log.isTraceEnabled()) {
            log.trace("Normalised axioms:");
            for(Inclusion inc : done) {
                StringBuilder sb = new StringBuilder();
                if(inc instanceof GCI) {
                    GCI gci = (GCI)inc;
                    sb.append(printInternalObject(gci.lhs()));
                    sb.append(" [ ");
                    sb.append(printInternalObject(gci.rhs()));
                } else if(inc instanceof RI) {
                    RI ri = (RI)inc;
                    int[] lhs = ri.getLhs();
                    sb.append(factory.lookupRoleId(lhs[0]));
                    for(int i = 1; i < lhs.length; i++) {
View Full Code Here
TOP

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

  • au.csiro.snorocket.core.model.AbstractConcept
  • au.csiro.snorocket.core.model.Concept
  • au.csiro.snorocket.core.model.Conjunction
  • au.csiro.snorocket.core.model.Datatype
  • au.csiro.snorocket.core.model.Existential
  • 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.