Examples of NF5

au.csiro.snorocket.core.axioms.NF5
Normal form 5: r ∘ s ⊑ t
role r composed with role s subsumes role t @author law223

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

                )
            );
        }
        
        for(Iterator<NF5> it = ontologyNF5.iterator(); it.hasNext(); ) {
            NF5 nf5 = it.next();
            int r = nf5.getR();
            int s = nf5.getS();
            int t = nf5.getT();
            
            res.add(
                new RoleInclusion(
                    new Role[] {
                            new NamedRole(factory.lookupRoleId(r).toString()),

View Full Code Here

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

            String ss = (s instanceof String) ? (String) s :  "[" + s.toString() + "]";
            System.out.println("NF4: " + rs + " [ " + ss);
        }
        
        for(Iterator<NF5> it = ontologyNF5.iterator(); it.hasNext(); ) {
            NF5 nf5 = it.next();
            
            Object r = factory.lookupRoleId(nf5.getR());
            String rs = (r instanceof String) ? (String) r :  "[" + r.toString() + "]";
            Object s = factory.lookupRoleId(nf5.getS());
            String ss = (s instanceof String) ? (String) s :  "[" + s.toString() + "]";
            Object t = factory.lookupRoleId(nf5.getT());
            String ts = (t instanceof String) ? (String) t :  "[" + t.toString() + "]";
            System.out.println("NF5: " + rs + " o " + ss + " [ " + ts);
        }
        
        for(IntIterator it = ontologyNF7.keyIterator(); it.hasNext(); ) {

View Full Code Here

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

                )
            );
        }
        
        for(Iterator<NF5> it = ontologyNF5.iterator(); it.hasNext(); ) {
            NF5 nf5 = it.next();
            int r = nf5.getR();
            int s = nf5.getS();
            int t = nf5.getT();
            
            res.add(
                new RoleInclusion(
                    new Role[] {
                            new NamedRole(factory.lookupRoleId(r).toString()),

View Full Code Here

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

            String ss = (s instanceof String) ? (String) s :  "[" + s.toString() + "]";
            System.out.println("NF4: " + rs + " [ " + ss);
        }
        
        for(Iterator<NF5> it = ontologyNF5.iterator(); it.hasNext(); ) {
            NF5 nf5 = it.next();
            
            Object r = factory.lookupRoleId(nf5.getR());
            String rs = (r instanceof String) ? (String) r :  "[" + r.toString() + "]";
            Object s = factory.lookupRoleId(nf5.getS());
            String ss = (s instanceof String) ? (String) s :  "[" + s.toString() + "]";
            Object t = factory.lookupRoleId(nf5.getT());
            String ts = (t instanceof String) ? (String) t :  "[" + t.toString() + "]";
            System.out.println("NF5: " + rs + " o " + ss + " [ " + ts);
        }
        
        for(IntIterator it = ontologyNF7.keyIterator(); it.hasNext(); ) {

View Full Code Here

TOP

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.