Examples of ILogicExpression

edu.pitt.dbmi.nlp.noble.ontology.ILogicExpression
a list of resources that could be either conjunction or disjunction @author tseytlin
edu.pitt.ontology.ILogicExpression
a list of resources that could be either conjunction or disjunction @author tseytlin

Examples of edu.pitt.ontology.ILogicExpression

      IRestriction t = ont.createRestriction(r.getRestrictionType());
      t.setProperty((IProperty)convertResource(ont,r.getProperty()));
      t.setParameter((ILogicExpression)convertResource(ont,r.getParameter()));
      return t;
    }else if(value instanceof ILogicExpression){
      ILogicExpression e = (ILogicExpression) value;
      ILogicExpression t = ont.createLogicExpression();
      t.setExpressionType(e.getExpressionType());
      for(Object o: e){
        t.add(convertResource(ont,o));
      }
      return t;
    }else if(value instanceof IProperty){
      return ont.getProperty(((IProperty) value).getName());
    }else if(value instanceof IClass){

View Full Code Here

Examples of edu.pitt.ontology.ILogicExpression

      for(IClass c: source.getDisjointClasses()){
        cls.addDisjointClass((IClass)convertResource(ont,c));
      }
      
      // copy necessary restrictions
      ILogicExpression exp = source.getNecessaryRestrictions();
      if(exp.getExpressionType() == ILogicExpression.OR){
        cls.addSuperClass(ont.createClass((ILogicExpression) convertResource(ont,exp)));
      }else{
        for(Object c: exp){
          if(c instanceof IRestriction)
            cls.addNecessaryRestriction((IRestriction)convertResource(ont,c));
          else if(c instanceof IClass)
            cls.addSuperClass((IClass) convertResource(ont,c));
          else if(c instanceof ILogicExpression)
            cls.addSuperClass(ont.createClass((ILogicExpression) convertResource(ont,exp)));    
        }
      }
      
      // copy equivalent restrictions
      exp = source.getEquivalentRestrictions();
      if(exp.getExpressionType() == ILogicExpression.OR){
        cls.addEquivalentClass(ont.createClass((ILogicExpression) convertResource(ont,exp)));
      }else{
        for(Object c: exp){
          if(c instanceof IRestriction)
            cls.addEquivalentRestriction((IRestriction)convertResource(ont,c));

View Full Code Here

Examples of edu.pitt.ontology.ILogicExpression

        buffer.append("<tr valign=top><td><b>Equivalent Classes: </b></td><td>"+
            toHTML(cls.getEquivalentClasses())+"</td></tr>");
      if(cls.getDisjointClasses() != null && cls.getDisjointClasses().length > 0)
        buffer.append("<tr valign=top><td><b>Disjoint Classes: </b></td><td>"+
            toHTML(cls.getDisjointClasses())+"</td></tr>");
      ILogicExpression exp = cls.getEquivalentRestrictions();
      if(exp != null && !exp.isEmpty() )
        buffer.append("<tr valign=top><td><b>Equivalent Restrictions: </b></td><td>"+
            toHTML(exp)+"</td></tr>");
      exp = cls.getDirectNecessaryRestrictions();
      if(exp != null && !exp.isEmpty() )
        buffer.append("<tr valign=top><td><b>Necessary Restrictions: </b></td><td>"+
            toHTML(exp)+"</td></tr>");
      // do paths to root
      List<ClassPath> paths = getRootPaths(cls);
      if(!paths.isEmpty() ){

View Full Code Here

Examples of edu.pitt.ontology.ILogicExpression

  
  /**
   * get equivalent restrictions for this class
   */
  public ILogicExpression getEquivalentRestrictions() {
    ILogicExpression exp = getOntology().createLogicExpression();
    exp.setExpressionType(ILogicExpression.AND);
    
    for(OWLEquivalentClassesAxiom ax: getDefiningOntology().getEquivalentClassesAxioms(getOWLClass())){
      for(OWLClassExpression ex: ax.getClassExpressions()){
        if(ex.isAnonymous()){
          exp.add(convertOWLObject(ex));
        }
      }
    }
    return (exp.size() == 1 && exp.get(0) instanceof ILogicExpression)?(ILogicExpression)exp.get(0):exp;
  }

View Full Code Here

Examples of edu.pitt.ontology.ILogicExpression

    }
    return (exp.size() == 1 && exp.get(0) instanceof ILogicExpression)?(ILogicExpression)exp.get(0):exp;
  }


  public ILogicExpression getDirectNecessaryRestrictions() {
    ILogicExpression exp = getOntology().createLogicExpression();
    exp.setExpressionType(ILogicExpression.AND);
      for (OWLSubClassOfAxiom ax : getDefiningOntology().getSubClassAxiomsForSubClass(getOWLClass())) {
        OWLClassExpression ex = ax.getSuperClass();
      if(ex.isAnonymous()){
        exp.add(convertOWLObject(ex));
      }
      
    }
    return (exp.size() == 1 && exp.get(0) instanceof ILogicExpression)?(ILogicExpression)exp.get(0):exp;
  }

View Full Code Here

Examples of edu.pitt.ontology.ILogicExpression


  /**
   * get necessary restrictions
   */
  public ILogicExpression getNecessaryRestrictions() {
    ILogicExpression exp = new LogicExpression(ILogicExpression.AND);
    for(Object o: getDirectNecessaryRestrictions())
      exp.add(o);
    for(IClass parent: getSuperClasses()){
      for(Object o: parent.getDirectNecessaryRestrictions())
        exp.add(o);
    }
    return exp;
  }

View Full Code Here

Examples of edu.pitt.ontology.ILogicExpression

    if(val instanceof Integer )
      return df.getOWLLiteral((Integer) val);
    if(val instanceof Boolean )
      return df.getOWLLiteral((Boolean) val);
    if(val instanceof ILogicExpression){
      ILogicExpression exp = (ILogicExpression) val;
      if(exp.isEmpty())
        return null;
      Object obj = convertOntologyObject(exp.get(0));
      switch(exp.getExpressionType()){
      case ILogicExpression.EMPTY:
        return obj;
      case ILogicExpression.NOT:
        if(obj instanceof OWLLiteral)
          return df.getOWLDataComplementOf(((OWLLiteral)obj).getDatatype());

View Full Code Here

Examples of edu.pitt.ontology.ILogicExpression

    Object [] values = inst.getPropertyValues(prop);
    if(values == null || values.length == 0)
      return false;
    
    // if any of values fits, that we are good
    ILogicExpression exp = getParameter();
    for(int i=0;i<values.length;i++){
      if(exp.evaluate(values[i])){
        return true;
      }
    }
    return false;
  }

View Full Code Here

Examples of edu.pitt.ontology.ILogicExpression

    
    if(value instanceof PResource){
      return ((PResource)value).getResource();
    }else if(value instanceof ILogicExpression){  
      OWLModel model = resource.getOWLModel();
      ILogicExpression exp = (ILogicExpression) value;
      Object obj = null;
      if(exp.isSingleton()){
        if(exp.getExpressionType() == ILogicExpression.NOT){
          try{
            obj = model.createOWLComplementClass(
                (RDFSClass)convertSetValue(exp.getOperand()));
          }catch(ClassCastException ex){
            throw new IOntologyError("Cannot complement "+exp.getOperand()+", because it is not a class",ex);
          }
        }else
          obj =  convertSetValue(exp.getOperand());
      }else if(exp.getExpressionType() == ILogicExpression.AND){
        OWLIntersectionClass ac = model.createOWLIntersectionClass();
        for(Object o: exp){
          ac.addOperand((RDFSClass)convertSetValue(o));
        }
        obj = ac;
      }else if(exp.getExpressionType() == ILogicExpression.OR){
        OWLUnionClass oc = model.createOWLUnionClass();
        for(Object o: exp){
          oc.addOperand((RDFSClass)convertSetValue(o));
        }
        obj = oc;

View Full Code Here

Examples of edu.pitt.ontology.ILogicExpression

    Object [] values = inst.getPropertyValues(prop);
    if(values == null || values.length == 0)
      return false;
    
    // if any of values fits, that we are good
    ILogicExpression exp = getParameter();
    for(int i=0;i<values.length;i++){
      if(exp.evaluate(values[i])){
        return true;
      }
    }
    return false;
  }

View Full Code Here

0 1 2

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.