Ejemplo n.º 1
0
 public virtual object Visit(CogniPy.CNL.DL.OnlyRestriction e)
 {
     using (isKindOf.set("R"))
         e.R.accept(this);
     using (isKindOf.set("C"))
         e.C.accept(this);
     return(e);
 }
Ejemplo n.º 2
0
        public object Visit(CogniPy.CNL.DL.OnlyRestriction e)
        {
            StringBuilder sb = new StringBuilder();

            using (isKindOf.set(EntityKind.Role))
            {
                sb.Append("∀" + brack(e, e.R) + ".");
            }
            using (isKindOf.set(EntityKind.Concept))
            {
                sb.Append(brack(e, e.C));
            }
            return(sb.ToString());
        }