Package com.clarkparsia.pellet.rules.model

Examples of com.clarkparsia.pellet.rules.model.Rule

995
996
997
998
999
1000
1001
1002
1003
1004
1005
   
    AtomIVariable x = new AtomIVariable( "x" ); 
    List<RuleAtom> body = Arrays.<RuleAtom>asList( new IndividualPropertyAtom( p, x, x ) );
    List<RuleAtom> head = Arrays.<RuleAtom>asList( new ClassAtom( A, x ) );
 
    kb.addRule( new Rule( head, body ) );
 
    assertTrue( kb.isConsistent() );
   
    assertTrue( kb.isType( a, A ) );
    assertFalse( kb.isType( b, A ) );
View Full Code Here
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
   
    AtomIVariable x = new AtomIVariable( "x" ); 
    List<RuleAtom> body = Arrays.<RuleAtom>asList( new IndividualPropertyAtom( p, x, new AtomIConstant( c ) ) );
    List<RuleAtom> head = Arrays.<RuleAtom>asList( new ClassAtom( A, x ) );
 
    kb.addRule( new Rule( head, body ) );
 
    assertTrue( kb.isConsistent() );
   
    assertFalse( kb.isType( a, A ) );
    assertTrue( kb.isType( b, A ) );
View Full Code Here
215
216
217
218
219
220
221
222
223
224
225
   */
  public Pair<Rule, VariableBinding> translateFact(Fact fact) {
    Pair<Rule, VariableBinding> partialApplication = null;
    if( (fact.getElements().size() >= VARSTARTPOS) && (fact.getElements().get( 0 ).equals( VARBINDING )) ) {
      Pair<Rule, List<AtomVariable>> ruleVarPair = ruleMap.get( fact.getElements().get( RULEPOS ) );
      Rule rule = ruleVarPair.first;
      List<AtomVariable> vars = ruleVarPair.second;
      List<ATermAppl> constants = fact.getElements().subList( VARSTARTPOS, fact.getElements().size() );

      if( vars.size() != constants.size() )
        throw new InternalReasonerException( "Variable list doesn't match constants!" );
View Full Code Here
203
204
205
206
207
208
209
210
211
212
213
    int total = 0;

    for( Fact ruleBinding : partialBindings.keySet() ) {
      Pair<Rule, VariableBinding> pair = continuousTransformer.translateFact( ruleBinding );
      Rule rule = pair.first;
      VariableBinding initial = pair.second;

      for( VariableBinding binding : bindingStrategy.createGenerator( rule, initial ) ) {

        Pair<Rule, VariableBinding> ruleKey = new Pair<Rule, VariableBinding>( rule,
View Full Code Here
246
247
248
249
250
251
252
253
254
255
256
257
    merging = false;
//    t = timers.startTimer( "rule-buildReteRules" );
    interpreter = new Interpreter( abox );
    for( Entry<Rule,Rule> e : abox.getKB().getNormalizedRules().entrySet() ) {
      Rule rule = e.getKey();
      Rule normalizedRule = e.getValue();
     
      if( normalizedRule == null )
        continue;
     
      com.clarkparsia.pellet.rules.rete.Rule reteRule;
View Full Code Here
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
    AtomIVariable x = new AtomIVariable( "x" ); 
    AtomIVariable y = new AtomIVariable( "y" ); 
    List<RuleAtom> body = Arrays.<RuleAtom>asList( new IndividualPropertyAtom( p, x, y ) );
    List<RuleAtom> head = Arrays.<RuleAtom>asList( new ClassAtom( B, x ) );
 
    kb.addRule( new Rule( head, body ) );
 
    assertTrue( kb.isConsistent() );
   
    kb.addPropertyValue( p, a, a );
   
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
    IndividualPropertyAtom bodyAtom = new IndividualPropertyAtom(pi, vx, ca);
    TermTuple bodyTriple = new TermTuple(DependencySet.INDEPENDENT, pi, vrx, cra);
    SameIndividualAtom headAtom = new SameIndividualAtom(vx, ca);
    TermTuple headTriple = new TermTuple(DependencySet.INDEPENDENT, Compiler.SAME_AS, vrx, cra);

    Rule rule = new Rule(Collections.singletonList((RuleAtom) headAtom), Collections
                    .singletonList((RuleAtom) bodyAtom));
    com.clarkparsia.pellet.rules.rete.Rule reteRule = new com.clarkparsia.pellet.rules.rete.Rule(Collections
                    .singletonList(bodyTriple), Collections.singletonList(headTriple));

    assertEquals(reteRule, ruleTranslator.translateRule(rule));
View Full Code Here
105
106
107
108
109
110
111
112
113
114
115
    }
   
    List<RuleAtom> headAtoms  = new ArrayList<RuleAtom>();
    processClass( var, ATermUtils.negate( head ), headAtoms, 1 );
   
    Rule rule = new Rule(headAtoms, bodyAtoms, explanation);
    kb.addRule( rule );
   

    if( log.isLoggable( Level.FINE ) )
      log.fine( "Absorbed rule: " + rule );
View Full Code Here
694
695
696
697
698
699
700
    // Then add the class atoms for the two subject variables
    body.add( new ClassAtom( c, x ) );
    body.add( new ClassAtom( c, y ) );
   
    addRule( new Rule( head, body ) );
  }
View Full Code Here
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
    // prepare the KB
    prepare();   
   
    for( Entry<Rule, Rule> normalizedRule : rules.entrySet() ) {
      if( normalizedRule.getValue() == null ) {
        Rule rule = normalizedRule.getKey();
        String msg = UsableRuleFilter.explainNotUsable( rule );       
        log.warning( "Ignoring rule " + rule + ": " + msg );
      }
    }
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.rules.model.Rule

  • com.clarkparsia.pellet.owlapiv3.PelletVisitor
  • com.clarkparsia.pellet.rules.ContinuousReteTransformer
  • com.clarkparsia.pellet.rules.ContinuousRulesStrategy
  • com.clarkparsia.pellet.utils.OntBuilder
  • org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader
  • org.mindswap.pellet.KnowledgeBase
  • org.mindswap.pellet.owlapi.PelletVisitor
  • org.mindswap.pellet.tbox.impl.RuleAbsorber
  • org.mindswap.pellet.tbox.impl.TBoxImpl$RuleAbsorption
  • org.mindswap.pellet.test.inctest.IncConsistencyTests
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.