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

au.csiro.snorocket.core.axioms.NF4
Normal form 5: r ⊑ s
role r subsumes role s @author law223

                }
            }
        }
        
        for(Iterator<NF4> it = ontologyNF4.iterator(); it.hasNext(); ) {
            NF4 nf4 = it.next();
            int r = nf4.getR();
            int s = nf4.getS();
            
            res.add(
                new RoleInclusion(
                    new NamedRole(factory.lookupRoleId(r).toString()),
                    new NamedRole(factory.lookupRoleId(s).toString())

View Full Code Here

                }
            }
        }
        
        for(Iterator<NF4> it = ontologyNF4.iterator(); it.hasNext(); ) {
            NF4 nf4 = it.next();
            
            Object r = factory.lookupRoleId(nf4.getR());
            String rs = (r instanceof String) ? (String) r :  "[" + r.toString() + "]";
            Object s = factory.lookupRoleId(nf4.getS());
            String ss = (s instanceof String) ? (String) s :  "[" + s.toString() + "]";
            System.out.println("NF4: " + rs + " [ " + ss);
        }
        
        for(Iterator<NF5> it = ontologyNF5.iterator(); it.hasNext(); ) {

View Full Code Here

                }
            }
        }
        
        for(Iterator<NF4> it = ontologyNF4.iterator(); it.hasNext(); ) {
            NF4 nf4 = it.next();
            int r = nf4.getR();
            int s = nf4.getS();
            
            res.add(
                new RoleInclusion(
                    new NamedRole(factory.lookupRoleId(r).toString()),
                    new NamedRole(factory.lookupRoleId(s).toString())

View Full Code Here

                }
            }
        }
        
        for(Iterator<NF4> it = ontologyNF4.iterator(); it.hasNext(); ) {
            NF4 nf4 = it.next();
            
            Object r = factory.lookupRoleId(nf4.getR());
            String rs = (r instanceof String) ? (String) r :  "[" + r.toString() + "]";
            Object s = factory.lookupRoleId(nf4.getS());
            String ss = (s instanceof String) ? (String) s :  "[" + s.toString() + "]";
            System.out.println("NF4: " + rs + " [ " + ss);
        }
        
        for(Iterator<NF5> it = ontologyNF5.iterator(); it.hasNext(); ) {

View Full Code Here

TOP

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

au.csiro.snorocket.core.NormalisedOntology

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.