Package com.clarkparsia.pellet.rules.model

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

1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
   
    kb.addDisjointClass( A, B );
   
    kb.addType( a, A );
   
    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 ) );
 
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
      return false;
    }
   
    set.remove( head );
   
    AtomIObject var = new AtomIVariable( "var");
    int varCount = 0;
    List<RuleAtom> bodyAtoms  = new ArrayList<RuleAtom>();
    for( ATermAppl term : set ) {
      varCount = processClass( var, term, bodyAtoms, varCount );
    }
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
          RuleAtom atom = new DatavaluedPropertyAtom( p, var, newVar );
          atoms.add(atom);
          processDatatype( newVar, filler, atoms );
        }
        else{
          AtomIObject newVar = new AtomIVariable( "var" + varCount );
          RuleAtom atom = new IndividualPropertyAtom( p, var, newVar );
          atoms.add(atom);
          varCount = processClass( newVar, filler, atoms, varCount );
        }
      }
View Full Code Here
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
  public void addKey(ATermAppl c, Set<ATermAppl> properties) {
    int varId = 0;
    Collection<RuleAtom> head = CollectionUtils.makeSet();
    Collection<RuleAtom> body = CollectionUtils.makeSet();

    AtomIVariable x = new AtomIVariable( "x" );
    AtomIVariable y = new AtomIVariable( "y" );

    head.add( new SameIndividualAtom( x, y ) );

    // Process the body
    // First add the property atom pairs for each property
    for( ATermAppl property : properties ) {
      if( isObjectProperty( property ) ) {
        AtomIVariable z = new AtomIVariable( "z" + varId );
        body.add( new IndividualPropertyAtom( property, x, z ) );
        body.add( new IndividualPropertyAtom( property, y, z ) );
      }
      else if( isDatatypeProperty( property ) ) {
        AtomDVariable z = new AtomDVariable( "z" + varId );
View Full Code Here
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
   
    kb.addDisjointClass( A, B );
   
    kb.addType( a, A );
   
    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 ) );
 
View Full Code Here
532
533
534
535
536
537
538
539
540
    assertIteratorValues( VariableUtils.getVars( atom ).iterator(), new Object[] { var1, var2 } );
  }

  public void testVariableUtils2() {
    ATermAppl p = term( "p" );
    AtomIVariable var1 = new AtomIVariable( "var1" ), var2 = new AtomIVariable( "var2" );
    RuleAtom atom = new IndividualPropertyAtom( p, var1, var2 );
    assertIteratorValues( VariableUtils.getVars( atom ).iterator(), new Object[] { var1, var2 } );
  }
View Full Code Here
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
    kb.addPropertyValue( p, x, a );
    kb.addPropertyValue( p, x, b );
    kb.addPropertyValue( p, x, c );

    {
      AtomIVariable v = new AtomIVariable( "v" );
      RuleAtom body = new ClassAtom( some( p, or( and( A, B ), or(
          and( A, C ), and( B, C ) ) ) ), v );
      RuleAtom head = new IndividualPropertyAtom( q, v, new AtomIConstant( y ) );
      Rule rule = new Rule( Collections.singleton( head ), Collections.singleton( body ) );
      kb.addRule( rule );
    }

    {
      AtomIVariable v = new AtomIVariable( "v" );
      RuleAtom body = new ClassAtom( G, v );
      RuleAtom head = new IndividualPropertyAtom( p, v, new AtomIConstant( y ) );
      Rule rule = new Rule( Collections.singleton( head ), Collections.singleton( body ) );
      kb.addRule( rule );
    }
View Full Code Here
663
664
665
666
667
668
669
670
671
672
673
    kb.addPropertyValue( p, c, c );

    kb.addDifferent( b, c );

    {
      AtomIVariable x = new AtomIVariable( "x" );
      List<RuleAtom> body = new ArrayList<RuleAtom>();
      body.add( new ClassAtom( C, x ) );
      List<RuleAtom> head = new ArrayList<RuleAtom>();
      head.add( new ClassAtom( C, x ) );
      Rule rule = new Rule( head, body );
View Full Code Here
702
703
704
705
706
707
708
709
710
711
712
    kb.addIndividual( b );

    kb.addType( b, C );

    {
      AtomIVariable x = new AtomIVariable( "x" );
      List<RuleAtom> body = new ArrayList<RuleAtom>();
      body.add( new ClassAtom( C, x ) );
      List<RuleAtom> head = new ArrayList<RuleAtom>();
      head.add( new ClassAtom( D, x ) );
      Rule rule = new Rule( head, body );
View Full Code Here
733
734
735
736
737
738
739
740
741
742
743
  public void testEmptyRuleHead1() {
   

    ATermAppl i = term( "i" );
    ATermAppl C = term( "C" );
    AtomIVariable x = new AtomIVariable( "x" );

    kb.addClass( C );
    kb.addIndividual( i );
    kb.addType( i, C );
View Full Code Here
TOP

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

  • com.clarkparsia.pellet.owlapiv3.PelletVisitor
  • 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
  • org.mindswap.pellet.test.rules.BindingGeneratorsTest
  • org.mindswap.pellet.test.rules.MiscRuleTests
    • 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.