Package org.mindswap.pellet

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

1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
    assertTrue( copyKB.getABox().isComplete() );

    assertTrue( copyKB.isKnownType( a, C ).isTrue() );
   
    // change the copy KB's ABox
    copyKB.addType( b, E );

    // copy should NOT be in ConsistencyDone state anymore
    // but original KB is still in ConsistencyDone state
    assertFalse( copyKB.isConsistencyDone() );
    assertTrue( kb.isConsistencyDone() );
View Full Code Here
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
    kb.addObjectProperty( p );
    kb.addDatatypeProperty( q );
   
    kb.addPropertyValue( p, a, b );
    kb.addType( a, some( q, value( lit ) ) );
   
    kb.ensureConsistency();
   
    assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) );
   
View Full Code Here
451
452
453
454
455
456
457
458
459
460
461
    KnowledgeBase kb = new KnowledgeBase();
    kb.addClass( c );
    kb.addClass( d );
    kb.addIndividual( i );
    kb.addType( i, c );

    kb.addRule( new Rule( Arrays.asList( new RuleAtom[] { new ClassAtom( d, new AtomIConstant(
        i ) ) } ), Arrays
        .asList( new RuleAtom[] { new ClassAtom( c, new AtomIConstant( i ) ) } ) ) );
View Full Code Here
543
544
545
546
547
548
549
550
551
552
553
    kb.addPropertyValue( hasParent, c11, p1a );
    kb.addPropertyValue( hasSibling, c11, c12 );
    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,
View Full Code Here
610
611
612
613
614
615
616
617
618
619
620
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( G );
    kb.addClass( H );

    kb.addType( a, A );
    kb.addType( b, B );
    kb.addType( c, C );
    kb.addType( x, or( G, all( q, not( H ) ) ) );
    kb.addType( x, max( p, 2, TOP ) );
    kb.addType( y, H );
View Full Code Here
611
612
613
614
615
616
617
618
619
620
621
    kb.addClass( C );
    kb.addClass( G );
    kb.addClass( H );

    kb.addType( a, A );
    kb.addType( b, B );
    kb.addType( c, C );
    kb.addType( x, or( G, all( q, not( H ) ) ) );
    kb.addType( x, max( p, 2, TOP ) );
    kb.addType( y, H );
    kb.addPropertyValue( p, x, a );
View Full Code Here
612
613
614
615
616
617
618
619
620
621
622
    kb.addClass( G );
    kb.addClass( H );

    kb.addType( a, A );
    kb.addType( b, B );
    kb.addType( c, C );
    kb.addType( x, or( G, all( q, not( H ) ) ) );
    kb.addType( x, max( p, 2, TOP ) );
    kb.addType( y, H );
    kb.addPropertyValue( p, x, a );
    kb.addPropertyValue( p, x, b );
View Full Code Here
613
614
615
616
617
618
619
620
621
622
623
    kb.addClass( H );

    kb.addType( a, A );
    kb.addType( b, B );
    kb.addType( c, C );
    kb.addType( x, or( G, all( q, not( H ) ) ) );
    kb.addType( x, max( p, 2, TOP ) );
    kb.addType( y, H );
    kb.addPropertyValue( p, x, a );
    kb.addPropertyValue( p, x, b );
    kb.addPropertyValue( p, x, c );
View Full Code Here
614
615
616
617
618
619
620
621
622
623
624
    kb.addType( a, A );
    kb.addType( b, B );
    kb.addType( c, C );
    kb.addType( x, or( G, all( q, not( H ) ) ) );
    kb.addType( x, max( p, 2, TOP ) );
    kb.addType( y, H );
    kb.addPropertyValue( p, x, a );
    kb.addPropertyValue( p, x, b );
    kb.addPropertyValue( p, x, c );
View Full Code Here
615
616
617
618
619
620
621
622
623
624
625
    kb.addType( a, A );
    kb.addType( b, B );
    kb.addType( c, C );
    kb.addType( x, or( G, all( q, not( H ) ) ) );
    kb.addType( x, max( p, 2, TOP ) );
    kb.addType( y, H );
    kb.addPropertyValue( p, x, a );
    kb.addPropertyValue( p, x, b );
    kb.addPropertyValue( p, x, 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.