Package org.mindswap.pellet

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

526
527
528
529
530
531
532
533
534
535
536
    kb.addIndividual( term( "x4" ) );
    kb.addType( term( "x4" ), term( "D4" ) );

    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x1" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x2" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x3" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x4" ) );

    kb.addDisjointClass( term( "E1" ), term( "E2" ) );
    kb.addDisjointClass( term( "E1" ), term( "E4" ) );
    kb.addDisjointClass( term( "E2" ), term( "E3" ) );
View Full Code Here
527
528
529
530
531
532
533
534
535
536
537
    kb.addType( term( "x4" ), term( "D4" ) );

    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x1" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x2" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x3" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x4" ) );

    kb.addDisjointClass( term( "E1" ), term( "E2" ) );
    kb.addDisjointClass( term( "E1" ), term( "E4" ) );
    kb.addDisjointClass( term( "E2" ), term( "E3" ) );
View Full Code Here
853
854
855
856
857
858
859
860
861
862
863
    kb.addIndividual( a );
    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );

    kb.addPropertyValue( p, a, plain );
    kb.addPropertyValue( q, a, typed );

    assertIteratorValues( kb.getDataPropertyValues( p, a ).iterator(),
        new ATermAppl[] { plain } );
    assertIteratorValues( kb.getDataPropertyValues( q, a ).iterator(),
View Full Code Here
854
855
856
857
858
859
860
861
862
863
864
    kb.addIndividual( a );
    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );

    kb.addPropertyValue( p, a, plain );
    kb.addPropertyValue( q, a, typed );

    assertIteratorValues( kb.getDataPropertyValues( p, a ).iterator(),
        new ATermAppl[] { plain } );
    assertIteratorValues( kb.getDataPropertyValues( q, a ).iterator(),
        new ATermAppl[] { typed } );
View Full Code Here
906
907
908
909
910
911
912
913
914
915
916
    kb.addIndividual( b );

    kb.addType( a, all( p, C ) );
    kb.addType( b, C );

    kb.addPropertyValue( p, a, b );

    kb.removeType( b, C );

    kb.removePropertyValue( p, a, b );
View Full Code Here
99
100
101
102
103
104
105
106
107
108
109
    // peform ABox addition which results in an inconsistent KB
    ATermAppl role = ATermUtils.makeTermAppl( foaf + "mbox" );
    individual = ATermUtils.makeTermAppl( mindswappers + "Christian.Halaschek" );
    ATermAppl mbox = ATermUtils.makeTermAppl( "mailto:kolovski@cs.umd.edu" );
    kb.addPropertyValue( role, individual, mbox );

    // perform incremental consistency check
    s = System.currentTimeMillis();
    consistent = kb.isConsistent();
    e = System.currentTimeMillis();
View Full Code Here
852
853
854
855
856
857
858
859
860
861
862
    kb.addIndividual( a );
    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );

    kb.addPropertyValue( p, a, plain );
    kb.addPropertyValue( q, a, typed );

    assertIteratorValues( kb.getDataPropertyValues( p, a ).iterator(),
        new ATermAppl[] { plain } );
    assertIteratorValues( kb.getDataPropertyValues( q, a ).iterator(),
View Full Code Here
853
854
855
856
857
858
859
860
861
862
863
    kb.addIndividual( a );
    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );

    kb.addPropertyValue( p, a, plain );
    kb.addPropertyValue( q, a, typed );

    assertIteratorValues( kb.getDataPropertyValues( p, a ).iterator(),
        new ATermAppl[] { plain } );
    assertIteratorValues( kb.getDataPropertyValues( q, a ).iterator(),
        new ATermAppl[] { typed } );
View Full Code Here
905
906
907
908
909
910
911
912
913
914
915
    kb.addIndividual( b );

    kb.addType( a, all( p, C ) );
    kb.addType( b, C );

    kb.addPropertyValue( p, a, b );

    kb.removeType( b, C );

    kb.removePropertyValue( p, a, b );
View Full Code Here
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
    kb.addObjectProperty( q );
    kb.addObjectProperty( invP );
    kb.addObjectProperty( invQ );

    // first add the ABox assertions to make sure none is ignored
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, a, b );

    // add the subproperty axiom later
    kb.addSubProperty( p, q );
    kb.addInverseProperty( p, invP );
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.