Examples of Fact

com.clarkparsia.pellet.rules.rete.Fact
larkparsia.com>
@author Ron Alford
it.unito.di.logic.expression.Fact
org.apache.stanbol.factstore.model.Fact
org.apache.wiki.workflow.Fact
Represents a contextual artifact, which can be any serializable object, useful for making a Decision. Facts are key-value pairs, where the key is a String (message key) and the value is an arbitrary object. Generally, the supplied object's {@link #toString()} method should return a human-readable String. Facts areimmutable objects. @since 2.5
org.boris.expr.function.excel.FACT
org.drools.core.facttemplates.Fact
org.drools.facttemplates.Fact
org.drools.guvnor.models.testscenarios.shared.Fact
org.drools.ide.common.client.modeldriven.testing.Fact
org.drools.workbench.models.testscenarios.shared.Fact
org.eclipse.sapphire.modeling.annotations.Fact
org.gedcomx.conclusion.Fact
ru.bmstu.datalog.data.Fact
Realizes the representation Datalog fact. @author art-vybor
stanfordlogic.prover.Fact
A fact is something true in a knowledge base. A fact has a relation name, followed by zero or more columns (parameters to the relation).

Examples of com.clarkparsia.pellet.rules.rete.Fact

      assert false;
    }
  }


  private Fact makeSubclassFact(ATermAppl t1, ATermAppl t2) {
    return new Fact(DependencySet.INDEPENDENT, PRED_SUB, t1, t2);
  }

View Full Code Here

Examples of it.unito.di.logic.expression.Fact

      // la release ad es. viene fatta creando un nuovo commitment, quello che si vuole porre in stato released.
      
      // togliere new commitment e mettere i singoli paramtri di costruzione
      
      createCommitment(new Commitment(initiator, dest, "propose", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("accept"), new Fact("reject"))));
      assertFact(new Fact("cfp", initiator, task));
      logger.trace("OPERATION PERFORMED: CFP by "+initiator);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    } catch (WrongOperandsNumberException e) {

View Full Code Here

Examples of it.unito.di.logic.expression.Fact

     accept.setRoleReceiver(dest);
     accept.setPerformative(ACLMessage.ACCEPT_PROPOSAL);
    send(accept);
    
    try {
      assertFact(new Fact("accept"));
      logger.trace("OPERATION PERFORMED: ACCEPT by "+initiator);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    }

View Full Code Here

Examples of it.unito.di.logic.expression.Fact

     reject.setPerformative(ACLMessage.REJECT_PROPOSAL);
    send(reject);
    
    try {
      releaseCommitment(new Commitment(proposal.getRoleId(), initiator, "accept", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("done"), new Fact("failure"))));
      logger.trace("OPERATION PERFORMED: REJECT by "+initiator);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    } catch (WrongOperandsNumberException e) {

View Full Code Here

Examples of it.unito.di.logic.expression.Fact

     proposal.setPerformative(ACLMessage.PROPOSE);
    send(proposal);
    
    try {
      createCommitment(new Commitment(participant, new RoleId(INITIATOR_ROLE, RoleId.GENERIC_ROLE), "accept", new CompositeExpression(
          LogicalOperatorType.OR, new Fact("done"), new Fact("failure"))));
      assertFact(new Fact("propose", participant, prop));
      logger.trace("OPERATION PERFORMED: PROPOSE by "+participant);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    } catch (WrongOperandsNumberException e) {

View Full Code Here

Examples of it.unito.di.logic.expression.Fact

     done.setRoleReceiver(initiator);
     done.setPerformative(ACLMessage.INFORM);
    send(done);
    
    try {
      assertFact(new Fact("done", initiator, task));
      logger.trace("OPERATION PERFORMED: DONE by "+participant);
    } catch (MissingOperandException e) {
      // TODO Auto-generated catch block
      e.printStackTrace();
    }

View Full Code Here

Examples of org.apache.stanbol.factstore.model.Fact

    }
  }
  
    @Override
    public Fact getFact(int factId, String factSchemaURN) throws Exception {
        Fact fact = null;
        Connection con = null;
        try {
            con = DriverManager.getConnection(DB_URL);
            FactSchema factSchema = this.loadFactSchema(factSchemaURN, con);

View Full Code Here

Examples of org.apache.wiki.workflow.Fact

            Task completionTask = new SaveUserProfileTask( m_engine, session.getLocale() );


            // Add user profile attribute as Facts for the approver (if required)
            boolean hasEmail = profile.getEmail() != null;
            Fact[] facts = new Fact[ hasEmail ? 4 : 3];
            facts[0] = new Fact( PREFS_FULL_NAME, profile.getFullname() );
            facts[1] = new Fact( PREFS_LOGIN_NAME, profile.getLoginName() );
            facts[2] = new Fact( FACT_SUBMITTER, submitter.getName() );
            if ( hasEmail )
            {
                facts[3] = new Fact( PREFS_EMAIL, profile.getEmail() );
            }
            Workflow workflow = builder.buildApprovalWorkflow( submitter,
                                                               SAVE_APPROVER,
                                                               null,
                                                               SAVE_DECISION_MESSAGE_KEY,

View Full Code Here

Examples of org.apache.wiki.workflow.Fact

        Task prepTask = new PageManager.PreSaveWikiPageTask( context, proposedText );
        Task completionTask = new PageManager.SaveWikiPageTask();
        String diffText = m_differenceManager.makeDiff( context, oldText, proposedText );
        boolean isAuthenticated = context.getWikiSession().isAuthenticated();
        Fact[] facts = new Fact[5];
        facts[0] = new Fact( PageManager.FACT_PAGE_NAME, page.getName() );
        facts[1] = new Fact( PageManager.FACT_DIFF_TEXT, diffText );
        facts[2] = new Fact( PageManager.FACT_PROPOSED_TEXT, proposedText );
        facts[3] = new Fact( PageManager.FACT_CURRENT_TEXT, oldText);
        facts[4] = new Fact( PageManager.FACT_IS_AUTHENTICATED, Boolean.valueOf( isAuthenticated ) );
        String rejectKey = isAuthenticated ? PageManager.SAVE_REJECT_MESSAGE_KEY : null;
        Workflow workflow = builder.buildApprovalWorkflow( submitter,
                                                           PageManager.SAVE_APPROVER,
                                                           prepTask,
                                                           PageManager.SAVE_DECISION_MESSAGE_KEY,

View Full Code Here

Examples of org.boris.expr.function.excel.FACT

            assertEquals(eval(e, d), Math.exp(d));
        }
    }


    public void testFACT() throws Exception {
        FACT f = new FACT();
        assertEquals(eval(f, 0), 1.);
        assertEquals(eval(f, 1), 1.);
        assertEquals(eval(f, 2), 2.);
        assertEquals(eval(f, 3), 6.);
        assertEquals(eval(f, 5), 120.);

View Full Code Here

0 1 2 3 4 5

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.