Package com.clarkparsia.pellet.rules.model

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

321
322
323
324
325
326
327
328
329
330
331
    kb.addPropertyValue( p, i, d );
    kb.addPropertyValue( r, i, j );
    kb.addPropertyValue( r, j, k );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" );
    AtomDVariable z = new AtomDVariable( "z" );

    RuleAtom body1 = new IndividualPropertyAtom( r, x, y );
    RuleAtom body2 = new DatavaluedPropertyAtom( p, x, z ), head = new DatavaluedPropertyAtom(
        p, y, z );
View Full Code Here
360
361
362
363
364
365
366
367
368
369
370
    kb.addSubClass( TOP, oneOf( i, j, k ) );
    kb.addSubClass( TOP, min( r, 3, TOP ) );

    kb.addPropertyValue( p, i, d );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" );
    AtomDVariable z = new AtomDVariable( "z" );

    RuleAtom body1 = new IndividualPropertyAtom( r, x, y );
    RuleAtom body2 = new DatavaluedPropertyAtom( p, x, z );
    RuleAtom head = new DatavaluedPropertyAtom( p, y, z );
View Full Code Here
389
390
391
392
393
394
395
396
397
398
399
    kb.addObjectProperty( r );
    kb.addSubClass( TOP, min( r, 3, TOP ) );
    kb.addSubClass( TOP, or( value( i ), value( j ), value( k ) ) );
    kb.addPropertyValue( p, i, d );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" );
    AtomDVariable z = new AtomDVariable( "z" );

    RuleAtom head = new DatavaluedPropertyAtom( p, x, z );
    RuleAtom body1 = new DatavaluedPropertyAtom( p, y, z );
    RuleAtom body2 = new IndividualPropertyAtom( r, x, y );
View Full Code Here
435
436
437
438
439
440
441
442
443
444
445
446
  public void testRuleEquality() {
    ATermAppl r = term( "r" );
    ATermAppl i = term( "i" );
    ATermAppl j = term( "j" );

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

   
    kb.addIndividual( i );
    kb.addIndividual( j );
    kb.addObjectProperty( r );
View Full Code Here
512
513
514
515
516
517
518
519
520
521
522
    kb.addPropertyValue( hasParent, c12, p1a );
    kb.addPropertyValue( hasSibling, c12, c11 );
    kb.addPropertyValue( hasSibling, p1a, p2a );
    kb.addType( p2a, male );

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

    kb.addRule( new Rule( Arrays.asList( new RuleAtom[] { new IndividualPropertyAtom( hasUncle,
        y, z ) } ), Arrays.asList( new RuleAtom[] {
        new IndividualPropertyAtom( hasParent, y, x ), new ClassAtom( male, z ),
View Full Code Here
525
526
527
528
529
530
531
532
533
    assertIteratorValues( kb.getObjectPropertyValues( hasUncle, c11 ).iterator(),
        new Object[] { p2a, } );
  }

  public void testVariableUtils1() {
    AtomIVariable var1 = new AtomIVariable( "var1" ), var2 = new AtomIVariable( "var2" );
    RuleAtom atom = new SameIndividualAtom( var1, var2 );
    assertIteratorValues( VariableUtils.getVars( atom ).iterator(), new Object[] { var1, var2 } );
  }
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.