Exemplo n.º 1
0
 public virtual object Visit(CogniPy.CNL.DL.ComplexRoleInclusion e)
 {
     using (isKindOf.set("R"))
     {
         foreach (Node n in e.RoleChain)
         {
             n.accept(this);
         }
         e.R.accept(this);
         return(e);
     }
 }
Exemplo n.º 2
0
 public object Visit(CogniPy.CNL.DL.ComplexRoleInclusion e)
 {
     using (isKindOf.set(EntityKind.Role))
     {
         StringBuilder sb    = new StringBuilder();
         bool          first = true;
         foreach (Node n in e.RoleChain)
         {
             if (first)
             {
                 first = false;
             }
             else
             {
                 sb.Append("○");
             }
             sb.Append(n.accept(this));
         }
         sb.Append("⊆");
         sb.Append(Modality(e.modality));
         sb.Append(e.R.accept(this));
         return(sb.ToString());
     }
 }