Examples of addIndividual()

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

390
391
392
393
394
395
396
397
398
399
400
    ATermAppl a = term( "a" );
    ATermAppl c = term( "c" );
    ATermAppl r = term( "r" );

    kb.addIndividual( a );
    kb.addClass( c );
    kb.addSubClass( c, all( r, BOTTOM ) );
    kb.addSubClass( c, oneOf( a ) );

    kb.addObjectProperty( r );
View Full Code Here

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

1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
    kb.addSubProperty( r, p );
    kb.addSubProperty( s, p );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addIndividual( e );

    kb.addPropertyValue( r, a, b );
    kb.addPropertyValue( r, b, c );
View Full Code Here

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

1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
    kb.addSubProperty( s, p );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addIndividual( e );

    kb.addPropertyValue( r, a, b );
    kb.addPropertyValue( r, b, c );
    kb.addPropertyValue( r, b, d );
View Full Code Here

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

1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addIndividual( e );

    kb.addPropertyValue( r, a, b );
    kb.addPropertyValue( r, b, c );
    kb.addPropertyValue( r, b, d );
    kb.addPropertyValue( s, a, c );
View Full Code Here

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

1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
    ATermAppl a = term( "a" );
    ATermAppl b = term( "b" );
    ATermAppl p = term( "p" );

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

    kb.addDatatypeProperty( p );
    kb.addFunctionalProperty( p );
View Full Code Here

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

1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
    ATermAppl a = term( "a" );
    ATermAppl b = term( "b" );
    ATermAppl p = term( "p" );

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

    kb.addDatatypeProperty( p );
    kb.addFunctionalProperty( p );

    // a has a p-successor which is an integer
View Full Code Here

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

1638
1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
    kb.addClass( C );
    kb.addClass( D );

    kb.addObjectProperty( p );

    kb.addIndividual( b );
    kb.addIndividual( c );

    kb.addEquivalentClass( A, oneOf( b, c ) );
    kb.addEquivalentClass( B, hasValue( p, b ) );
    kb.addEquivalentClass( C, hasValue( p, c ) );
View Full Code Here

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

1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
    kb.addClass( D );

    kb.addObjectProperty( p );

    kb.addIndividual( b );
    kb.addIndividual( c );

    kb.addEquivalentClass( A, oneOf( b, c ) );
    kb.addEquivalentClass( B, hasValue( p, b ) );
    kb.addEquivalentClass( C, hasValue( p, c ) );
    kb.addEquivalentClass( D, and( some( p, A ), min( p, 1, value(b) ), min( p, 1, value(c) ), max( p, 1,
View Full Code Here

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

1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
    kb.addClass( B );
    kb.addClass( C );

    kb.addObjectProperty( p );

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

    kb.addEquivalentClass( A, value( a ) );
    kb.addSubClass( A, all( inv(p), not( B ) ) );
    kb.addSubClass( B, or( some( p, A ), C ) );
View Full Code Here

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

1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
    kb.addClass( C );

    kb.addObjectProperty( p );

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

    kb.addEquivalentClass( A, value( a ) );
    kb.addSubClass( A, all( inv(p), not( B ) ) );
    kb.addSubClass( B, or( some( p, A ), C ) );
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.