Package org.mindswap.pellet

Examples of org.mindswap.pellet.KnowledgeBase.addSubProperty()

420
421
422
423
424
425
426
427
428
429
430
   
    kb.addObjectProperty( p );
    kb.addObjectProperty( subP );
    kb.addObjectProperty( q );
   
    kb.addSubProperty( subP, p );
    kb.addDisjointProperty( p, q );
   
    kb.getRoleTaxonomy( true ).getTop().print();
    kb.getRoleTaxonomy( false ).getTop().print();
   
View Full Code Here
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
    kb.addEquivalentClass( C, some( p, TOP ) );
    kb.addEquivalentClass( E, some( q, TOP ) );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addSubProperty( q, p );

    kb.addIndividual( a );
    kb.addIndividual( b );

    kb.addType( a, C );
View Full Code Here
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
   
    // verify realization occurred
    assertEquals( 2, realizeTimer.getCount() );
   
    // make an ABox change causing p = q and as a result C = E
    kb.addSubProperty( p, q );

    // check consistency again
    assertTrue( kb.isConsistent() );
   
    // both classification and realization results are invalidated
View Full Code Here
422
423
424
425
426
427
428
429
430
431
432
    kb.addAnnotationProperty(p);
    kb.addAnnotationProperty(q);
    kb.addAnnotationProperty(r);
    kb.addAnnotationProperty(s);
   
    kb.addSubProperty(p, q);
    kb.addSubProperty(q, r);
    kb.addSubProperty(r, s);
   
    // The set of sub/super roles at this point are correct for each role
    assertEquals(singletonSets(p, r, q), kb.getSubProperties(s));
View Full Code Here
423
424
425
426
427
428
429
430
431
432
433
    kb.addAnnotationProperty(q);
    kb.addAnnotationProperty(r);
    kb.addAnnotationProperty(s);
   
    kb.addSubProperty(p, q);
    kb.addSubProperty(q, r);
    kb.addSubProperty(r, s);
   
    // The set of sub/super roles at this point are correct for each role
    assertEquals(singletonSets(p, r, q), kb.getSubProperties(s));
  }
View Full Code Here
424
425
426
427
428
429
430
431
432
433
434
    kb.addAnnotationProperty(r);
    kb.addAnnotationProperty(s);
   
    kb.addSubProperty(p, q);
    kb.addSubProperty(q, r);
    kb.addSubProperty(r, s);
   
    // The set of sub/super roles at this point are correct for each role
    assertEquals(singletonSets(p, r, q), kb.getSubProperties(s));
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.